PhD in Formal Methods for Quantum Compilation

3 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 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.

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 Leiden’s Bio Science Park, 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 also in the interdisciplinary areas of ICT in Business, Media Technology and Creative science, and Bioinformatics. According to an independent research visitation, we are one of the foremost computer science departments of the Netherlands. Our people and our focus on collaboration in a caring atmosphere are dear to us. 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.

QuSoft

The research hub QuSoft is a collaboration between the University of Amsterdam and the Dutch Centre for Mathematics and Computer Science (CWI). QuSoft’s mission is to develop new protocols, algorithms and applications that can be run on small to full-scale prototypes of a quantum computer. QuSoft has over 30 full-time faculty members dedicated to world-class research in quantum computing and quantum information. The centre is a front-runner in the development of quantum algorithms. Despite this desire for excellence, QuSoft offers a collegiate atmosphere, where knowledge and experience are freely shared in seminars or over intense games of foosball.

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,- gross per month (pay scale P 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. Candidates from outside the Netherlands may be eligible for a substantial tax break. All our PhD students are embedded in the Leiden University Graduate School of Science. Our graduate school offers several PhD training courses at three levels: professional courses, skills training and personal effectiveness. In addition, advanced courses to deepen scientific knowledge are offered by the research school. Teaching PhD have the possibility of obtaining the (partial) University Teaching Qualification (UTQ).

Diversity and work-life balance

Leiden University is strongly committed to diversity within its community and especially welcomes applications from members of underrepresented groups. LIACS is a highly diverse institute, in culture, background, and gender. We stand for excellence in a caring Institute. We wish to reflect society in all aspects, as we believe that this improves the dynamics in our organization. Therefore, we support and understand the need for a work/life/family balance and consequent varying working hours and places. We believe that doing good science is fun and goes hand in hand with a friendly culture. In the Netherlands, a maternity allowance is standard for 16 weeks. Childcare is available at and near the Bio Science Park.

  • 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

    1 week 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

    1 week 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...

  • PhD in Formal Methods for Quantum Compilation

    3 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 ...

  • PhD in Formal Methods for Quantum Compilation

    4 weken 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

    2 maanden 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...

  • 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

    1 week 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

    2 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

    2 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

    2 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

    2 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...

  • Assistant professor in Theoretical Quantum Matter, tenure track

    4 weken 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

    1 week 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...