[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

 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


 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 

  For more information, see


Reply via email to