- 
                
                
                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