[TYPES/announce] Postdoctoral position in homotopy type theory and related topics at Stockholm University

[Anders Mortberg]

Dear all,

I’m pleased to announce that we’re hiring a postdoctoral researcher in
homotopy type theory and related topics at Stockholm University. It’s a 2
year position, provisionally starting January 2022, in the computational
mathematics group of the Mathematics Department. The application deadline
is 1 October.

We welcome all applicants interested in working on homotopy type theory and
related topics. Potential project topics include, but are not limited to:
homotopy type theory, categorical models of type theories, cubical type
theories, implementation of proof assistants, computer formalization of
mathematics and computer science.

Full details and application at:
https://urldefense.com/v3/__https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=15797&rmlang=UK__;!!IBzWLUs!HW4ucEENQqx0BeLkozigKEQZvUCYDHotG1kK5qIwWKsCeLbO6op2tU3PfHYbudVh0FwcIjXC5tgMKw$ 

Departmental webpage: https://urldefense.com/v3/__https://www.math.su.se/english/research__;!!IBzWLUs!HW4ucEENQqx0BeLkozigKEQZvUCYDHotG1kK5qIwWKsCeLbO6op2tU3PfHYbudVh0FwcIjUx0D4ePg$ 

Please get in touch with me if you have any questions about the position!

Best,
Anders
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210906/6d4914b5/attachment.htm>