Sort by
Refine Your Search
-
? 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
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions