2 Apr 2024
Job Information
- Organisation/Company
Leiden University- Research Field
Physics- Researcher Profile
Recognised Researcher (R2)- Country
Netherlands- Application Deadline
30 Apr 2024 - 21:59 (UTC)- Type of Contract
Temporary- Job Status
Not Applicable- Is the job funded through the EU Research Framework Programme?
Not funded by an EU programme- Is the Job related to staff position within a Research Infrastructure?
No
Offer Description
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.
Requirements
Specific Requirements
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;
Additional Information
Benefits
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 perspectives enriches our teaching and strengthens our research. High-quality teaching and research are inclusive.
Selection process
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.
- 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).
Only applications received before April 30, 2024 can be considered.
Additional comments
Information
Inquiries can be made to Dr. Alfons Laarman: [email protected]
If you have questions about the procedure please contact Anne-Marie Alleblas, [email protected] .
- Website for additional job details
https://www.academictransfer.com/339709/
Work Location(s)
- Number of offers available
- 1
- Company/Institute
- Universiteit Leiden
- Country
- Netherlands
- City
- Leiden
- Postal Code
- 2311EZ
- Street
- Rapenburg 70
- Geofield
Where to apply
- Website
https://www.academictransfer.com/en/339709/postdoc-automated-reasoning-in-quant…
Contact
- City
Leiden- Website
http://www.universiteitleiden.nl/- Street
Rapenburg 70- Postal Code
2311 EZ
STATUS: EXPIRED
Similar Positions
-
Postdoc Automated Reasoning In Quantum Computing (0.8 1.0 Fte), AcademicTransfer, Netherlands, 28 days ago
Postdoc Automated Reasoning in Quantum Computing (0.8-1.0 FTE) Postdoc Automated Reasoning in Quantum Computing (0.8-1.0 FTE) Published Deadline Location today 30 Apr Leiden The Faculty of Science...
-
Postdoc Automated Reasoning In Quantum Computing (0.8 1.0 Fte), Leiden University, Netherlands, 1 day ago
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: Postdoc Automated Reasoning in Quantum Computing (0.8-1.0 FTE) The Faculty of Scie...
-
Postdoc Positions In Experimental Quantum Engineering Group , ETH Zurich, Switzerland, about 23 hours ago
100%, Zurich, fixed-term The Experimental Quantum Engineering (EQE) group at ETH Zurich and PSI seeks highly motivated postdoctoral researchers to work at the intersection of quantum optics and qu...
-
Postdoctoral Researcher In Supramolecular Chemistry, Leiden University, Netherlands, 1 day ago
Apply now The Faculty of Science Leiden and Leiden Institute of Chemistry are looking for a postdoctoral researcher in Supramolecular Chemistry Work and profile Applications are invited for a post...
-
Postdoc Computational Modeling For Drug Safety Prediction, Leiden University, Netherlands, 1 day ago
Apply now Postdoc Computational Modeling for Drug Safety Prediction Do you have a passion to understand how biological networks are influenced by chemicals or drugs? Are you an expert in the devel...
-
Postdoc In Multi Qubit Quantum Photonic Devices For The Quantum Internet Dtu Electro, Technical University of Denmark, Denmark, about 17 hours ago
Skip to main content. Profile Sign Out View More Jobs Postdoc in Multi-Qubit Quantum Photonic Devices for the Quantum Internet - DTU Electro Kgs. Lyngby, Denmark Job Description We are looking for...