Postdoc positions in Quantum Software at Department of Computer Science, Aarhus University
Role highlights
Full Time
Permanent
Independent
On-site
The ideal candidate for the Postdoc positions in Quantum Software at Aarhus University's Department of Computer Science possesses a strong theoretical computer science background, particularly in programming language theory, formal methods, and algorithms or optimization. Candidates should demonstrate proven experience in independent research and have a solid academic publication record. The role emphasizes research in quantum software verification, compilation, and optimization, focusing on algorithmic and modeling challenges related to quantum circuits. Practical experience or willingness to engage in computational experiments is also required. The position demands excellent academic writing skills and the ability to contribute to scholarly publications. Candidates are expected to work autonomously in a highly regarded research environment known for its expertise in programming languages and software security. Familiarity with quantum computing concepts and software development for quantum circuits will be advantageous. The position offers a fully funded, two-year appointment with competitive salary and benefits, including relocation and career development support. The environment promotes equality, diversity, and international collaboration, offering access to a junior researcher development program and a stimulating academic setting. Applicants must hold a doctorate and be prepared to submit a comprehensive application including CV, publication list, recommendation letters, and a research statement. Overall, this role suits highly qualified researchers with a doctoral degree and substantial experience in theoretical computer science and quantum software research, aiming to advance the state of the art in quantum software verification and optimization through independent, high-impact research.
About the role
Role Summary
- PostDoc positions available in Quantum Software Verification, Compilation, and Optimization
- Focus on algorithmic and modeling challenges in Quantum Circuits
- Located at Department of Computer Science, Aarhus University, Åbogade 34, 8200 Aarhus N
- Positions are fully funded with competitive salary and social benefits
- 2-year appointment, expected start date: May 1st
Who We Are
- Positions within the Programming Languages, Logic, and Software Security section
- Internationally recognized, top-5 department worldwide in Programming Languages
- Collaborations with external partners, including Kvantify
- Learn more about the Quantum Software Team
Responsibilities
- Conduct independent research in quantum software
- Engage in academic writing and publishing
- Participate in practical computational experiments
Requirements
- Strong background in Theoretical Computer Science (e.g., programming language theory, formal methods, algorithms/optimization)
- Demonstrated academic writing and publishing record
- Experience with independent research
- Open to practical computational experiments
Application Procedure
- Application deadline: February 1st
- Applications must include:
- CV
- Publication list
- Recommendation letter(s)
- Motivation letter / research statement
- Application must be in English
- Shortlisting process used; all applicants notified of status
- Submit via Aarhus University’s recruitment system (see job ad on AU website)
Letter of Reference
- Referees can upload letters on your behalf; provide their contact info in your application
- Make arrangements with referees before submitting their details
- Letters received after the deadline may not be considered
- To add a referee after submission, email [email protected] with details
Formalities and Salary
- Appointment per Danish university regulations and collective agreements
- Salary depends on seniority
- Research activities evaluated relative to actual research time
- Equality and diversity valued; all applicants welcome
Benefits
- Relocation service and career counselling for international researchers and families
- Junior Researcher Development Programme for postdocs
- Support for career development and planning
- Inspiring research and teaching environment
Contact Information
- Jaco van de Pol: [email protected]
- Andreas Pavlogiannis: [email protected]
- Bas Spitters: [email protected]
About Aarhus University
- Academically diverse, research-intensive university
- 38,000 students (FTEs), 8,300 employees
- Annual revenue: EUR 935 million
- Learn more: www.international.au.dk
Please mention in your application that you found the job at Jobindex.
More roles from Aarhus Universitet
View company profileVidenskabelig assistent inden for kognitiv neurovidenskab og computationel psykiatri
Herning
Share
Aarhus Universitet
Aarhus Universitet, Bygning 8001, 8002, 8003
- Location
- Herning
- Employees
- —
- Website
- www.au.dk