Jesper Agdakx 🔸
The University of Gothenburg is looking to hire a postdoc for work on
compilation of cubical type theory:

web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=37550

Application deadline: June 12.

#TypeTheory #Cubical #HoTT #Agda #PostDoc #Gothenburg
Postdoc in Type theory and programming languages

The department of Computer Science and Engineering is strongly international, with approximately 300 employees from

May 23, 2025 at 5:30pmWeb