We are offering a postdoc position in the area of quantum computing, with a competitive monthly salary and full social benefits.
General Information
The Department of Computer Science and Engineering is a fully integrated department with the University of Gothenburg and Chalmers University of Technology as principals. The department is widely recognised for excellent research and education, and strongly international with approximately 300 employees from more than 40 countries. Our department is located in Sweden’s second largest city Gothenburg – the world’s most sustainable destination every year since 2016 according to the Global Destination Sustainability Index.
The department is organised in four divisions where research spans from theoretical foundations to applied systems development. The position is placed in the Logic and Types unit of the Computing Science division, with Chalmers University of Technology as employer. You will be part of a lively research environment with fun interaction with researchers in the area of the position and in other areas such as type theory, graph theory, functional programming, formal methods and information security.
Project Background and Description
We are seeking a postdoc to help develop a language for expressing the microwave pulse schedules that are sent as input to a quantum computer with superconducting qubits.
The language that will be developed will be a mid-point in abstraction between the high-level language of quantum circuits (which ignores noise and treats time as discrete) and low-level languages such as OpenPulse (which describes the exact values to be sent to each input channel at each moment in time). A mid-level language will better allow for describing and reasoning about algorithms for translating from quantum circuits to pulse schedules, and optimizations that can be performed on the pulse schedule level, while at the same time following known rigorous techniques for language design from computer science based on mathematical theories such as type theory and category theory.
This project is part of QuantumStack, a 5-year project funded by the Swedish Foundation for Strategic Research, with the aim of developing a full software stack for programming quantum computers. The project is integrated with the Wallenberg Centre for Quantum Technology (WACQT), a 12-year, billion-SEK initiative started in 2018 with the purpose of advancing Swedish academia and industry to the forefront of quantum technology, and to build a Swedish quantum computer. Our ambitious goal at Chalmers is to build this quantum computer with 100 superconducting qubits and to apply it to real computational problems that cannot be efficiently solved on a conventional computer. Such computationally hard problems are found, e.g., in optimization, quantum chemistry, materials science, machine learning, etc.
Main responsibilities
As a postdoctoral researcher, you will conduct high-quality original research and publish in leading international venues together with senior researchers in the group and other members of the research community. You will work both independently and as part of a team on research related broadly to the goals of the project, and communicate the results verbally and in writing.
Additionally, you will perform teaching activities including supervision of bachelor and master thesis projects for at most 20% of your time, as well as possible co-supervision of PhD students.
Qualifications
- To be eligible for appointment as a postdoctoral researcher, you are required to have a doctoral degree in physics, computer science, mathematics or other areas related to the project in this announcement, or a foreign degree that is deemed to be equivalent to such a doctoral degree.
- The doctoral degree must be awarded no more than three years prior to the application deadline (according to the current agreement with the Swedish Agency for Government Employers). Exceptions from the 3-year limit can be granted for parental leave, sick leave, or military service.
- It is an advantage if you are familiar with the field of quantum computing and/or the use of type theory and/or category theory to design domain-specific languages (DSLs).
- Since teaching is part of the responsibilities, previous teaching experience is meritorious.
- The working language at the department is English and the position requires sound verbal and written communication skills in English.
Contract terms
The position is a full-time 2-years employment starting no later than June 2025. The position requires the candidate to reside in Gothenburg.
What we offer
Chalmers provides a cultivating and inspiring working environment in the coastal city of Gothenburg. At Chalmers we seek to establish a good work/life balance. We want to provide you with the means to pick the best path possible in your pursuit of making a difference. Our ambitions in this area are reflected in the generous employment conditions, including:
- Holiday allowance of 28-35 days per year depending on age;
- A collective agreement including parental pay, sick pay supplement, and medicine costs;
- A wellness allowance towards activities promoting good health;
- Flexible working conditions.
Read more about working at Chalmers and our benefits for employees.
Chalmers aims to actively improve our gender balance. We work broadly with equality projects, for example the GENIE Initiative on gender equality for excellence. Equality and diversity are substantial foundations in all activities at Chalmers.
Application procedure
The application should be written in English and be attached as PDF-files, as below. Maximum size for each file is 40 MB. Please note that the system does not support Zip files.
The application should include the following items:
CV (Please name the document as: CV, Family name, Ref. number):
- CV including list of publications;
- Other information like previous employment, leadership qualifications, previous teaching and pedagogical experiences;
- Contact information for two references that we can contact.
Personal letter (Please name the document as: Personal letter, Family name, Ref. number): A maximum of 1-3 A4 page where you
- Introduce yourself and explain why you are interested in this position;
- Describe your previous experience of relevance for the position and main research results;
- Describe your future goals and research focus.
Other documents:
- Evidence of written work, preferably in the form of links to research papers and theses;
- Attested copies of completed education (including grades) and other certificates.
Use the button at the foot of the page to reach the application form.
Please note: The applicant is responsible for ensuring that the application is complete. Incomplete applications and applications sent by email will not be considered.
Application deadline: 2025-03-15
For questions, please contact:
Associate Professor Robin Adams, Principal investigator of the project
Robinad@chalmers.se
Associate Professor Ana Bove, Head of Logic and Types unit
Bove@chalmers.se
