[TYPES/announce] 1-year researcher position at Gothenburg university

[Ana Bove]

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