[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for cross-posting]
We are seeking candidates for one-year post-doc and research engineer
positions in the context of two French-funded projects: Quantex,
funded by BPI/GDN, and SofQPro, funded by ANR. The contact points at
LRI (https://www.lri.fr/index_en.php?lang=EN) are Benoit Valiron
(formal methods and quantum computation) and Marc Baboulin (numerical
linear algebra and high-performance computing).
Both projects are concerned with quantum software and quantum
simulation. They cover a relatively broad spectrum of subjects,
ranging from formal methods and language design to numerical methods
applied to quantum circuit synthesis.
- SoftQPro is concerned with the development of a quantum compilation
toolchain, consisting of
+ a formal high-level language akin to Quipper or ProtoQuipper.
+ the ZX calculus as an intermediate language.
+ a set of analysis and optimization tools, both for the high-level
and the intermediate language.
+ backends: emulation plateforms, measurement-based model of
computation, lattice surgery.
- Quantex is concerned with quantum computation as a useable
technology. In particular, on top of a high-level language such as
Quipper it aims at developing and implementing
+ standard libraries for coding quantum algorithms
+ circuit synthesis techniques
+ use-cases of both academic and industrial interest
+ a testing plateform using emulation techniques,
Several partners are involved in these two projects, including the
company Atos/Bull, the lab LORIA, the lab LRI, the lab CEA-LIST.
* Topics and requirements for applicants
We are looking for young researchers who can contribute to the
research topics of the projects SoftQPro and Quantex. Candidates
should hold a PhD in computer science or a closely related field (or
be close to complete their PhD) with at least two skills among
- Quantum computation, model and quantum algorithms
- Linear algebra and numerical methods
- Formal methods and logical systems
* Dates and Timeline
Informal enquiries: as soon as possible
Application deadlines: Sep 15th, but applications shall be considered
until all positions have been fulfilled.
Starting date: from October 2018 onwards
End of funding: December 2020
* Application submission guidelines
Applications should be sent to both
- Benoit Valiron <benoit.vali...@lri.fr>
- Marc Baboulin <marc.babou...@lri.fr>
in an email entitled "Quantex/SoftQPro postdoc application", providing:
- a detailed CV with a publication list,
- a research statement of about one page explaining how you think you
can contribute to the project(s).
- and one or two recommendation letters.
Potential candidates are strongly encouraged to contact for informal
enquiries as soon as the announcement is released, and at least when
*starting* preparing their application (for info on topics such as
starting dates, connections with project sites, salary...).
