2 Formal Specification 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.

San Francisco, California, US (On-site)

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