Postdoc Position in Models of Quantum Programming Languages (Sapere Aude DFF-Research Leader Project FunQ)
Share
Job Location:
Monthly Salary:
Posted on:
Yesterday
Vacancies:
1 Vacancy
Job Summary
The Department of Mathematics and Computer Science at the University of Southern Denmark Odense invites applications for a postdoctoral research fellowship in models of quantum programming languages. The position has a duration of 3 years. Due to the highly interdisciplinary nature of the position the hired candidate will be part of both the section of Artificial Intelligence Cybersecurity and Programming Languages (ACP) the section on Topology Algebra Analysis and Geometry (TAAG) and the Centre for Quantum Mathematics (QM).
The proposed starting time is Winter 2026 with some room for flexibility. The appointment will be made at a competitive salary.
This position is embedded in the Sapere Aude: DFF-Research Leader project FunQ: Quantum Programming Beyond the Circuit Model led by Assoc. Prof. Robin Kaarsgaard. The project aims at introducing new abstractions models and programming languages that radically change how we can reason about and develop quantum programs. The project will establish a collaborative team to investigate both the mathematical foundations of quantum programming languages as well as their realisation in a novel high-level quantum programming language. The successful candidate will work directly with the projects principal investigator Assoc. Prof. Robin Kaarsgaard an internationally recognised expert in the areas of quantum programming languages and categorical quantum theory.
Candidate Profile
We are looking for highly motivated candidates interested in models of quantum programming languages. The ideal candidate holds (or is expected to soon hold) a PhD degree in computer science mathematics physics or a more specialised degree in quantum computing or quantum information science and demonstrated research experience in quantum computing and at least one of the following areas:
- Formal semantics of programming languages.
- Logic in computer science.
- Category theory.
- Formal models of quantum computing (e.g. ZX-calculus).
Fluency in English is required.
For further information please contact Assoc. Prof. Robin Kaarsgaardat .
About the Department and the University
Based in Odense the Department of Mathematics and Computer Science offers an inclusive and international working environment with state-of-the-art facilities as well as a strong tradition for collaboration across departments and faculties and with other educational institutions municipalities and industries. More than two thirds of faculty members come from outside of Denmark.
The University of Southern Denmark was founded in 1966 and now has more than 27000 students almost 20% of whom are from abroad. It has more than 3800 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 the third largest city in Denmark. Odense provides family-friendly living conditions with the perfect combination of a historic city center with an urban feel and yet a close proximity to beaches and recreational areas. Its location on the beautiful island of Funen is ideal with easy access by train or highway to the bigger cities of Aarhus and Copenhagen. As the birthplace of Hans Christian Andersen Denmarks famous fairytale author the city is home to a vibrant and creative population that hosts numerous festivals and markets throughout the year.
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.
Assessment of the candidates is based on the application material and the application must include:
- Motivated application
- Curriculum vitae
- Masters degree and PhD degree or equivalent (copy of original verified English translation)
- A complete list of publications
- Reference letters/references may also be included
- A statement of other qualifications relevant to the position.
Shortlisting may be used in the assessment process.
UPLOAD GUIDE: Motivated application shall be uploaded as Cover letter Curriculum Vitae shall be uploaded as Resume. All other documents shall be uploaded as Miscellaneous documents.
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.
Further informationfor international applicants about entering and working in Denmark.
Key Skills
- IT Experience
- Robot Programming
- PMBOK
- HVAC
- Project Leadership
- Conflict Management
- Meeting Facilitation
- Schedule Management
- Project Management
- Project Management Software
- Microsoft Project
- Leadership Experience
About Company
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. ... View more
