[Agda] Postdoctor in Modal operations for homotopy type theory

Ana Bove bove at chalmers.se
Thu Dec 9 12:59:24 CET 2021


Hey!

We have a 2-year postdoc position on Modal operations for homotopy type 
theory to work with Prof. Thierry Coquand at the University of Gothenburg.

The candidate needs to be knowledgable on topos theory, geometric logic, 
and internal language of sheaf models, and have experience with proof 
assistants (if possible Agda).

More information on the position and on how to apply can be found at

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

Best

-- 
-- Ana Bove, Docent
email: bove(at)chalmers.se
Phone: (46)(31)7721020
http://www.cse.chalmers.se/~bove
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg



More information about the Agda mailing list