[TYPES/announce] 2-year postdoc in Type theory and programming languages at Univ. of Gothenburg
Ana Bove
bove at chalmers.se
Tue May 27 08:43:38 EDT 2025
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>
More information about the Types-announce
mailing list