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

[Aleks Kissinger]

(Apologies for the second posting. The first ad did not include the deadline.)


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). To apply, please send a CV and
short cover letter to <aleks at cs.ru.nl> by 5 October, 2018.


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

OR

- graphical calculi, the ZX-calculus, rewrite theory and/or
categorical quantum mechanics



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