Postdoc Automated Reasoning in Quantum Computing

The Faculty of Science, Leiden Institute of Advanced Computer Science (LIACS), is looking for candidates for a Postdoctoral Researcher (0.8-1.0 FTE) working at the crossroad between Quantum Computing and Automated Reasoning. Reasoning engines, like SAT solvers and model counters can be used as oracles in computationally demanding tasks such as quantum circuit compilation. Moreover, quantum algorithms have yet to be augmented with the powerful heuristics developed in classical reasoning.

We are looking for individuals with an excellent academic record interested in the development of new quantum circuit compilation techniques and quantum algorithms based on classical automated reasoning. The project focuses on harnessing the strengths of classical heuristics in quantum computing. For instance, the classical conflict driven clause learning (CDCL) heuristic offers exponential advantages over other methods. Without such heuristics, the search for quantum supremacy in constraint solving will be impeded. The project therefore aims to quantize such classical heuristics. At the same time, it aims to leverage classical reasoning engines to development of novel solutions for quantum circuit optimization, quantum circuit synthesis and formal verification of quantum circuits.

You will collaborate with Prof.Dr. Vedran Dunjko, chair of the aQa group, and Dr. Alfons Laarman, leading the System Verification Lab. Further, you are expected to work well in our culture of cross-group collaboration. No teaching duties are assigned to this position, but you are expected to help in assisting with the supervision of students.

The level of the position will be commensurate with your level of experience.

We offer:

• A four-year postdoc position, with an initial contract of one year;
• Freedom to implement your own research agenda, in connection with abovementioned topics;
• A large team of other Postdocs and PhDs, to collaborate with and co-supervise;
• An exciting research environment within the Quantum Delta NL hub Leiden;

Selection criteria:

• Ph.D. degree in Computer Science, Mathematics, or a related field;
• Good publication record in Quantum Computing, Formal Methods or related field;
• Able to work independently, in a team, and in a student (co-)supervisory role;
• An academic, creative, and open mindset;
• Good to excellent proficiency in English is required;

Research at our Faculty/Institute

The Leiden Faculty of Science is a world-class faculty where staff and students work together in a dynamic international environment. Our people are driven by curiosity to expand fundamental knowledge and to look beyond the borders of their own discipline.

The research carried out at the Faculty of Science is diverse, ranging from artificial intelligence, computer science, mathematics, astronomy, physics, chemistry, and bio-pharmaceutical sciences to biology and environmental sciences. The faculty has grown strongly in recent years and now has more than 1,300 staff and almost 4,000 students. We are located at the heart of one of Europe’s biggest science parks, where university and business life come together.

The Leiden Institute of Advanced Computer Science (LIACS) is the Artificial Intelligence and Computer Science Institute of the Faculty of Science of Leiden University. We offer courses at the Bachelor and Master of Science level in the core areas of Artificial Intelligence, Computer Science, and Data Science, and in the interdisciplinary areas of ICT in Business, Media Technology and Creative Science, and Bioinformatics. We are a highly international place to do research, and we strive for excellence in a caring institute, where excellence, fun, and inclusiveness go hand in hand. We offer a clear and inviting career path to young and talented scientists with the ambition to grow.

Terms and conditions

We offer a full-time position for initially one year. After a positive evaluation of the progress of the research and personal compatibility, the appointment can be extended further for one. The salary ranges, depending on qualifications and experience, from € 3.226,- to € 5.090,- gross per month (pay scale 10 in accordance with the Collective Labour Agreement for Dutch Universities).

Leiden University offers an attractive benefits package with additional holiday (8%) and end-of-year bonuses (8.3%), training, and career development. Our individual choices model gives you some freedom to assemble your own set of terms and conditions.

Diversity and inclusivity

Fostering an inclusive community is a central element of the values and vision of Leiden University. Leiden University is committed to becoming an inclusive community that enables all students and staff to feel valued and respected and to develop their full potential. Diversity in experiences and perspectivesenriches our teaching and strengthens our research. High-quality teaching and research are inclusive.