-
? 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
-
verify the proposed control framework through formal verification techniques. Ideal candidate We are seeking highly motivated candidates with a strong background in control theory and practical experience
Searches related to software verification postdoc
Enter an email to receive alerts for software-verification-postdoc positions in Uk