Interruptor Background 02

Postdoc Automated Reasoning in Quantum Computing

Leiden University

Apply for this job

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;

How to apply

Contact a.w.laarman@liacs.leidenuniv.nl.

Leiden University

Schubertlaan
2324CS Leiden, -Select-, Niederlande

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;
2024-05-02
Computing
Leiden University
https://aqa.liacs.nl/
Schubertlaan
Leiden
-Select-
2324CS
NL
Interruptor Background

Want to share your own job opportunity?