Postdoc Positions in Computer Science (Formal Methods)

TheCentre for Formal Methods and Future Computing (FORM)at the Department of Mathematics and Computer Science University of Southern Denmark (SDU Campus Odense or Vejle) invites applications for postdoctoral fellowships incomputer sciencewith emphasis on the area of formal methods in connection with topics that include (but are not limited to) computational complexity distributed systems human factors logic programming languages or security. The positions can have a duration of up to 4 years. The targeted starting period is late autumn 2026 with room for flexibility.

About FORM
FORM is a new initiative created with the ambition to lead the formalisation of key areas of computing in a universal repository of knowledge and tools verified by proof assistants.Our visionis to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems guided by rigorous mathematical foundations. Our current main instrument to pursue this ambition is theComputer Science Library (CSlib)in theLean programming a global effort carried out in collaboration with world-leading stakeholders and FORM is a key founding player inCSlibs steering and technical leadership.

Whom we are looking for
We are looking for candidateswhopossess(orarenearing completion of)aPhDin Computer Scienceor Mathematics. An ideal candidate has a researchtrack recordat a high international level (reflecting the academic age of the applicant) andexperience in theory development or usage of formal methods.

Fluency in English isrequired.

Questions Curious to learn more about the position and environment Please feel free to reach out to FORM () for general enquiries or directly to FORMs DirectorFabrizio Montesi() or any of theFORM Investigatorsfor other information (includingpossible researchtopics).

Hosting environment
FORM is embedded in theSection of Artificial Intelligence Cybersecurity and Programming Languages (ACP) an elite cluster of research groups that fosters collaboration research excellence and quality education. FORM and ACP offerample opportunitiesfor collaborationpersonal growth and mentoring. The sections 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.

The section is part of the Department of Mathematics and Computer Science 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 withstate-of-the-artfacilities and strong traditions for collaboration across research groupsdepartmentsand 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 a BSc degree in Artificial Intelligence and an MSc degree in Data Science. More information about the department can be found at 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 3800 employees and 115 different study programs in the fields of the humanities social sciences natural sciences health sciences and engineering. Its main campusis located inOdense the third largest city in Denmark. Odense provides family-friendly living conditions with the perfect combination of a historic city centre with an urban and vibrant feel and yetclose proximityto beaches and recreational areas. Its location on the island of Funen is ideal with easy access to the larger cities and airports in Aarhus and Copenhagen.

Application salary etc.
The successful applicant will be employed in accordance with the agreement between the Ministry of Finance and AC (the Danish Confederation of Professional Associations).Please check links for more information onsalary(only available in Danish)and taxation.

Salary is determined in accordance with the applicable collective agreement and based on objective and gender-neutral criteria including the content of the position responsibilities and qualification requirements.
As an applicant you are entitled to information about the starting salary and salary range for the position. This information will be provided during the recruitment process.
SDU does not collect information on applicants previous salary.

The application must include the following:

• Application letter including a description of the candidates research interests in connection to FORM.
• A curriculum vitae including information on previous employment with start and end dates
• List of publications (the candidate is welcome to accompany each publication with a line explaining their contribution).
• Copy of PhD diploma if Phd diploma has not yet been received please include statement from your supervisor
• A recommendation letter if available. Letters of recommendation should be sent directly tomentioning your name and the title of the position in the subject line. Please note that these need to reach us before the deadline.

Shortlisting may be used in the assessment process.
Incomplete applications and applications received after the deadline will neither be considered nor evaluated.

To qualify you must have passed a PhD or equivalent. Applications will be assessed by an expert assessor/committee. Applicants will be informed of their assessment by the university.

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 now. Attached files must be in Adobe PDF format. We strongly recommend that you read How to apply for a position at SDUbefore you apply.
If you experience technical problems please contact

Further informationfor international applicants about entering and working in Denmark.

About SDU
The University of Southern Denmark was established to create value for and with society. Whether our contributions come in the form of excellent research innovative solutions education or learning we must make a positive difference to society and contribute to a sustainable future. We do this by cultivating talents and creating the best environments for research and learning. It is therefore crucial that SDU retains develops and recruits talent. At the same time we need to ensure consistently high quality in all our activities and we can only do that with the right people. The Universitys researchers lecturers students managers and technical/administrative staff are the foundation of our success.