*Posted on July 3, 2020.*

The research groups of Francesco Buscemi, Jacques Garrigue, Akinori Kawachi, François Le Gall, Tomoyuki Morimae and Harumichi Nishimura are looking for several postdoctoral researchers to work on quantum computing, especially on the following subjects:

- quantum algorithms,
- quantum complexity theory,
- theoretical aspects of quantum programming languages,
- development of software verification tools for quantum programs,
- quantum information theory.

Interested candidates can apply by sending a CV (including a list of publications) to the contact address below.

Applications by researchers from other areas of theoretical computer science (e.g., researchers working on classical algorithms, classical computational complexity, or classical formal verification) are also very much welcome.

For applying and for more information please contact:

François Le Gall

Associate Professor

Graduate School of Mathematics

Nagoya University, Japan

legall@math.nagoya-u.ac.jp

Please use "QLEAP postdoc position" as the title of your email.