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

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

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

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

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

  • 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

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

    2 weken geleden

    Leiden, Zuid-Holland, 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 descriptionThe field of pharmacometrics is focused on the development and application...

  • PhD candidate in Statistics and Pharmacometrics

    4 weken geleden

    Leiden, Zuid-Holland, 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 descriptionThe field of pharmacometrics is focused on the development and application...

  • Phd Candidate in Economics

    2 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    Vacaturenr.14830Functie-categorieOmvang (fte)0,8-1,0Extern/internExternLocatieLeidenGeplaatst op30 april 2024Sluitingsdatum31 mei 2024The Department of Economics of Leiden Law School at Leiden University has a vacancy for a:Vacancy Number: 14830Research Project: The Role of Professionals in Public Policy and the Effects on Socioeconomic...

  • 2 PhD Candidates, Reinforcement Learning for Sustainable Energy

    1 maand geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    These positions are embedded in the Reinforcement Learning Lab for Sustainable Energy, a cooperation between Leiden University and an industrial partner. The global energy transition is one of the key challenges that our world faces. At the same time, reinforcement learning is a key technology in artificial intelligence and machine learning that set various...

  • 2 PhD Candidates, Reinforcement Learning for Sustainable Energy

    2 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    These positions are embedded in the Reinforcement Learning Lab for Sustainable Energy, a cooperation between Leiden University and an industrial partner. The global energy transition is one of the key challenges that our world faces. At the same time, reinforcement learning is a key technology in artificial intelligence and machine learning that set various...

  • 2 PhD Candidates, Reinforcement Learning for Sustainable Energy

    4 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    These positions are embedded in the Reinforcement Learning Lab for Sustainable Energy, a cooperation between Leiden University and an industrial partner. The global energy transition is one of the key challenges that our world faces. At the same time, reinforcement learning is a key technology in artificial intelligence and machine learning that set various...

  • PhD Access to Medicine

    2 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    Do you want to be part of a dynamic team working on legal research to improve children's access to medicine in Africa?The Child Law & Health Law Department of the Institute for Private Law at Leiden Law School is looking for a dedicated individual to join as a Doctorate in Law (PhD) focusing on The Child's Right to Access Medicine under International Human...

  • Phd Candidate in Developmental Psychology

    2 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    Vacaturenr.14907Functie-categorieOmvang (fte)1,0Extern/internExternLocatieLeidenGeplaatst op4 juni 2024Sluitingsdatum20 juni 2024Are you curious about the impact of the online world on adolescents? Project SMART (Social media, Misinformation, Adolescence, Risk Taking) seeks a motivated and enthusiastic PhD student to develop innovative, multi-method...

  • PhD candidate in Neuroscience of the Tax Profession

    2 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    PhD candidate in Neuroscience of the Tax Profession (1.0 FTE) Vacancy number: 14926 The Department of Tax Law of Leiden Law School at Leiden University, in collaboration with the Psychology Institute, has a vacancy for a PhD Candidate (1.0 fte) Are you interested in the neural processes that support corporate tax avoidance by professionals? Are you a...

  • Phd Candidate in Neuroscience of The Tax Profession

    2 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    Vacaturenr.14926Functie-categorieOmvang (fte)0,8-1,0Extern/internExternLocatieLeidenGeplaatst op4 juni 2024Sluitingsdatum24 juni 2024Vacancy number: 14926What you will do Conducting a literature review Designing and conducting experiments for multiple methods such as fMRI and eyetracking. Analyzing data (survey, eyetracking, as well as fMRI data) Writing...

  • PhD candidate in Developmental Psychology

    2 weken geleden

    Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    Key responsibilities : Designing and carrying out questionnaire and lab experiments Recruiting participants and collecting data (participant age range 13-25 years old) Performing data analyses, such as latent variable analysis, network modelling and computational modelling of behavioural data Report results in scientific articles in international...