LogoFresh Jobs Ahead
Mercor
Mercor
51 – 200 Zaposlenici
Dostupni profil tvrtke Mercor ne sadrži dovoljno provjerenih informacija o njezinim proizvodima, uslugama, klijentima, sektoru ni području zapošljavanja da bi se mogao izraditi točan pregled tvrtke. Prije opisa poslovanja ili mogućnosti zapošljavanja potrebno je pribaviti dodatne izvorne materijale.
LinkedIn
Poslovi u tvrtki

Inženjer za Lean 4 i formalnu matematiku

Pišite i pregledavajte dokaze u Lean 4 za laboratorij umjetne inteligencije. Formalizirajte matematiku i procjenjujte rad umjetne inteligencije na dokazivanju teorema.

USSjedinjene Američke Države
90 $ – 110 $ / sat
UdaljenoNepuno radno vrijemeSrednja razinaSeniorObavezan Jezik: engleskiInženjer
Haskell

Opis

  • Izrađujte točne, idiomatske tvrdnje i dokaze u Lean 4 koji se kompiliraju s aktualnom bibliotekom mathlib
  • Formalizirajte matematiku iz tekstualnih izvora, od natjecateljskih zadataka i udžbenika do istraživačkih lema
  • Procjenjujte tvrdnje i dokaze u Lean koje je generirala umjetna inteligencija, prepoznajte pogreške i pružajte konkretne pisane povratne informacije
  • Razvijajte smjernice i kriterije za kvalitetu dokaza, vjernost tvrdnji i konvencije biblioteke mathlib
  • Surađujte s inženjerima za Lean i istraživačima kako biste održavali dosljedne standarde i poboljšavali kvalitetu
  • Sudjelujte u projektima za treniranje i poboljšavanje sustava umjetne inteligencije

Zahtjevi

  • Praktično iskustvo u pisanju formalnih dokaza u Lean 4
  • Poznavanje biblioteke mathlib i taktika u Lean 4, uključujući pronalaženje i primjenu odgovarajućih lema
  • Čvrsti temelji u matematici utemeljenoj na dokazima, teorijskoj informatici ili logici, potvrđeni diplomom ili istraživačkim iskustvom
  • Sposobnost pretvaranja pisanih matematičkih tvrdnji i dokaza u točne formalne tvrdnje i provjerene dokaze
  • Dostupnost za rad najmanje 20 sati svakog radnog tjedna uz pouzdan angažman
  • Jasna pisana komunikacija i sposobnost preciznog objašnjavanja strategija dokazivanja i odluka pri formalizaciji
  • Prednost je iskustvo s alatima Coq/Rocq, Isabelle, Agda, Haskell, metaprogramiranjem u Lean ili primjenom umjetne inteligencije u matematici
  • Trenutačno ne smijete trebati sponzorstvo ni podršku za vizu H-1B ili STEM OPT

Pogodnosti

  • Zaposlenje prema obrascu W-2, uz obračun plaća, beneficije i usklađenost s propisima preko tvrtke Cincinnatus LLC ili odgovarajućeg međunarodnog subjekta
  • Rad u potpunosti na daljinu
  • Fleksibilno radno vrijeme i samostalno organiziranje rada
  • Tjedne isplate za obavljene usluge putem Stripea ili Wisea
  • Prilika za suradnju s vodećim istraživačima
  • Nagrade za preporuke do 1.760 USD za svaku uspješnu preporuku, uz određena ograničenja

Povezani poslovi

State Street

Viši inženjer podataka za sigurnost

State Street
Sponzor vize H1BBankarstvoFinancijeFintech
PLPoljska
182.004 zł / godina
HibridnoPuno radno vrijemeSeniorObavezan Jezik: engleskiInženjer podataka
AWSAzureDistribuirani sustaviETLGoogle Cloud PlatformKibernetička sigurnostMS SQL ServerOblakPythonSDLCServiceNowSQL

Vodite podatkovno inženjerstvo na cloud platformama i lokalnim platformama State Streeta te gradite sigurne tokove, integracije i skladišta podataka za otpornu IT operativu.

Otvori
Niji

Viši voditelj podatkovnog inženjerstva, Databricks

