[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
