[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
(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
