Senior Formal Methods Engineer — AI/Verification, Equity
Atalanta
Eine vollständige Bewerbung in einer Minute
Maßgeschneiderter Lebenslauf und Anschreiben – versandbereit.
Benefits dieser Stelle
Zusammenfassung
Atalanta is seeking a Formal Methods Engineer in Washington, DC, to architect a mathematical reasoning engine for Argo. This role involves leading core reasoning capabilities, collaborating with engineers to apply formal methods, and ensuring rigorous proofs for operational outcomes.
The ideal candidate has deep expertise in formal methods, experience with AI models, and a PhD in a related field. The role offers a competitive salary and significant equity, alongside comprehensive health benefits.
Qualifikationen
- Deep expertise in formal methods, automated reasoning, and system verification.
- Hands-on experience with Lean, Z3, and similar formal methods tools.
- Experience applying formal reasoning to real-world operational or mission-critical systems.
- Experience applying AI models and techniques for software/hardware verification.
Aufgaben
- Lead the development of Argo’s core mathematical reasoning capabilities.
- Collaborate with engineers to apply formal methods to deployed systems.
- Define, structure, and verify formal proofs tied to operational outcomes.
- Shape and implement Atalanta’s applied research roadmap.
Kenntnisse
Ausbildung
Jobbeschreibung
Atalanta is seeking a Formal Methods Engineer in Washington, DC, to architect a mathematical reasoning engine for Argo. This role involves leading core reasoning capabilities, collaborating with engineers to apply formal methods, and ensuring rigorous proofs for operational outcomes.
The ideal candidate has deep expertise in formal methods, experience with AI models, and a PhD in a related field. The role offers a competitive salary and significant equity, alongside comprehensive health benefits.
'/%3e%3cpath%20d='M101.744%2012.4726L102.894%2016.1947L99.0021%2013.2201L101.744%2012.4726ZM105.3%208.40937H100.488L99.0026%203.59473L97.5116%208.41047L92.7%208.40385L96.5965%2011.3834L95.1055%2016.1942L99.0021%2013.2196L101.408%2011.3834L105.3%208.40992V8.40937Z'%20fill='white'/%3e%3cdefs%3e%3clinearGradient%20id='paint0_linear_5593_1381'%20x1='90'%20y1='9.44471'%20x2='99'%20y2='9.44471'%20gradientUnits='userSpaceOnUse'%3e%3cstop%20stop-color='%2300AD70'/%3e%3cstop%20offset='0.998594'%20stop-color='%2300B67A'/%3e%3cstop%20offset='1'%20stop-color='%23DCDCE6'/%3e%3c/linearGradient%3e%3c/defs%3e%3c/svg%3e){kind=small}
