Senior inbyggd mjukvaruingenjör
Analog Devices
Utveckla realtidsprogramvara för Analog Devices produkter för batteriövervakning. Samarbeta med team inom hårdvara, system, verifiering och applikationer.
Öppna
51 – 200 Anställda
Mercors tillgängliga profil innehåller inte tillräckligt med verifierad information om företagets produkter, tjänster, kunder, bransch eller rekryteringsfokus för att möjliggöra en korrekt företagsöversikt. Mer källmaterial behövs innan verksamheten eller dess möjligheter kan beskrivas.
Lean 4-ingenjör inom formell matematik
Skriv och granska Lean 4-bevis för ett AI-labb, formalisera matematik och bedöm AI-genererat arbete med teorembevisning.
Beskrivning
- Skapa korrekta, idiomatiska Lean 4-påståenden och bevis som kompilerar med den aktuella versionen av mathlib
- Formalisera matematik från källor på naturligt språk, från tävlingsproblem och läroböcker till forskningslemmor
- Utvärdera AI-genererade Lean-påståenden och bevis, identifiera fel och ge specifik skriftlig återkoppling
- Ta fram riktlinjer och bedömningsmatriser för beviskvalitet, trogna formuleringar och mathlib-konventioner
- Samarbeta med Lean-ingenjörer och forskare för att upprätthålla enhetliga standarder och höja kvaliteten
- Bidra till projekt som tränar och förbättrar AI-system
Krav
- Praktisk erfarenhet av att skriva formella bevis i Lean 4
- Kunskap om mathlib och Lean 4-taktiker, inklusive att hitta och tillämpa lämpliga lemman
- En stark grund inom bevisbaserad matematik, teoretisk datavetenskap eller logik, styrkt genom examen eller forskningsmeriter
- Förmåga att översätta skrivna matematiska påståenden och bevis till korrekta formella påståenden och verifierade bevis
- Möjlighet att arbeta minst 20 timmar varje vardagsvecka och att engagera sig på ett tillförlitligt sätt
- Tydlig skriftlig kommunikation och förmåga att precist förklara bevisstrategier och beslut kring formalisering
- Meriterande: erfarenhet av Coq/Rocq, Isabelle, Agda, Haskell, Lean-metaprogrammering eller AI inom matematik
- Får för närvarande inte behöva sponsring eller stöd för H-1B eller STEM OPT
Förmåner
- W-2-anställning med löneutbetalning, förmåner och regelefterlevnad hanterade via Cincinnatus LLC eller en lämplig internationell enhet
- Helt på distans
- Flexibla arbetstider, med arbete utfört enligt eget schema
- Veckovisa betalningar via Stripe eller Wise för utförda tjänster
- Möjlighet att samarbeta med framstående forskare
- Hänvisningsersättning på upp till 1 760 dollar per lyckad hänvisning, med vissa begränsningar
Relaterade jobb
Biträdande chef för elektroteknik
AtkinsRéalisLed eltekniska team och den tekniska leveransen i komplexa infrastrukturprojekt inom vatten och avlopp hos AtkinsRéalis. Rollen omfattar designledning, kundsamarbete och multidisciplinär projektleverans.
Öppna
Lead Electrical Engineer, mellan- och högspänning
Arcadis
Led elprojektering för mellan- och högspänningssystem på Arcadis. Ansvara för projektbudgetar, standarder, dokumentation och samordning mellan discipliner.
Öppna
Inbäddad mjukvaruutvecklare – styrsystem
Nexer Tech Talent
Analysera, felsöka och utveckla styrsystem åt en tillverkande kund samt testa lösningar på fysiska produkter. Heltidsuppdraget är hybridbaserat i Sverige och fokuserar på utveckling av inbäddad mjukvara.
Öppna
Senior kommunikationspartner för Core Lab
Roche
Forma kommunikationen kring Roche Diagnostics strategi för Core Lab. Led integrerat internt och externt kommunikationsarbete samt PR i en global vårdorganisation.
Öppna
Specialist inom lösningsdesign på distans (Portugal)
Lifecycle Software
Forma kundkrav och arbetsbeskrivningar för Lifecycle Softwares lösningar för telekombranschens verksamhetsstöd. Samordna agil leverans, integrationer och övergången till drift efter implementering.
Öppna
Innehålls- och sociala medier-specialist på Dotdigital (hybrid, Storbritannien)
DotdigitalSkapa visuella kampanjer, videor och sociala medier-innehåll för Dotdigitals plattform för kundupplevelser och data. Utveckla influencerprogram, medarbetarambassadörskap och globala innehållsprogram.
Öppna
Seniorchef, förändring och kommunikation
Commonwealth Bank
Led större förändringsprogram och kommunikationsarbete på Commonwealth Bank. Ge råd till ledare, engagera intressenter och vägled teamet Pace Central.
Öppna
Koordinator för communityengagemang
Product Marketing Alliance51 – 200 Anställda
Sponsor för visum för kvalificerade arbetstagareKonsultverksamhetMarknadsföringUtbildning
Storbritannien27 000 £ – 29 000 £ / år
DistansHeltidMellannivåSeniorObligatoriskt Språk: engelskaCommunityansvarigHjälp Product Marketing Alliance att utveckla sina yrkesnätverk genom medlemsevenemang, engagemangsprogram och partnerskap inom B2B-nätverket. Planera aktiviteter som stärker deltagande och samhörighet.
Öppna
Chef för vatten- och avloppsreningsverksamhet
Apex Companies, LLC
Leda regelefterlevnad, bemanning och fälttjänster inom vatten- och avloppsrening för Apex Companies. Stöd kommunala, kommersiella och privata vatteninfrastrukturprojekt i Pennsylvania.
Öppna