- Washington D.C., District of Columbia, United States
- On-site
- Full-time · Senior
- $225K–$275K per year
Help architect and build the mathematical reasoning engine that powers Argo. Focus on designing and applying formalized proofs that translate ambiguous mission requirements into rigorous, machine verifiable guarantees.
Compensation
The salary range for this position is estimated to be $225,000 – $275,000 per year. Employees will also receive a significant equity grant, commensurate with the contribution expected from this role.
Responsibilities
- Lead the development of Argo’s core mathematical reasoning capabilities.
- Collaborate with forward deployed and software engineers to apply state of the art formal methods and automated reasoning tools to customer’s deployed systems.
- Define, structure, and verify formal proofs tied to real-world operational outcomes.
- Shape and implement Atalanta’s applied research roadmap and priorities.
- Serve as Principal Investigator (PI) on U.S. Government-funded research initiatives.
Requirements
- PhD in Computer Science
- PhD in Mathematics