A

Atalanta

Formal verification for mission-critical systems

Forward Deployed Engineer

AI Application Engineering +1Updated on Nov 12
Full-timeWashington, DC, USA

About the Job

Requirements

  • Experience working with users in national security or high-consequence missions.
  • A strong engineering background and proficiency with data structures and front-end frameworks such as React and TypeScript.
  • Familiarity with, or ability to learn, programming languages such as Rust and theorem provers such as Lean.
  • Hands-on experience working with and deploying artificial intelligence systems, including prompt design and evaluation, large language model tool calling and agentic workflow development, and navigating customer or regulatory data protection requirements.
  • Ability to engage directly with users and translate insights into product feature prototypes.
  • Willingness to travel regularly to customer sites.
  • Eligibility for a Top Secret/Sensitive Compartmented Information security clearance; U.S. citizenship is required.

Responsibilities

  • Develop and integrate real-world data schemas with formal methods tools, including model checkers, satisfiability modulo theories and satisfiability solvers, and theorem provers, to facilitate large language model-powered automated reasoning workflows.
  • Lead technical product deployment and implementation alongside customers in the field across cloud, on-premises, or hybrid environments.
  • Ship front-end features that make system models, constraints, and validation results understandable and actionable for customers.
  • Translate on-the-ground insights into product improvements and help shape the forward deployment playbook.
  • Collaborate with team members on product architecture and design decisions.

About the Company

Atalanta

Formal verification for mission-critical systems

Atalanta develops Argo, a platform that uses formal methods and AI to prove the correctness of high-stakes software for defense, energy, and space. It analyzes all possible states of a system to guarantee performance, safety, and security under changing conditions. Unlike traditional testing, Argo provides verifiable guarantees and targets mission-critical, cyber-physical environments, with collaborations including Viasat and the Genesis Mission. Its goal is to enable trustworthy deployment of advanced technologies by ensuring systems behave as intended under mission requirements.

Company size
11-50
Company stage
N/A
Total funding
$3.8M
Headquarters
London, United Kingdom
Founded
2017

Recently Posted Jobs

Explore more opportunities at Atalanta

See more jobs