[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hej!
The Logic and types group at the Computer science and engineering
department in Gothenburg, Sweden, is announcing a 1-year researcher
position to work on homotopy type theory and synthetic algebraic
geometry, with formalisations in (cubical) Agda.
Deadline for application: May 28th 2024
More information at
https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=34193__;!!IBzWLUs!VPedeas8ndLMUIiH-LAWneYjlVjdJP8GISybsHo-hSmuUHNlnA02KF1awRoZv3IPeWBHcV7Wp9QXjtW5liA9feO3UQUlGw$
--
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
https://urldefense.com/v3/__http://www.cse.chalmers.se/*bove__;fg!!IBzWLUs!VPedeas8ndLMUIiH-LAWneYjlVjdJP8GISybsHo-hSmuUHNlnA02KF1awRoZv3IPeWBHcV7Wp9QXjtW5liA9feOZPtVSAA$
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
