Postdoc Automated Reasoning in Quantum Computing (0.8-1.0 FTE)
Offer DescriptionThe 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.RequirementsSpecific RequirementsWe offer:
Selection criteria:
Additional InformationBenefitsResearch at our Faculty/InstituteThe 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 Only applications received before April 30, 2024 can be considered.Additional commentsInformation
Inquiries can be made to Dr. Alfons Laarman:
If you have questions about the procedure please contact Anne-Marie Alleblas, . Website for additional job detailsWork Location(s)Number of offers available 1 Company/Institute Universiteit Leiden Country Netherlands City Leiden Postal Code 2311EZ Street Rapenburg 70 GeofieldWhere to apply WebsiteContact CityLeiden WebsiteStreetRapenburg 70 Postal Code2311 EZSTATUS: EXPIRED
€3226 per month
Leiden, Zuid-Holland
Wed, 03 Apr 2024 23:31:42 GMT
To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesineu.com) you saw this job posting.
Job title: CDI - IT Business Analyst Retail H/F Company: Groupe Rocher Job description Entreprise…
Job title: Head of CFO Insights & Analytics Company: Lego Job description Job DescriptionAre you…
Job title: PhD position on regional variation of Frisian (1.0 FTE) Company: Job description In…
Job title: Senior Technician (Advance Laser Machining and Manufacturing) Company: University of Manchester Job description…
Job title: Project Manager Hydro Company: GreenTalent Job description Greentalent, recruiter specializzato nella ricerca e…
Job title: ABOGADO/A 100% TELETRABAJO (CON CERT. DISCAPACIDAD) Company: Job description Descripción :Vivofácil (antes Alares)…