PhD in Mathematics

The Department of Mathematics and Computer Science at the University of Southern Denmark invites applications for both tenure-track Assistant Professors and Associate Professors in Computer Science, with focus on Automated Reasoning, Logic, or Programming Languages. Successful candidates will join the Section of Artificial Intelligence, Cybersecurity, and Programming Languages (ACP) and the new SDU Centre for Computer Science and Artificial Intelligence in Campus Vejle. The targeted starting period is autumn 2026, with room for flexibility.