[TYPES/announce] post-doc positions at LRI : quantum computation, formal methods, numerical methods

[benoit at monoidal.net]

We are seeking candidates for possibly renewable one-year post-docs
and research engineers on a relatively broad spectrum of subjects
related to quantum computation. We are looking for candidate with
expertise ranging from formal methods, language design and semantics
to numerical methods applied to quantum circuit synthesis and
emulation of quantum computation. A (non-exhaustive) list of keywords:

 * quantum programming
 * proof of programs and formal methods
 * semantics of quantum computation and quantum programming 
 * analysis of quantum algorithms
 * synthesis of quantum circuits
 * emulation of quantum computation

The contact points are Benoit Valiron (formal methods and quantum
computation) and Marc Baboulin (numerical linear algebra and
high-performance computing).

Candidates should hold a PhD in computer science or a closely related
field (or be close to complete their PhD). Applications should be sent
to both

 - Benoit Valiron <Benoit.Valiron at lri.fr>
 - Marc Baboulin <Marc.Baboulin at lri.fr>

in an email entitled "Quantex/SoftQPro postdoc/engineer application",
providing:

- a detailed CV with a publication list,

- a research statement of about one page explaining what you aim at doing

- and one or two recommendation letters.

Potential candidates are encouraged to contact for informal enquiries,
for info on topics such as starting dates, connections with project
sites, salary...

The call is open until the positions are fulfilled.