-
? 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
-
a strong background in discrete mathematics, algorithms, computational complexity, automata, logic, formal languages, verification, or related topics with undergraduate and/or master’s degrees in
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding