Direktør for forretningsdrift
The SuiteLed forretningssystemer og data- og AI-programmer for The Suites lederfellesskap, og utform verktøyene og prosessene som støtter driften deres.
Åpne
51 – 200 Ansatte
Mercors tilgjengelige profil inneholder ikke nok verifisert informasjon om selskapets produkter, tjenester, kunder, bransje eller rekrutteringsfokus til å gi en nøyaktig virksomhetsbeskrivelse. Det trengs mer kildemateriale før virksomheten eller mulighetene den tilbyr, kan beskrives.
Lean 4-ingeniør i formell matematikk
Skriv og gjennomgå Lean 4-bevis for et AI-laboratorium, formaliser matematikk og vurder AI-generert arbeid med teorembevis.
Beskrivelse
- Skriv idiomatiske Lean 4-påstander og bevis som kompilerer med den gjeldende mathlib-versjonen.
- Formaliser matematikk fra kilder på naturlig språk, blant annet konkurranseoppgaver, lærebokresultater og forskningslemmaer.
- Gjennomgå påstander og bevis generert av AI-systemer.
- Finn bevis som mislykkes eller fastslår et feilaktig resultat, og gi deretter tydelige skriftlige tilbakemeldinger.
- Bidra til å utarbeide standarder og vurderingskriterier for beviskvalitet, samsvar med påstander og mathlib-konvensjoner.
- Samarbeid med Lean-ingeniører og laboratorieforskere for å opprettholde ensartede standarder.
- Bidra til prosjekter som trener og forbedrer AI-systemer.
Krav
- Praktisk erfaring med å skrive formelle bevis i Lean 4.
- Kjennskap til mathlib og Lean 4-taktikker, inkludert å finne og bruke egnede lemmaer.
- Et solid grunnlag i bevisbasert matematikk, teoretisk informatikk eller logikk, dokumentert gjennom utdanning eller forskningsresultater.
- Evne til å oversette skriftlige matematiske påstander og bevis til korrekte formelle påstander og verifiserte bevis.
- Mulighet til å jobbe minst 20 timer i uken på hverdager.
- Gode skriftlige kommunikasjonsevner, inkludert evne til å forklare bevisstrategier og formaliseringsvalg presist.
- Foretrukket: erfaring med Coq/Rocq, Isabelle, Agda, Haskell, Lean-metaprogrammering eller AI for matematikk.
- Det er for tiden ikke mulig å støtte kandidater med H1-B- eller STEM OPT-status.
Fordeler
- W-2-ansettelse gjennom Cincinnatus LLC eller en egnet internasjonal enhet.
- Arbeidsgiveren håndterer lønn, ytelser og etterlevelse av regelverk.
- Fullt fjernarbeid.
- Fleksibel arbeidstid med mulighet til å sette opp arbeidsplanen selv.
- Ukentlige utbetalinger via Stripe eller Wise.
- Mulighet til å jobbe med ledende forskere.
- Henvisningsbetaling på opptil 1 760 USD for hver vellykkede henvisning.
Relaterte jobber
Senior controller innen strategisk finans, prissetting og egenproduksjon eller kjøp
Daimler Truck North AmericaLed det strategiske finansarbeidet for Daimler Trucks ettermarkedsvirksomhet, og utform forretningsanalyser, prissetting, kostnadsberegninger og beslutninger om egenproduksjon eller kjøp. Rådgiv ledelsen med lønnsomhetsanalyser, finansielle modeller og anbefalinger.
Åpne
Regnskapsassistent på hjemmekontor, fakturering av offentlige kontrakter — SAIC
SAICStøtt faktureringen av offentlige kontrakter hos SAIC ved å utarbeide fakturaer, kontrollere prosjektoppsett og avstemme betalinger i Costpoint.
Åpne
Grantspecialist II, regnskap for forskningsprosjekter
WashU ITHåndter økonomisk rapportering, avstemminger, fakturering og avslutning av forskningsbevilgninger ved Washington University. Støtt etterlevelse, revisjoner og fakultetenes administratorer.
Åpne
Associate innen regnskapsrådgivning for kapitalmarkeder
PwC
USA
Illinois
Pennsylvania61 000 $ – 100 000 $ / år
På stedetHeltidJuniorMellomnivåPåkrevd Språk: engelskRegnskapssjefHjelp PwC-kunder med regnskapsrådgivning og kapitalmarkedstransaksjoner, blant annet børsnoteringer, fusjoner og andre avtaler. Utarbeid finansregnskap og regulatorisk rapportering, samtidig som du bygger kompetanse innen transaksjonsrådgivning.
Åpne
Seniorrådgiver innen regnskapsrådgivning
CroweUSAIllinois
New York
Texas77 600 $ – 153 800 $ / år
HybridHeltidSeniorPåkrevd Språk: engelskRegnskapssjefRådgiv Crowes kunder om regnskapstekniske spørsmål og økonomiske utfordringer, blant annet rapportering, research og prosessforbedring. Bidra til gjennomføring av kundeoppdrag og utvikling av juniorer i teamet.
Åpne
Koordinator for støtte til bedring – Kokomo, hybrid
Groups Recover TogetherKoordiner behandling og støtte til bedring for personer med rusmiddelproblemer, og koble medlemmer i Kokomo med kliniske, sosiale og lokale ressurser.
Åpne
Fjernbasert inntakskoordinator og kundeservicemedarbeider
LifeStance HealthUSA20 $ / time
FjernarbeidHeltidJuniorMellomnivåIngen grad krevesPåkrevd Språk: engelskKundesenterrepresentantHjelp LifeStance Healths pasienter i gang med psykisk helsehjelp ved å bestille vurderinger, sjekke forsikring, koordinere henvisninger og sette dem i kontakt med behandlere.
Åpne
Sommerpraktikant som mediekoordinator
ICFUSANew York
Virginia37 855 $ – 77 869 $ / år
HybridDeltidInngangsnivåIngen grad krevesPåkrevd Språk: engelskGenereltBli en del av ICFs betalte medieteam og støtt digitale kampanjer og markedsføringsprogrammer for energieffektivisering. Få erfaring med mediestrategi, mediekjøp, kampanjegjennomføring, trafikkhåndtering, rapportering og drift.
Åpne
Farmasøytisk informatikkanalytiker – legemiddeloppsett, fjernarbeid
Advocate Aurora HealthUSA
Alabama
Alaska
Arizona
Florida
IdahoIllinois
Iowa
Kansas
Kentucky
Louisiana
Maine
Michigan
Mississippi
Missouri
Montana
Nebraska
Nevada
New Hampshire
New Mexico
Nord-Carolina
Nord-Dakota
Ohio
OklahomaPennsylvania
Sør-Carolina
Sør-Dakota
TennesseeTexas
UtahVirginia
Vest-Virginia
Wisconsin
Wyoming59 $ – 88 $ / time
FjernarbeidHeltidMellomnivåSeniorPåkrevd Språk: engelskAnalytikerAdvocate Aurora Health søker en farmasøytisk informatikkanalytiker som skal forbedre legemiddelopplysninger, sikkerhet og arbeidsflyter i hele helseforetaket. Stillingen utformer og evaluerer legemiddeloppsett, analyser og kliniske regler i elektroniske journalsystemer.
Åpne