-
guardrails inspect everything in plaintext and offer weak formal assurance. This PhD asks how to build AI services that remain useful while enforcing such constraints and protecting sensitive information. Open
-
sustainability assessment to develop next-generation tools and methods that inform decision-making and support the development of safe and sustainable products and policies. This PhD position is embedded in
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions in computer-science