-
with ex situ experiments, demographic modelling or handling large datasets as well as holding a valid driver's license is a plus. Application / Contact Please upload your application via our online
-
with large language models (LLMs). The successful candidate will investigate both theoretical aspects – such as understanding the mechanisms and limitations of reasoning in modern LLMs – and practical
Searches related to model checking
Enter an email to receive alerts for model-checking positions