[Agda] 3-years postdoc on Type theory for mathematics and computer science at Gothenburg University

[Ana Bove]

Dear all,

The Logic and types group of the Department of computer science and 
engineering, Chalmers and Gothenburg University, is recruiting a 3-years 
postdoc to work with dependent type theory extended with univalence and 
higher inductive types.

For more information about the position and how to apply for it, please 
follow this link
https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=35073 
<https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=35073>

Deadline for application is *September 17th 2024*.

Please do not hesitate to contact us if you have any questions.

Best regards

-- 
-- 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240821/31d9d62c/attachment.html>