LogoFresh Jobs Ahead
Mercor
Mercor
51 – 200 Zaměstnanci
Dostupný profil společnosti Mercor neobsahuje dostatek ověřených informací o jejích produktech, službách, zákaznících, odvětví ani zaměření náboru, aby bylo možné připravit přesný přehled. K popisu podnikání společnosti nebo jejích příležitostí jsou zapotřebí další podklady.
LinkedIn
Pracovní nabídky společnosti

Inženýr formální matematiky v Lean 4

Pište a kontrolujte důkazy v Lean 4 pro laboratoř AI, formalizujte matematiku a posuzujte práci systémů AI na dokazování vět.

USSpojené státy
90 $ – 110 $ / hodina
Na dálkuČástečný úvazekStředně pokročilýSeniorPožadovaný Jazyk: angličtinaInženýr
Haskell

Popis

  • Pište idiomatická tvrzení a důkazy v Lean 4, které se kompilují s aktuální knihovnou mathlib.
  • Formalizujte matematiku podle zdrojů v přirozeném jazyce, včetně soutěžních úloh, výsledků z učebnic a výzkumných lemmat.
  • Kontrolujte tvrzení a důkazy vytvořené systémy AI.
  • Odhalujte neúspěšné důkazy nebo důkazy, které dokazují nesprávný výsledek, a poskytujte jasnou písemnou zpětnou vazbu.
  • Pomáhejte vytvářet standardy a kritéria pro hodnocení kvality důkazů, věrnosti tvrzení a dodržování konvencí mathlib.
  • Spolupracujte s inženýry Lean a výzkumníky laboratoře na dodržování jednotných standardů.
  • Podílejte se na projektech zaměřených na trénování a zlepšování systémů AI.

Požadavky

  • Praktické zkušenosti s psaním formálních důkazů v Lean 4.
  • Znalost mathlib a taktik Lean 4, včetně vyhledávání a používání vhodných lemmat.
  • Dobré základy matematiky založené na důkazech, teoretické informatiky nebo logiky, doložené vzděláním či výzkumnou praxí.
  • Schopnost převádět psaná matematická tvrzení a důkazy na správná formální tvrzení a ověřené důkazy.
  • Možnost pracovat alespoň 20 hodin týdně ve všední dny.
  • Dobré písemné komunikační dovednosti, včetně schopnosti přesně vysvětlit strategie dokazování a rozhodnutí při formalizaci.
  • Výhodou jsou zkušenosti s Coq/Rocq, Isabelle, Agda, Haskellem, metaprogramováním v Lean nebo AI pro matematiku.
  • V současné době nemůžeme podporovat kandidáty s vízy H1-B a STEM OPT.

Benefity

  • Zaměstnání s formulářem W-2 prostřednictvím Cincinnatus LLC nebo příslušného mezinárodního subjektu.
  • Mzdovou agendu, benefity a dodržování předpisů zajišťuje evidovaný zaměstnavatel.
  • Plně vzdálená práce.
  • Flexibilní pracovní doba s možností sestavit si vlastní rozvrh.
  • Týdenní výplaty prostřednictvím Stripe nebo Wise.
  • Možnost pracovat s předními výzkumníky.
  • Odměny za doporučení až 1 760 USD za každé úspěšné doporučení.

Související pracovní nabídky

Advocate Aurora Health

Stáž v personálním oddělení

Advocate Aurora Health
Zdravotní péčeZdravotní pojištění
USSpojené státyALAlabamaAKAljaškaAZArizonaFLFloridaIDIdahoILIllinoisIAIowaKSKansasKYKentuckyLALouisianaMEMaineMIMichiganMSMississippiMOMissouriMTMontanaNENebraskaNVNevadaNHNew HampshireNMNové MexikoNCSeverní KarolínaNDSeverní DakotaOHOhioOKOklahomaPAPensylvánieSCJižní KarolínaSDJižní DakotaTNTennesseeTXTexasUTUtahVAVirginieWVZápadní VirginieWIWisconsinWYWyoming
21 $ / hodina
Na dálkuStážVstupní úroveňPožadovaný Jazyk: angličtinaLidské zdroje

Podporujte nábor, adaptaci, zapojení zaměstnanců a personální agendu ve společnosti Advocate Aurora Health. Získejte praktické zkušenosti se systémy HR, reportingem a zlepšováním procesů během stáže na dálku.

Otevřít
Nasstar

Partner pro personalistiku a firemní kulturu

Nasstar
1 001 – 5 000 Zaměstnanci
Cloud computingLogistikaPoradenství
GBSpojené královstvíNa dálkuPlný úvazekStředně pokročilýSeniorPožadovaný Jazyk: angličtinaLidské zdroje

Podporujte vedoucí pracovníky v celém životním cyklu zaměstnanců ve Spojeném království ve společnosti Nasstar působící v oblasti digitálních technologií. Vzdáleně poskytujte poradenství v oblasti pracovněprávních vztahů, organizačních změn, plánování pracovní síly a rozvoje manažerů.

Otevřít
PSI CRO AG

Specialista náboru zaměstnanců, dočasný pracovní poměr

PSI CRO AG
1 001 – 5 000 Zaměstnanci
LogistikaPoradenstvíZdravotní péče
NLNizozemskoNa dálkuPlný úvazekStředně pokročilýSeniorPožadovaný Jazyk: angličtinaNábor

Zajišťujte nábor odborníků pro klinické studie napříč Evropou pro PSI CRO, globální smluvní výzkumnou organizaci. Budete mít na starosti vyhledávání a výběr kandidátů, pohovory, budování databáze talentů, spolupráci s vedoucími pracovníky a náborové výkaznictví.

Otevřít
PSI CRO AG

Specialista náboru (dočasný pracovní poměr)

PSI CRO AG
1 001 – 5 000 Zaměstnanci
LogistikaPoradenstvíZdravotní péče
GBSpojené královstvíNa dálkuPlný úvazekStředně pokročilýSeniorPožadovaný Jazyk: angličtinaNábor

Řízení celého náborového procesu v Evropě pro PSI CRO, globální organizaci zaměřenou na klinický výzkum. Práce na dálku z Velké Británie zahrnuje vyhledávání a hodnocení kandidátů, podporu vedoucích pracovníků a spolupráci s personálními agenturami.

Otevřít
Johnson & Johnson

Ředitel/ka pro zkušenost pacientů a zákazníků — Johnson & Johnson, Singapur

Johnson & Johnson
Sponzor víza H1BFarmaceutické výrobkyZdravotní péčeZdravotní pojištění
SGSingapurHybridněPlný úvazekVedoucíPožadovaný Jazyk: angličtinaZákaznická podpora

Ze Singapuru veďte strategii Johnson & Johnson v asijsko-pacifickém regionu pro zkušenost pacientů, podporu pacientů a komerční AI. Rozvíjejte zavádění zákaznické zkušenosti, realizaci na trzích a mezifunkční inovace ve zdravotnictví.

Otevřít
Genki

Seniorní vedoucí provozu zákaznické péče

Genki
11 – 50 Zaměstnanci
PojištěníZdravotní péčeZdravotní pojištění
BRBrazílieIDIndonésieMXMexikoPTPortugalskoTHThajsko
3 500 € / měsíc
Na dálkuPlný úvazekSeniorPožadovaný Jazyk: angličtinaZákaznická podpora

Veďte provoz zákaznické péče ve společnosti Genki, globálním startupu zaměřeném na cestovní zdravotní pojištění. Koordinujte tým, kvalitu, eskalace, výkonnostní ukazatele, podpůrné materiály a zlepšování procesů.

Otevřít