Mercor
Mercor
51 – 200 Alkalmazottak
A Mercor elérhető profilja nem tartalmaz elegendő ellenőrzött információt a termékeiről, szolgáltatásairól, ügyfeleiről, ágazatáról vagy toborzási fókuszáról ahhoz, hogy pontos vállalati bemutatást lehessen készíteni. A vállalkozás vagy az általa kínált lehetőségek ismertetése előtt további forrásanyagokra van szükség.

Lean 4 mérnök, formális matematika

Lean 4-bizonyításokat írhat és ellenőrizhet egy MI-labor számára; formalizálhatja a matematikát, és értékelheti a mesterséges intelligencia által készített tételbizonyításokat.

Leírás

  • Hozzon létre helyes, idiomatikus Lean 4-állításokat és bizonyításokat, amelyek a mathlib aktuális verziójával lefordulnak
  • Formalizálja a természetes nyelvű forrásokban szereplő matematikát, a versenyfeladatoktól és tankönyvektől a kutatási lemmákig
  • Értékelje az MI által generált Lean-állításokat és bizonyításokat, azonosítsa a hibákat, és adjon konkrét írásos visszajelzést
  • Dolgozzon ki irányelveket és értékelési szempontokat a bizonyítások minőségére, az állítások hűségére és a mathlib konvencióira vonatkozóan
  • Működjön együtt Lean-mérnökökkel és kutatókkal az egységes elvárások fenntartásáért és a minőség javításáért
  • Járuljon hozzá MI-rendszerek betanítását és fejlesztését célzó projektekhez

Követelmények

  • Gyakorlati tapasztalat formális bizonyítások írásában Lean 4-ben
  • A mathlib és a Lean 4 taktikáinak ismerete, beleértve a megfelelő lemmák felkutatását és alkalmazását
  • Erős alapok bizonyításalapú matematikában, elméleti informatikában vagy logikában, amelyet diploma vagy kutatási eredmények igazolnak
  • Képesség írott matematikai állítások és bizonyítások helyes formális állításokká és ellenőrzött bizonyításokká alakítására
  • Rendelkezésre állás legalább heti 20 órára munkanapokon, megbízható és folyamatos részvétellel
  • Világos írásbeli kommunikáció és képesség a bizonyítási stratégiák, valamint a formalizálási döntések pontos magyarázatára
  • Előny: tapasztalat Coq/Rocq, Isabelle, Agda, Haskell, Lean metaprogramozás vagy a matematika MI-alapú támogatása terén
  • Jelenleg nem igényelhet H-1B- vagy STEM OPT-szponzorációt, illetve támogatást

Juttatások

  • W-2 szerinti foglalkoztatás, a bérszámfejtést, juttatásokat és megfelelőségi ügyeket a Cincinnatus LLC vagy egy megfelelő nemzetközi szervezet intézi
  • Teljesen távoli munkavégzés
  • Rugalmas munkaidő, a feladatok saját időbeosztás szerinti elvégzésével
  • Heti kifizetés Stripe-on vagy Wise-on keresztül az elvégzett szolgáltatásokért
  • Együttműködési lehetőség vezető kutatókkal
  • Sikeres ajánlásonként legfeljebb 1760 dollár ajánlási díj, korlátozások mellett

Kapcsolódó állások

Peraton

A Peraton üzletfejlesztési igazgatója, DIA

Peraton

Irányítsa a Peraton üzletfejlesztését a Védelmi Hírszerző Ügynökség feladatköreiben, a stratégiai ügyféltervezéstől az ajánlatok benyújtásáig. A lehetőségek alakításával, ügyfélkapcsolatok és partnerségek építésével segítse a vállalat nemzetbiztonsági tevékenységének bővítését.

Megnyitás
FEVO

Üzletfejlesztési igazgató, FEVO (távmunka az Egyesült Államokból)

FEVO

Vezesse a FEVO élő szórakoztató eseményekre szolgáló jegyértékesítési platformjának vállalati értékesítését és partnerkapcsolatait, növelve a bevételt az Egyesült Államok sport- és szórakoztatóipari piacain. A feladatkör az ügyfélszerzést, a tárgyalásokat és az üzletek több csapatot érintő végigvitelét foglalja magában.

Megnyitás
Peraton

A Peraton védelmi hírszerzési üzletfejlesztési igazgatója

Peraton

Irányítsa a Peraton DIA-portfóliójának üzletfejlesztését, alakítsa a védelmi hírszerzési lehetőségeket, és vezesse az összetett pályázatokat. Építsen stratégiai ügyfélkapcsolatokat, és bővítse az értékesítési lehetőségek körét a hírszerzési és védelmi szervezeteknél.

Megnyitás
Ecole Gustave

Üzletfejlesztő – Ecole Gustave (hibrid, Franciaország)

Ecole Gustave

Építsd az Ecole Gustave partnercégeinek hálózatát, miközben az iskola pályát váltó felnőtteket képez az építőipari elhelyezkedésre. Szűrd elő a jelentkezőket, és kapcsold össze őket a számukra megfelelő munkáltatókkal.

Megnyitás
talixo

Flottakulcsügyfél-menedzser — Pakisztán (távmunka)

talixo
51 – 200 Alkalmazottak
KözlekedésSaaSUtazás

Kezelje a Talixo előre foglalható transzferszolgáltatásának taxi- és limuzinflotta-partnerségeit. Pakisztánból, távmunkában fejlessze az ügyfélkapcsolatokat, toborozzon partnereket, tárgyaljon megállapodásokról, és javítsa a szolgáltatás minőségét.

Megnyitás
Kpler

Árupiaci ügyfélkapcsolati menedzser – Kpler, Dubai, hibrid

Kpler

A stratégiai ügyfélkapcsolatok kezelésével bővítse a Kpler közel-keleti és afrikai árupiaci adatszolgáltatási üzletágát. Irányítsa a kereskedelmi adatelemző platform megújításait, tárgyalásait és bővítési lehetőségeit.

Megnyitás
SAEE International GmbH

Belső ügyfélkapcsolati menedzser

SAEE International GmbH

Szerezz ügyfeleket, és támogasd őket egy DACH-régiót kiszolgáló értékesítési vállalatnál. Mutasd be a megoldásokat, építs szakmai kapcsolatokat, és erősítsd a piaci jelenlétet egy világszerte végezhető távmunkás pozícióban.

Megnyitás
Bridgit

Távmunka: üzletfejlesztési vezető, Ausztrália — jelzáloghitelezés

Bridgit
51 – 200 Alkalmazottak
B2CFintechIngatlan

Partnerkapcsolatok építésével és hitelkonstrukciókkal kapcsolatos tanácsadással bővíti a Bridgit jelzáloghitel-közvetítői hálózatát. Növeli a folyósítások számát és az értékesítési teljesítményt egy ausztrál fintech hitelezőnél.

Megnyitás