[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear All,
The Computing Science division at the University of Gothenburg has a 360
days research position to work with Prof. Thierry Coquand and his group.
Deadline for application is *Oct 30th*.
The project is about the study of dependent type theory extended with
univalence with applications to synthetic mathematics. Prime examples
are synthetic algebraic geometry and synthetic Stone duality, but it
might be other kind of synthetic mathematics, such as study of higher
categories.
For more information please visit the following link:
https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=38480__;!!IBzWLUs!U-mqu_PW49a3ZbnUf40FsiERitJ0ggpYVeDFCeORoaLWA_tMO6-e9KE5aSsUgdgZafLZE95GXc5kv1rgQe1wYmSx85KmYA$
Please distribute the information to anyone that might be interested and
consider applying yourself if you fit the profile!
Do not hesitate to contact us if you have any questions.
Best regards
--
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
https://urldefense.com/v3/__https://www.chalmers.se/en/persons/bove__;!!IBzWLUs!U-mqu_PW49a3ZbnUf40FsiERitJ0ggpYVeDFCeORoaLWA_tMO6-e9KE5aSsUgdgZafLZE95GXc5kv1rgQe1wYmTDlUfOtg$
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
