Senior Formal Methods Engineer — AI/Verification, Equity
Atalanta
A complete application in a minute — tailored resume and cover letter, ready to send.
Benefits offered by this job
Job summary
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.
Qualifications
- 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.
Responsibilities
- 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.
Skills
Education
Job description
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}
