[Agda] Two postdocs in Type theory for mathematics and computer science

Ana Bove bove at chalmers.se
Wed Oct 5 12:59:16 CEST 2022

Dear All

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...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20221005/dea0a9cf/attachment.html>

More information about the Agda mailing list