[TYPES/announce] Postdoctor in Type theory for mathematics and computer science

[Ana Bove]

(I send again since the link in the previous mail doesn't work, sorry!)

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://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=29730__;!!IBzWLUs!V9-ROVMaoyi0rDiWE1ahW9-OwmfMGVP1h2kFMwFyAv9II84pdzDAhLEdYVX8I9REF0mcXWlNYmT8Afvb-wH3SCDYeOBM0w$ 

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

Best

-- 
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
https://urldefense.com/v3/__http://www.cse.chalmers.se/*bove__;fg!!IBzWLUs!V9-ROVMaoyi0rDiWE1ahW9-OwmfMGVP1h2kFMwFyAv9II84pdzDAhLEdYVX8I9REF0mcXWlNYmT8Afvb-wH3SCB06tZQ1g$ 
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg