Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Formal Methods
SDUVejle, Region of Southern Denmark, Denmark • Odense, Region of Southern Denmark, Denmark
Posted November 3, 2025
Full Time
About the Company
The University of Southern Denmark is a public research university with a strong focus on research and education.
Job Description
The Centre for Formal Methods and Future Computing (FORM) at the University of Southern Denmark invites applications for tenure-track Assistant Professors and Associate Professors in Computer Science, with emphasis on formal methods and theorem proving.
Requirements
- PhD degree in computer science or mathematics
- Research track record at a high international level
- Experience in attracting and managing externally funded projects
- Ability to teach and advise students at all levels
- Fluency in English
Benefits
- Competitive salary and benefits package
- Opportunities for collaboration and personal growth
- Mentoring for starting independent research groups