The Coq mailing list

[Thierry Coquand <coquand AT chalmers.se>]

 4 PhD positions in Formalization of Mathematics in Type Theory

 We are looking for students with a strong interest in functional programming
and mathematics for two projects in formalization of mathematics in type 
theory.
Among the theme of research are:  constructive representation of
algebraic numbers (in particular applied to computations on algebraic curves),
homological algebra, category theory in type theory, as well as metatheory of 
types systems.

 Three positions are funded by an ERC Advanced Grant from the European Union.
One position is within a Strep Open, 7th framework, which involves, as other 
sites,
INRIA, INRIA-microsoft, Nijmegen and La Roja.

 The monthly salary is around 2350 euros.

 For more informations see
http://www.gu.se/omuniversitetet/ledigaanstallningar