-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
graduate ready to drive change in AI-powered system certification and governance. Through this PhD, students will master the intersection of AI, verification, and regulatory compliance, gaining a rare
Searches related to software verification phd
Enter an email to receive alerts for software-verification-phd positions