Formal Methods Postdoctoral Research Associate

Formal Methods Researchers develop the automated reasoning tools and verification techniques that provide high-assurance confidence in the safety and security of software-driven systems critical to nuclear operations, national security, and energy infrastructure.