[Agda] Postdoctor in Type theory for mathematics and computer science

[Ana Bove]

Dear all,

We are announcing a 3-years postdoc position on the study of dependent 
type theory extended with univalence and higher inductive types at the 
Computer science and engineering department, University of Gothenburg.

For more information please visit

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

Do not hesitate to contact us if you have any further questions.

Best

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