- 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;
- 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;
- A short cover letter (1 page) detailing your motivation to apply for the position,
- A brief description of your research plan,
- A full CV including a list of publications, eventual grant acquisition and community services, and a link to your Google Scholar page,
- Links to key publications and Ph.D. thesis when appropriate,
- The names and addresses of at least two persons that can be contacted for reference (who have agreed to be contacted).
-
Postdoc Automated Reasoning in Quantum Computing
1 week geleden
Universiteit Leiden Leiden, Nederland VoltijdThe 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 us ...
-
Quantum Production Technician
4 dagen geleden
Cubiq Delft, Nederland**Quantum Production Technician - Quantum Leap into Your Future** · **£Competitive** · **Delft, South Holland, Netherlands** · Are you ready to be part of the future today? We're not just talking about any job - we're talking about the frontier of quantum technology · - As a Quan ...
-
Digital Innovation Transformer
17 uur geleden
GLO Integration Amsterdam Zuid, NederlandNeem het voortouw in baanbrekende innovatie en geef vorm aan de toekomst van technologie. Bij Deloitte. · What impact will you make? · Als Digital Innovation Transformer krijg je de kans om een substantiële impact te hebben door opkomende technologieën te introduceren en te integ ...
-
Digital Innovation Transformator
17 uur geleden
GLO Integration Amsterdam Zuid, NederlandNeem het voortouw in baanbrekende innovatie en geef vorm aan de toekomst van technologie. Bij Deloitte. · What impact will you make? · Als Digital Innovation Transformator krijg je de kans om een substantiële impact te hebben door opkomende technologieën te introduceren en te int ...
-
PhD Position in Quantum Networks
6 dagen geleden
TU Delft Delft, NederlandJob description · The vision of a Quantum Internet is to provide fundamentally new internet technology by enabling quantum communication between any two points on earth. Such a Quantum Internet will – in synergy with the 'classical' Internet that we have today - connect quantum p ...
-
Head of Finance
1 week geleden
Quantware Delft, NederlandQuantWare is looking to expand our team with a skilled and motivated Head of Finance. · What are you going to do? · As Head of Finance at QuantWare, you will play a key role in ensuring the financial health and integrity of our organisation. Reporting directly to the CFO, your p ...
-
Senior Design Engineer
6 dagen geleden
Independent Recruiters Delft, NederlandDo you have a strong interest in quantum computing and want to work for a growing company? A fast-developing organization is looking for a Senior Design Engineer who can contribute to the advancement of our quantum processors. Your major duty as a senior engineer is to help chart ...
-
RF Systems Architect
1 week geleden
IC Resources Delft, Nederland VoltijdWe are working with an industry leader in quantum technology and they are currently on the lookout for a forward-thinking RF Systems Architect to shape the future of control stacks for cutting-edge quantum computers and networks. This is your chance to play a pivotal role in craf ...
-
Quantum Test Engineer
1 week geleden
IC Resources Delft, Nederland VoltijdAn opportunity has become available for a Quantum Test Engineer to join a growing quantum computing company based in Delft. · As a Quantum Test Engineer you will have a number of responsibilities that include;Define test strategies · Test automation + development · Design and bui ...
-
Embedded Software Engineer
1 week geleden
IC Resources Delft, NederlandAn Embedded Software Engineer is sought by this leading development organisation to be based at their R+D Centre in Delft. The Embedded Software Engineer will be responsible for building a new quantum control stack under embedded Linux and at MCU level. Working closely with the d ...
-
Validation Engineer
1 week geleden
IC Resources Delft, Nederland VoltijdAn opportunity has become available for a Validation Engineer to join a growing quantum computing company based in Delft. · As a Validation Engineer you will have a number of responsibilities that include;Validate RF, mmWave and quantum components/devices · Create, maintain and i ...
-
Validation Engineer
5 dagen geleden
IC Resources Delft, Nederland VoltijdAn opportunity has become available for a Validation Engineer to join a growing quantum computing company based in Delft. · As a Validation Engineer you will have a number of responsibilities that include;Validate RF, mmWave and quantum components/devices · Create, maintain and i ...
-
Head of Sales
2 weken geleden
IC Resources Delft, NederlandSales Director required for a leading provider of quantum computing solutions. · You will be responsible for spearheading the execution of the sales strategy, driving revenue growth through effective sales enablement strategies, and ensuring unparalleled customer satisfaction. ...
-
Software Engineer
5 dagen geleden
QuTech Delft, NederlandJoin QuTech and support our organization in achieving our mission: developing cutting-edge quantum technology. · What will you do? · Quantum is the future, and The Netherlands occupies a unique position of expertise in quantum technology, with QuTech at its core. Come work as a ...
-
RF Systems Architect
5 dagen geleden
IC Resources Delft, Nederland VoltijdIC Resources is working with an industry leader in quantum technology who is looking for an RF Systems Architect to join their team on a contract basis.On-site 5 days a week · Netherlands based client · 3-6 month contract with possible extension · Highly competitive pay · Require ...
-
PhD Position in Quantum Networks
6 dagen geleden
Delft University of Technology Delft, Nederland VoltijdJob description · The vision of a Quantum Internet is to provide fundamentally new internet technology by enabling quantum communication between any two points on earth. Such a Quantum Internet will – in synergy with the 'classical' Internet that we have today - connect quantum p ...
-
Head of Engineering
1 week geleden
Arcus Search NederlandSummary Our client at the forefront of the quantum revolution, delivering advanced technologies that are essential for building Quantum Computers. This rapidly growing field has the potential to impact society on a global scale. With a dedicated team of scientists, engineers, and ...
-
Senior Quantum Design Engineer
1 week geleden
Quantware NederlandAs a Quantum Design Engineer, your primary responsibility is to aid in setting the course for our next generation of quantum processors by inventing, designing and simulating advanced quantum components. These quantum processors will be utilised by our customers for cutting-edge ...
-
Quantum Test Engineer
1 week geleden
IC Resources Delft, Nederland VoltijdAn opportunity has become available for a Quantum TestEngineer to join a growing quantum computing company based in Delft. As a Quantum TestEngineeryou will have a number of responsibilities that include;Define test strategiesTest automation + developmentDesign and build test set ...
-
Strategic Advisor CISO
3 dagen geleden
KPN Amsterdam, NederlandAls Strategie- en Beleidsadviseur bepaal jij wat het beveiligingsbeleid van KPN is voor jouw technische specialisatie, bijvoorbeeld mobiel, encryptie of quantum computing. · Als specialist geef je inhoudelijk advies over hoe het beleid geïnterpreteerd moet worden. Dit kunnen simp ...
Postdoc Automated Reasoning in Quantum Computing - Leiden, Nederland - Universiteit Leiden
Beschrijving
The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a:
Postdoc Automated Reasoning in Quantum Computing FTE)
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 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:
Selection criteria:
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.
Application
Please submit online your application via the blue button in the vacancy. Please ensure that you upload the following additional documents quoting the vacancy number.
Only applications received before April 30, 2024 can be considered.