[Agda] 4 PhD positions in Formalization of Mathematics in Type Theory

[Thierry Coquand]

 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