-
or who expect to receive such PhD degree by July 15, 2026. The successful applicant will be appointed through SPIA and its Kahneman-Treisman Center for Behavioral Science & Public Policy, with a formal
-
on nuclear arms control, disarmament, nonproliferation, verification, and on the global security challenges associated with emerging technologies such as artificial intelligence, quantum technologies, and
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions