3 Formal Methods Engineer jobs

Washington, District of Columbia, US (On-site)

$100–150K / year

/ ABOUT ATALANTA Atalanta is a mathematical AI company bringing provably correct decision-making to the world’s most important missions.

Washington, District of Columbia, US (Hybrid)

$150–200K / year

/ ABOUT ATALANTA Atalanta is a mathematical AI company bringing provably correct decision-making to the world’s most important missions.

San Francisco, California, US (On-site)

Reasonable is the applied AI research company building formal verification for super-human software development.