(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@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@cs.ru.nl [For admin and other information see: http://www.mta.ca/~cat-dist/ ]