[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The University of Edinburgh is looking to recruit three full-time postdoctoral
researchers to work on the project “Rubber DUQ: flexible Dynamic Universal
Quantum programming” with Dr. Chris Heunen.
Duration: 3 years
Salary: £37,099 - £44,263
Start: 1 December 2023 or soon thereafter
Deadline: 25 September 2023
Apply here:
https://urldefense.com/v3/__https://elxw.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/8352__;!!IBzWLUs!Vlf2w6B5OaNTGo6RSvIERZykbIHNPTNQZ8KoFaaBsYdB4Wff3Qx7yQxU4J5zFap-HIYSyZpjF7fx9dyDc9K2GDxOdVROjXhX6VPyQQ$
and here:
https://urldefense.com/v3/__https://elxw.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/8354__;!!IBzWLUs!Vlf2w6B5OaNTGo6RSvIERZykbIHNPTNQZ8KoFaaBsYdB4Wff3Qx7yQxU4J5zFap-HIYSyZpjF7fx9dyDc9K2GDxOdVROjXgOdi2GPA$
Ideally you'll have a doctoral degree in Computer Science, Mathematics, or
Physics, and experience in quantum computing, programming languages, and/or
category theory, with a strong mathematical background. We make allowances to
welcome working with anyone, and especially encourage you to apply if you're a
member of an underrepresented group.
The project aims to prototype a quantum programming language based on
categorical universal properties such as quantum information effects, implement
a compiler, and quantify its robustness, and develop automated strategies to
trade off resilience to noise against speed or accuracy. There are both
theoretical components, involving research into category theory and quantum
information theory, and practical components, involving implementation and case
studies. You will work with at least two other postdoctoral researchers and
several PhD students on this project. You will be part of a larger team in
Quantum Informatics, and be part of the NQCC Quantum Software Lab.
The positions are funded by EPSRC. For more information, get in touch with
<[email protected]>.
The University of Edinburgh is a charitable body, registered in Scotland, with
registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh
Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.
