Sort by
Refine Your Search
- 
                Listed
- 
                Field
- 
                
                
                mechanising theory and/or practice of computer science in proof assistants. Fluency in English is required. Questions? Curious to learn more about the position and environment? Please feel free to reach out 
- 
                
                
                and categorical quantum theory. The Department of Mathematics and Computer Science is an inclusive and international working environment with state-of-the-art facilities and strong traditions 
- 
                
                
                poverty are transformed when wealth becomes extreme and aims to build new theory on the morality of extreme wealth. The project aims at three significant academic contributions: (1) to explore and map out 
- 
                
                
                for applicants who have obtained their PhD within the past 4 years, have a good publication record, and have proven their expertise on computational electrodynamics and the theory of light–matter interactions 
- 
                
                
                or related fields Have experience in conceptual research and theory building. Have command of quantitative or qualitative research methods and related software. Preferably first teaching experience