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

[Ana Bove]

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 
group.

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

https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=27429

Thanks!

-- 
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
http://www.cse.chalmers.se/~bove
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>