[Agda] Post Doctoral Position in Formalization of Mathematics
Thierry Coquand
coquand at chalmers.se
Mon Sep 20 13:21:57 CEST 2010
We seek PhDs with a strong interest in functional programming,
type theory and formal representation of proofs in type theory.
This position is within a Strep Open, 7th framework, which involves, as other sites,INRIA, INRIA-microsoft, Nijmegen and La Roja, see
http://wiki.portal.chalmers.se/cse/pmwiki.php/ForMath/ForMath
One main part of this work will be to explore the feasibility of representing simple mathematical algorithms (in linear algebra and algebraic topology) using the ssreflect extension of type theory developed in the Mathematical Components project.
For more information, see
http://ledig-anstallning.adm.gu.se/detail.php?lt_id=6465
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20100920/f802080f/attachment.html
More information about the Agda
mailing list