-
LevelMaster Degree or equivalent Skills/Qualifications The candidate should be a strong background in mathematics, computer science and formal methods, as well as some programming experience. Interest in
-
., computational learning theory, expressiveness of transformers and other models, xAI, formal methods) or equivalent; willingness to conduct research on artificial intelligence/machine learning, combined with
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions