Phd in Formal Methods for Quantum Compilation

2 weken geleden

Leiden, Nederland Universiteit Leiden Voltijd

Vacaturenr.

14900

Functie-categorie

Omvang (fte)

1,0

Extern/intern

Extern

Locatie

Leiden

Geplaatst op

28 mei 2024

Sluitingsdatum

1 juli 2024

**PhD in Formal Methods for Quantum Compilation (1.0 FTE)**

We are looking for individuals with an excellent academic record interested in the development and implementation of new classical data structures for quantum computing (decision diagrams, tensor networks, ZX-diagrams, etc). The project focuses on the development of novel solutions for quantum circuit optimization, simulation and formal verification of quantum circuits using the aforementioned data structures.
In this position you will be employed by Leiden University, but your time will be equally divided between the Leiden Institute of Advanced Computer Science (LIACS) and the Amsterdam-based quantum research center QuSoft. You will be jointly supervised by Dr. Alfons Laarman and Dr. John van de Wetering.

**Key responsibilities**
- Conducting research in the field of formal methods and quantum computing under the joint supervision of Dr. Alfons Laarman and Dr. John van de Wetering;
- Design and implementation of quantum circuit compilation methods, including, but not limited to, simulation, verification, synthesis and optimization;
**Selection Criteria**
- Master degree in mathematics, computer science or a closely related field;
- Strong interest and demonstratable expertise in formal methods and/or quantum computing;
- Affinity with the field of satisfiability and knowledge compilation is preferred;
- Good programming skills in C/C++ or Java;
- Proficient in spoken and written English;
- An independent and creative team player with good communicative skills;
- Able to work independently in a multidisciplinary environment;
- Team spirit/collaboration attitude is strongly preferred.

**Research in Leiden**
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.

**QuSoft**

**Terms and conditions**
We offer a full-time appointment of initially one year. After a positive evaluation of the progress of the research, teaching evaluations, personal capabilities and compatibility, the appointment will be extended for another three years. Salary ranges from € 2.770;
- to € 3.539;

**Diversity and work-life balance**

**Information**

**Applications

  • Phd in Formal Methods for Quantum Compilation

    2 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    Vacancy number14900Job typePhD positionsHours (in fte)1,0External/ internalExternalLocationLeidenPlaced on28 May 2024Closing date1 July more days to applyPhD in Formal Methods for Quantum Compilation (1.0 FTE)We are looking for individuals with an excellent academic record interested in the development and implementation of new classical data structures for...

  • Phd in Formal Methods for Quantum Compilation

    2 weken geleden

    Leiden, Nederland Universiteit Leiden Voltijd

    Vacancy number 14900 Job type PhD positions Hours (in fte) 1,0 External/ internal External Location Leiden Placed on 28 May 2024 Closing date 1 July 2024 34 more days to apply **PhD in Formal Methods for Quantum Compilation (1.0 FTE)** We are looking for individuals with an excellent academic record interested in the development and...

  • PhD in Formal Methods for Quantum Compilation

    6 dagen geleden

    Leiden, Nederland Universiteit Leiden Voltijd

    The Faculty of Science, Leiden Institute of Advanced Computer Science, is looking for candidates for a: PhD in Formal Methods for Quantum Compilation (1.0 FTE) We are looking for individuals with an excellent academic record interested in the development and implementation of new classical data structures for quantum computing (decision diagrams, tensor...

  • PhD in Formal Methods for Quantum Compilation

    5 dagen geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    The Faculty of Science, Leiden Institute of Advanced Computer Science, is looking for candidates for a:PhD in Formal Methods for Quantum Compilation (1.0 FTE)We are looking for individuals with an excellent academic record interested in the development and implementation of new classical data structures for quantum computing (decision diagrams, tensor...

  • PhD in Formal Methods for Quantum Compilation

    2 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    Key responsibilities Conducting research in the field of formal methods and quantum computing under the joint supervision of Dr. Alfons Laarman and Dr. John van de Wetering; Design and implementation of quantum circuit compilation methods, including, but not limited to, simulation, verification, synthesis and optimization; Selection Criteria Master...

  • PhD in Formal Methods for Quantum Compilation

    1 maand geleden

    Leiden, Nederland Universiteit Leiden Voltijd

    Key responsibilities Conducting research in the field of formal methods and quantum computing under the joint supervision of Dr. Alfons Laarman and Dr. John van de Wetering; Design and implementation of quantum circuit compilation methods, including, but not limited to, simulation, verification, synthesis and optimization; Selection Criteria ...

  • Postdoc Automated Reasoning in Quantum Computing

    4 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    The Faculty of Science, Leiden Institute of Advanced Computer Science (LIACS), is looking for candidates for a Postdoctoral Researcher 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...

  • Assistant Professor in Machine Learning for Quantum Systems

    2 weken geleden

    Leiden, Nederland Universiteit Leiden Voltijd

    The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for: Assistant Professor in Machine Learning for Quantum Systems (0.8-1.0 fte) The applied quantum algorithms (aQa) group at Leiden Institute of Advanced Computer Science (LIACS) is seeking candidates for an Assistant Professor (0.8-1.0 FTE) position,...

  • Assistant Professor in Machine Learning for Quantum

    3 weken geleden

    Leiden, Nederland Universiteit Leiden Voltijd

    Vacaturenr. 14950 Functie-categorie Omvang (fte) 0,8-1,0 Extern/intern Extern Locatie Leiden Geplaatst op 18 juni 2024 Sluitingsdatum 25 juni 2024 The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for: **Assistant Professor in Machine Learning for Quantum Systems (0.8-1.0 fte)** **Key...

  • Assistant Professor in Machine Learning for Quantum

    3 weken geleden

    Leiden, Nederland Universiteit Leiden Voltijd

    Vacancy number 14950 Job type Academic staff Hours (in fte) 0,8-1,0 External/ internal External Location Leiden Placed on 18 June 2024 Closing date 25 June 2024 7 more days to apply The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for: **Assistant Professor in Machine Learning for Quantum Systems...

  • Assistant Professor in Theoretical Quantum Matter

    3 weken geleden

    Leiden, Nederland Universiteit Leiden Voltijd

    Vacaturenr. 14885 Functie-categorie Omvang (fte) 1,0 Extern/intern Extern Locatie Leiden Geplaatst op 21 mei 2024 Sluitingsdatum 5 juni 2024 **Assistant professor in Theoretical Quantum Matter, tenure track (1.0 fte)** **Vacancy number 14885** **Selection criteria** - Ph.D. in physics or closely related area and research experience at the...

  • Assistant Professor in Theoretical Quantum Matter

    3 weken geleden

    Leiden, Nederland Universiteit Leiden Voltijd

    Vacancy number 14885 Job type Academic staff Hours (in fte) 1,0 External/ internal External Location Leiden Placed on 21 May 2024 Closing date 5 June 2024 15 more days to apply **Assistant professor in Theoretical Quantum Matter, tenure track (1.0 fte)** **Vacancy number 14885** **Selection criteria** - Ph.D. in physics or closely related area...

  • Assistant Professor in Machine Learning for Quantum

    2 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    Vacancy number14950Job typeAcademic staffHours (in fte)0,8-1,0External/ internalExternalLocationLeidenPlaced on18 June 2024Closing date25 June more days to applyThe Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for:Assistant Professor in Machine Learning for Quantum Systems fte)Key Responsabilities Conducting...

  • Assistant Professor in Theoretical Quantum Matter

    2 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    Vacaturenr.14885Functie-categorieOmvang (fte)1,0Extern/internExternLocatieLeidenGeplaatst op21 mei 2024Sluitingsdatum5 juni 2024Assistant professor in Theoretical Quantum Matter, tenure track (1.0 fte)Vacancy number 14885Selection criteria Ph.D. in physics or closely related area and research experience at the postdoctoral level A publication record that...

  • Assistant professor in Theoretical Quantum Matter, tenure track

    1 maand geleden

    Leiden, Nederland Universiteit Leiden Voltijd

    Key responsibilities of the successful candidate Establishing an independent, internationally recognized research group in Theoretical Quantum Matter Physics and publications in leading scientific journals; Acquisition of external funds through research grants; Teaching at the undergraduate and graduate level in physics; Supervision of BSc and MSc...

  • 2 Phd Candidates, Reinforcement Learning for

    2 weken geleden

    Leiden, Nederland Universiteit Leiden Voltijd

    Vacancy number 14820 Job type PhD positions Hours (in fte) 1,0 External/ internal External Location Leiden Placed on 30 April 2024 Closing date 31 May 2024 31 more days to apply **The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for**: These positions are embedded in the Reinforcement Learning Lab...

  • 2 Phd Candidates, Reinforcement Learning for

    2 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    Vacancy number14820Job typePhD positionsHours (in fte)1,0External/ internalExternalLocationLeidenPlaced on30 April 2024Closing date31 May more days to applyThe Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for:These positions are embedded in the Reinforcement Learning Lab for Sustainable Energy, a cooperation...

  • PhD candidate

    4 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    A substantial part of biodiversity is situated within private spheres of homes and this is also the biodiversity that most intimately affects humans: for example, backyard meadows can be essential for the survival of many insects in urban spaces, whereas insects in the kitchen are commonly considered as unwanted guests. Whereas urban ecology or urban...

  • PhD candidate in Statistics and Pharmacometrics

    4 weken geleden

    Leiden, Nederland Universiteit Leiden Voltijd

    We are looking for a motivated PhD candidate to join our division Systems Pharmacology and Pharmacy, LACDR at Leiden University. The successful PhD applicant will perform innovative research in the field of statistics within pharmacometrics and systems pharmacology. Project description The field of pharmacometrics is focused on the development and...

  • Phd Candidate in Developmental Psychology

    4 weken geleden

    Leiden, Nederland Universiteit Leiden Voltijd

    Vacancy number 14907 Job type PhD positions Hours (in fte) 1,0 External/ internal External Location Leiden Placed on 4 June 2024 Closing date 20 June 2024 16 more days to apply Are you curious about the impact of the online world on adolescents? Project SMART (Social media, Misinformation, Adolescence, Risk Taking) seeks a motivated and...