<!-- ko if: isJobTitleVisible --> Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Science with a focus on Automated Reasoning, Logic, or Programming Languages <!-- /ko --> <!-- ko if: isAlreadyAppliedVisible --><!-- /ko -->

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.

We solicit applications from researchers that can complement or strengthen the competences of the section. For this call, we are looking for people who work in any one of the following areas:

• Automated reasoning, e.g., Optimization, Satisfiability (SAT / SMT), Constraint Solving, Planning, Answer Set Programming, Model Checking, Symbolic Computation, Knowledge Representation, Reasoning under Uncertainty, Non-monotonic Reasoning, Expert Systems.
• Programming languages broadly construed , e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers.
• Logic broadly construed,  e.g., proof theory, modal logics, model theory and knowledge representation, computability. Researchers from outside CS are encouraged to apply, but must demonstrate a connection with core computer science or AI, and must be able to teach computer science courses at the bachelor and master levels.

The ACP section
Successful applicants will join the section of Artificial Intelligence, Cybersecurity, and Programming Languages, an ambitious cluster of research groups that fosters collaboration, research excellence, and quality education. We offer ample opportunities for collaboration, personal growth, and mentoring for starting independent research groups. The section’s current research covers a wide range of areas and topics that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum and embedded cryptography, and quantum programming languages. We are looking for new colleagues who can strengthen or add to our competences.  We encourage interested candidates to explore the section’s website at https://acp.sdu.dk/  for more information.

IMADA
The section is part of the Department of Mathematics and Computer Science (IMADA), and other research sections at the department are 

• Algorithms
• Computational Science
• Data Science and Statistics 
• Geometry, Topology and Algebra
• Learning Experience Design

Our department offers an inclusive and international working environment with state-of-the-art facilities and strong traditions for collaboration across research groups, departments and faculties, and with other organisations like educational institutions, municipalities, and companies. The degrees offered by the department include BSc and MSc degrees in Computer Science and Artificial Intelligence, and an MSc degree in Data Science. More information about the department can be found at https://imada.sdu.dk/ .

The University of Southern Denmark (SDU) was founded in 1966 and now has more than 27.000 students, almost 20% of whom are from abroad. It has 3,800+ employees, and 115 different study programs in the fields of the humanities, social sciences, natural sciences, health sciences, and engineering. Its main campus is located in Odense and is complemented by modern campuses in Kolding, Esbjerg, Sønderborg and, most recently, Vejle. Each campus contributes to SDU’s strong regional presence and close collaboration with businesses, public institutions, and local communities.

Discover more about SDU’s newest addition, the Vejle campus, at www.sdu.dk/en/vejle .

Who we are looking for
An ideal candidate:

• holds a PhD degree in computer science, mathematics, or equivalent;
• has a research track record at a high international level, reflecting the academic age of the applicant;
• can teach and advise in computer science at all levels.

Fluency in English is required. Knowledge of Danish is not a requirement: more English than Danish is used when teaching in computer science, and more than half of the faculty members in computer science have international backgrounds. Successful applicants will be offered Danish courses.

For the tenure-track assistant professor positions, applications from promising early-career talents are highly encouraged. The Danish tenure-track employment is a focused assistant professorship with a guaranteed assessment for a position as tenured associate professor: before the end of the sixth year of employment and contingent on a positive academic assessment, the assistant professor will transit into a permanent (tenured) position as associate professor. A tenure-track assistant professor can request assessment for tenure earlier. If this assessment is negative, the assistant professor can request a second assessment within the final six months of employment.

Questions? Curious to learn more about the section and the position? Please feel free to reach out to Associate Professor Robin Kaarsgaard on kaarsgaard@imada.sdu.dk  for more information.

Application process and appointment information
Appointment to the position will be in accordance with the salary agreement between the Ministry of Finance and the Danish Confederation of Professional Associations. Please check our International Staff Office’s website  for more information on, e.g., salary and taxation.

The application including the required attachments must be in English.

The application must include the following:

• A cover letter (max 2 pages) stating which position(s) the applicant is applying for. The cover letter must present the applicant’s research topics and interests and how these relate to the topics of the call.
• Curriculum vitae (max 3 pages) including (if available) ORCID and a link to the applicant’s page on DBLP.
• A brief overview (max 1 page) of the applicant’s 3 most important publications, including a short description of the significance of each.
• A brief research plan (max 2 pages) for the next three years.
• A full list of publications.
• A teaching portfolio  (required for candidates applying for the associate position, optional for candidates applying for the assistant position)Certificates/diplomas (PhD degree or equivalent).

Shortlisting  may be used in the assessment process.
Shortlisted applicants will be assessed by an assessment committee. Applicants will be informed of their assessment by the faculty. As part of the overall assessment, the applicant may be called for interview.

Please note that applicants for tenure-track assistant professorships are also assessed based on their potential to reach the assessment criteria for an associate professorship during the tenure-track period. These criteria are mapped out in the faculty’s policy on academic career and recruitment, specifically the performance indicators  on research, teaching, and academic citizenship.

Please note that applicants are expected to have completed their PhD.

Incomplete applications and applications received after the deadline will neither be considered nor evaluated.

The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.

Applications must be submitted electronically using the link "Apply online". Attached files must be in Adobe PDF or Word format. Each box can only contain a single file of max. 10 Mb. We strongly recommend that you read How to apply  before you apply.

Further information   for international applicants about entering and working in Denmark.

• Job Identification 3327
• Job Category VIP
• Posting Date 11/06/2025, 07:59 AM
• Locations Spinderigade 24, Vejle, Syddanmark, 7100, DK
• Apply Before 01/11/2026, 10:59 PM
• Job Schedule Full time