[TYPES/announce] Göteborgs universitet | Researcher in type theory for mathematics and computer science

[Ana Bove]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251007/cbc271a7/attachment.htm>