Postdoc Positions in Formal Methods and Programming Languages
SDUDenmark • Vejle, Denmark
Posted October 30, 2025
Full Time
About the Company
SDU Robotics is a leading research institution specializing in robotics, computer vision, and model-based engineering. With a strong tradition of collaboration with industry partners, they conduct high-level research on industrial applications, welfare robotics, and medical solutions. SDU Robotics also offers educational programs in Robot Systems Engineering, attracting approximately 130 students annually.
Job Description
FORM, a new initiative at the University of Southern Denmark (SDU) in Odense and Vejle, is seeking postdoctoral fellowships in formal methods and programming languages for researchers with a PhD in Computer Science or Mathematics. The position lasts up to 4 years and emphasizes theorem proving. The centre offers collaboration and mentoring opportunities across various research areas.
Requirements
- PhD in Computer Science or Mathematics
- Fluency in English
- Research track record at a high international level
- Experience with mechanising theory and/or practice of computer science in proof assistants