[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear All
The logic and types group at Chalmers and Gothenburg university is now
recruiting two postdocs to work on type theory for mathematics and
computers science together with Prof. Thierry Coquand and others in the
group.
The project is about the study of dependent type theory extended with
univalence and higher inductive types. It can range from theoretical
studies of models to actual formalisations of mathematics in a proof
system (such as Agda), or working on design of proof assistants
incorporating the advances brought by the connections with homotopy theory.
Please consider applying for the position and help distributing this
information to people you think could be interested.
_Deadline for application: October 26th 2022._
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=27429__;!!IBzWLUs!Re9hqrNB4c-BkvGJSLkR1AHtxIomQzO792WzHdrfO4BWbuWs0HC01Nu0Ifcw5Gn65QwVGuNhNdrBTZP8X2bagTybL3AuwA$
Thanks!
--
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
https://urldefense.com/v3/__http://www.cse.chalmers.se/*bove__;fg!!IBzWLUs!Re9hqrNB4c-BkvGJSLkR1AHtxIomQzO792WzHdrfO4BWbuWs0HC01Nu0Ifcw5Gn65QwVGuNhNdrBTZP8X2bagTysSF-ojg$
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
