[Agda] Two postdocs in Type theory for mathematics and computer science
bove at chalmers.se
Wed Oct 5 12:59:16 CEST 2022
The logic and types group at Chalmers and Gothenburg university is now
recruiting two postdocs to work on type theory for mathematics and
computers science together with Prof. Thierry Coquand and others in the
The project is about the study of dependent type theory extended with
univalence and higher inductive types. It can range from theoretical
studies of models to actual formalisations of mathematics in a proof
system (such as Agda), or working on design of proof assistants
incorporating the advances brought by the connections with homotopy theory.
Please consider applying for the position and help distributing this
information to people you think could be interested.
_Deadline for application: October 26th 2022._
For more information please visit
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda