[Agda] Postdoctor in Modal operations for homotopy type theory

[Ana Bove]

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