The Department of Mathematics and Computer Science at the University of Southern Denmark (Campus Vejle) invites applications for tenure-track Assistant Professor or Associate Professor positions in Computer Science, with a focus on AI-Driven SW Specification, Development, Verification and Validation.

The targeted starting period is Spring 2027, with room for flexibility.

The successful candidate will join the SustainAI – Sustainable and AI-Driven Software Engineering Group at the SDU Centre for Computer Science and Artificial Intelligence in Campus Vejle. SustainAI is part of the Section of Artificial Intelligence, Cybersecurity, and Programming Languages (ACP) and conducts internationally recognized research in software development, software architecture, software quality, technical debt management, cloud and edge computing, sustainable software systems, and AI-assisted software development.

More information about the SustainAI research group is available at: https://sustainai.sdu.dk/

We encourage applications from researchers that can complement or strengthen the competences of the group. Examples of interesting research areas include, but are not limited to:

Software Specification and Formalization

• Requirements refinement and traceability

• Requirements-to-code transformation

• Requirements-to-architecture transformation

• Requirements-to-test transformation

• Autoformalization of software requirements

• Formal methods for software systems and software architectures

AI-Driven Software Development and Assurance

• AI-driven software development processes

• Verification of AI systems

• Validation of AI agents

• Evaluation frameworks for AI systems

• Assurance cases for AI-enabled systems

• Runtime assurance

• Dependability of AI-native systems

• AI system certification

Software Intelligence and Modernization

• Software observability

• Architecture reconstruction and recovery

• AI-driven software modernization

• Legacy system transformation

• Continuous software evolution and maintenance

Research Environment
The successful candidate will become an integral member of the SustainAI research group and is expected to contribute actively to its scientific growth and international visibility. We particularly welcome applicants whose research vision complements and strengthens the group’s strategic focus on AI-driven software development, software architecture, sustainable software systems, software quality, and intelligent software development processes.

The successful candidate is expected to establish a research profile that complements and strengthens SustainAI’s strategic research directions and to contribute actively to the development of collaborative research initiatives within the group.

The candidate will have the opportunity to develop a distinctive and internationally recognized research profile while collaborating closely with researchers across the group’s areas of expertise. We seek researchers who are excited by the opportunity to shape emerging directions in AI-driven software development and contribute to high-impact scientific outcomes.

The position provides an excellent environment for pursuing research excellence, building long-term research initiatives, supervising PhD students and postdoctoral researchers, and developing collaborations with academic and industrial partners. Successful candidates will be supported in establishing independent research activities and pursuing competitive national and international research opportunities.

About the Section and Department
The Section of Artificial Intelligence, Cybersecurity, and Programming Languages (ACP) is an ambitious and rapidly growing research environment that fosters collaboration, research excellence, and high-quality education.

Its research activities span a broad range of topics including artificial intelligence, programming languages, software development, software architecture, distributed systems, cloud computing, cybersecurity, formal methods, cryptography, and quantum programming languages.

The Department of Mathematics and Computer Science offers an inclusive and international working environment with strong traditions for interdisciplinary collaboration and engagement with industry and society.

More information can be found at:

• ACP: https://acp.sdu.dk/

• SustainAI: https://sustainai.sdu.dk/

• Department of Mathematics and Computer Science: https://imada.sdu.dk/

Who We Are Looking For
Applicants are expected to hold a PhD degree in Computer Science or a related discipline and to have acquired at least one year of additional research experience following the completion of their doctoral studies, either in academia, research institutes, or industry. Applicants are expected to have completed their PhD before the submission deadline.

An ideal candidate:

• Has demonstrated excellence in research, reflected by publications in leading international venues appropriate to their career stage.

• Shows clear potential to develop an internationally recognized research programme.

• Demonstrates the ability to contribute to the acquisition of competitive research funding.

• Is interested in collaborating across research disciplines and contributing to the strategic development of the SustainAI research group.

• Has the ability and motivation to supervise students and junior researchers.

• Can teach and advise in computer science at all levels.

We particularly encourage applications from candidates with strong publication records in leading venues such as RE, ICSE, FSE, ASE, ESEM, EMSE, TSE, TOSEM, IST, SANER, ICSME, MODELS, CAiSE, BPM, and related conferences and journals.

Fluency in English is required. Knowledge of Danish is not a requirement. Successful applicants will be offered Danish language courses.

The Tenure-Track Position
The Danish tenure-track system provides a focused pathway toward a permanent academic position. Before the end of the sixth year of employment, and contingent upon a positive academic assessment, the Assistant Professor will transition to a tenured Associate Professor position. Read more about SDU’s tenure-track program here. 

The evaluation is based on an overall assessment of the candidate's academic achievements and potential. A particular emphasis will be placed on the ability to develop an independent and internationally recognised research profile, deliver high-quality teaching and supervision, contribute actively to the academic community, and demonstrate the potential to secure competitive external research funding and build an ambitious research programme.

As part of the tenure-track programme, the Assistant Professor is expected to complete SDU's Lecturer Training Programme before the tenure evaluation, unless an equivalent university-level programme has already been completed at another institution.

The evaluation will also take into account the candidate's contributions to the strategic and organisational development of the department, including a willingness to engage in academic leadership and administrative responsibilities. 

Application deadline: 30. September 2026 at 23:59 hours local Danish time

Please see the full call, including how to apply, on www.sdu.dk