Niji
1.001 – 5.000 Zaposlenici
Kibernetička sigurnostSavjetovanjeUmjetna inteligencija
FRFrancuskaHibridnoPuno radno vrijemeSeniorObavezan Jezik: francuskiInženjer podataka
AWSAzureFluxGoogle Cloud PlatformOblakPythonSparkSQLUnity

Vodi dizajn i industrijalizaciju podatkovnih platformi za analitiku, strojno učenje i generativnu umjetnu inteligenciju u tvrtki Niji, konzultantskoj tvrtki za digitalne tehnologije. Uloga objedinjuje tehničko vodstvo za Databricks, mentoriranje inženjera i savjetovanje klijenata.

Otvori
Harmoney

Inženjer podataka — Harmoney, Gent (hibridno)

Harmoney
51 – 200 Zaposlenici
B2CFinancijeFintech
BEBelgija
3.250 € – 5.600 € / mjesec
HibridnoPuno radno vrijemeSrednja razinaSeniorObavezan Jezik: engleskiObavezan Jezik: nizozemskiInženjer podataka
AzureDockerJavaKafkaSQL

Preuzet ćete odgovornost za Harmoneyjevo podatkovno skladište i BI ekosustav te podržavati analitiku za SaaS rješenja usklađenosti, planiranje kapaciteta klijenata i automatiziranu naplatu. Radno mjesto je u Gentu uz hibridni način rada.

Otvori
Sigma Software Group

Inženjer za podatke (Azure, Spark) — rad na daljinu u Ukrajini

Sigma Software Group
1.001 – 5.000 Zaposlenici
Automobilska industrijaSavjetovanjeZdravstvena skrb
UAUkrajinaUdaljenoPuno radno vrijemeSrednja razinaSeniorObavezan Jezik: engleskiInženjer podataka
AirflowAmazon RedshiftApacheAzureBigQueryETLKafkaOblakPySparkPythonSparkSQL

Gradite skalabilne podatkovne platforme i cjevovode na Azureu za analitiku, izvještavanje i donošenje odluka na temelju podataka. Razvijajte Spark tijekove rada i pouzdanu obradu podataka u suradnji s više timova.

Otvori
Sigma Software Group

Samostalni podatkovni inženjer (Azure, Spark) — rad na daljinu iz Poljske

Sigma Software Group
1.001 – 5.000 Zaposlenici
Automobilska industrijaSavjetovanjeZdravstvena skrb
PLPoljskaUdaljenoPuno radno vrijemeSrednja razinaSeniorObavezan Jezik: engleskiInženjer podataka
AirflowApacheAzureETLOblakPySparkPythonSparkSQL

Gradite podatkovne platforme na Azureu i skalabilne cjevovode za analitiku i operacije. Razvijajte Spark tijekove rada, podatkovne modele i pouzdana oblačna rješenja.

Otvori
AllCloud

Inženjer podataka koji govori hebrejski

AllCloud
201 – 500 Zaposlenici
Sponzor vize H1BLogistikaSavjetovanjeZdravstvena skrb
RORumunjskaUdaljenoPuno radno vrijemeSrednja razinaSeniorObavezan Jezik: engleskiObavezan Jezik: hebrejskiInženjer podataka
AirflowAmazon RedshiftAWSETLKafkaKubernetesMikroservisiOblakPythonSparkSQL

Razvijajte AWS lakehouse platforme, podatkovne cjevovode i AI rješenja za AllCloudove klijente u području savjetovanja u oblaku. Oblikujte skalabilne arhitekture i pomozite klijentima modernizirati podatkovne sustave.

Otvori
Ralliant

Viši arhitekt rješenja za upravljanje kretanjem

Ralliant
5.001 – 10.000 Zaposlenici
Sponzor vize H1BObranaProizvodnjaZdravstvena skrb
CNKinaHibridnoPuno radno vrijemeSeniorVoditeljObavezan Jezik: engleskiObavezan Jezik: kineskiInženjer rješenja
.NETC++Kibernetička sigurnostPythonTCP/IP

Oblikujte softverske, upravljačke i elektromehaničke arhitekture za proizvode preciznog upravljanja kretanjem i industrijske automatizacije. Surađujte s globalnim inženjerskim timovima u Šangaju.

Otvori