[TYPES/announce] Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week

Anders Mortberg andersmortberg at gmail.com
Fri Sep 24 07:19:44 EDT 2021


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://urldefense.com/v3/__https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=15797&rmlang=UK__;!!IBzWLUs!DtuZsNTodN62rcs7_yEB1aKIn1Xx8dTk9UiLbqd1uYMpxjvbcYqcbVS_QBUW8oYrJdHrxn_2FSOquA$ 

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

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 at 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://urldefense.com/v3/__https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=15797&rmlang=UK__;!!IBzWLUs!DtuZsNTodN62rcs7_yEB1aKIn1Xx8dTk9UiLbqd1uYMpxjvbcYqcbVS_QBUW8oYrJdHrxn_2FSOquA$ 
>
> Departmental webpage: https://urldefense.com/v3/__https://www.math.su.se/english/research__;!!IBzWLUs!DtuZsNTodN62rcs7_yEB1aKIn1Xx8dTk9UiLbqd1uYMpxjvbcYqcbVS_QBUW8oYrJdHrxn-xPny4KA$ 
>
> 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/20210924/16910532/attachment.htm>


More information about the Types-announce mailing list