CAUTION: The Sender of this email is not from within Dalhousie. Dear all, A quick reminder of the postdoctoral position in HoTT and related topics that I advertised a couple of weeks ago, with deadline *October 1* (midnight Stockholm time). Full details and application at: https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=15797&rmlang=UK Departmental webpage: https://www.math.su.se/english/research Once again, please get in touch with me if you have any questions about the position or application process! Best, Anders On Mon, Sep 6, 2021 at 1:43 PM Anders Mortberg <anders.mortberg@math.su.se> wrote:
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://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=15797&rmlang=UK
Departmental webpage: https://www.math.su.se/english/research
Please get in touch with me if you have any questions about the position!
Best, Anders
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]