[TYPES/announce] Postdoctoral position on effects and/or type theory at Inria in Nantes

[Guillaume Munch-Maccagnoni]

Dear all,


We are pleased to announce the availability of a postdoctoral position
on effects and/or type theory in the Inria team Gallinette, in Nantes.

Gallinette is a new Inria team dedicated to the advancement of proof
assistants with an emphasis on mathematical foundations. It is led by
Nicolas Tabareau and hosted by the new Laboratory of Digital Sciences
of Nantes (LS2N). Nantes is a lively and affordable city in Brittany,
not far from the shores of the Atlantic.

We are interested in foundations and applications of proof assistants
and certified programming, especially type theory, the theory of
effects, and their interaction. Relevant topics and experience
include, but is not limited to:

* Homotopy type theory
* Developments in Coq, Agda, Lean, F* or Idris
* Development of (part of) a proof assistant or a programming language
* Semantics of effects and resources
* Rewriting
* Proof theory
* Logical relations and realizability

We are opening a postdoctoral position for 1 year (deadline for
applications: September 15th, job starting between October and March
2018). The successful applicant will join the Inria team Gallinette
and the ERC project CoqHoTT <http://coqhott.gforge.inria.fr/>. The
salary and benefits are the standard Inria conditions.

We are looking for excellent researchers with a strong expertise in
one or several relevant topics. Candidates should hold a PhD in
computer science or a closely related field (or be close to complete
their PhD). The new collaborator is expected to participate in the
life of the lab and interact with members of the team including PhD
students and other postdocs.

If you are interested in joining the Gallinette team and have informal
inquiries, please contact either of us at <Nicolas.Tabareau at Inria.fr>
or <Guillaume.Munch-Maccagnoni at Inria.fr> as soon as possible.
Applications should be sent to either of us by September 15th and must
contain a CV, a research statement, and a list of references.


Sincerely,
Guillaume Munch-Maccagnoni
Nicolas Tabareau