Postdoctoral position in homotopy type theory and related topics at Stockholm University

Postdoctoral position in homotopy type theory and related topics at Stockholm University

[Anders Mortberg]

[-- Attachment #1.1: Type: text/plain, Size: 968 bytes --]

 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

[-- Attachment #1.2: Type: text/html, Size: 1354 bytes --]

[-- Attachment #2: Type: text/plain, Size: 169 bytes --]

_______________________________________________
Agda mailing list
Agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org
https://lists.chalmers.se/mailman/listinfo/agda

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://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/ ]