1 Model Checking job

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.