[TYPES/announce] Postdoc vacancy in **Quantum Circuit Optimisation and Graphical Calculus** at Radboud University, Nijmegen

[Aleks Kissinger]

Dear colleagues,

I would like to advertise a postdoc vacancy in the Institute for
Computing and Information Sciences at Radboud University in Nijmegen
on the topic of:

** Quantum Circuit Optimisation and Graphical Calculus **

This is a one-year position, with a possible extension to 2 years
(conditional on available funding). The research will entail applying
graphical techniques (notably string diagrams, tensor networks, and
the ZX-calculus / related graphical calculi) to quantum circuits for
the sake of gate count minimisation, routing of multi-qubit
operations, and fault-tolerance. This project consists both of
theoretical work and implementation in relevant software tools, e.g.
Quantomatic and PyZX.

Candidates should have (or will shortly obtain) a PhD degree, and
should have experience in at least one of the following areas:

- quantum computation, especially circuit optimisation or quantum
error correction
- graphical calculi, the ZX-calculus, rewrite theory and/or
categorical quantum mechanics

To apply, please send a CV and short cover letter to <aleks at cs.ru.nl>.
Start dates are flexible, but ideally a candidate should be willing to
begin no later than January 2019. The accepted candidate will be
classified as a Postdoctoral Researcher, Level 4 in the Dutch
university job-ranking system (UFO), with a gross salary of 3173-4033
EUR per month, depending on years of experience since PhD.


Best,

Aleks Kissinger

Assistant Professor
iCIS, Radboud University
aleks at cs.ru.nl