Come and work with us!
The Logic and types group of the Department of computer science and engineering, Chalmers and Gothenburg University, is recruiting to a 3-year postdoc position 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
Deadline for application is 2024-09-17.
Please do not hesitate to contact us if you have any questions.
[#]Agda #HOTT
=> More informations about this toot | View the thread | More toots from patrikja@functional.cafe
=> View agda tag | View hott tag This content has been proxied by September (3851b).Proxy Information
text/gemini