[Agda] 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://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=34193 


-- 
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
http://www.cse.chalmers.se/~bove
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg