post-doc positions at LRI : quantum computation, formal methods, numerical methods
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:


