[TYPES/announce] 2-year postdoc in Type theory and programming languages at Univ. of Gothenburg

[Ana Bove]

Dear All,

The Department of Computer Science and Engineering at University of 
Gothenburg and Chalmers University of Technology is offering a 2-year 
postdoc position for work on compilation of cubical type theory.

https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=37550__;!!IBzWLUs!RMmLHUBRWqRn0SPqIQPkX-08Ouq_fkB3z2g-8RDhJ3J11b-YJ7EHMQWitxgvWGUlNohneE1i3ogz8ugHDp4cUBEDfUhUNQ$ 

_Application deadline: June 12._

Please do not hesitate to contact us if you have any questions regarding 
this position!

Best regards

-- 
-- Ana Bove, Docent
Phone: (46)(31) 772 1020
https://urldefense.com/v3/__https://www.chalmers.se/en/persons/bove__;!!IBzWLUs!RMmLHUBRWqRn0SPqIQPkX-08Ouq_fkB3z2g-8RDhJ3J11b-YJ7EHMQWitxgvWGUlNohneE1i3ogz8ugHDp4cUBHuTuZnvQ$ 
Department of Computer Science and Engineering
Chalmers Univ. of Technology and Univ. of Gothenburg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250527/0c7febac/attachment.htm>