Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week

Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week

[Anders Mortberg]

[-- Attachment #1: Type: text/plain, Size: 2011 bytes --]

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
>
>

-- 
You received this message because you are subscribed to the Google Groups "lean-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lean-user+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/lean-user/CAMWCppmGdAQmwEc9Uw_%2BC%3DkdZGkvjykMPQgRKChoog5UARcKNw%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 3373 bytes --]

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

[Guillaume Brunerie]

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

Den fre 24 sep. 2021 13:20Anders Mortberg <andersmortberg-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> skrev:

> 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-AtZWghHxK2b1P9xLtpHBDw@public.gmane.orge>
> 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
>>
>> --
> You received this message because you are subscribed to the Google Groups
> "Homotopy Type Theory" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to HomotopyTypeTheory+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/HomotopyTypeTheory/CAMWCppmGdAQmwEc9Uw_%2BC%3DkdZGkvjykMPQgRKChoog5UARcKNw%40mail.gmail.com
> <https://groups.google.com/d/msgid/HomotopyTypeTheory/CAMWCppmGdAQmwEc9Uw_%2BC%3DkdZGkvjykMPQgRKChoog5UARcKNw%40mail.gmail.com?utm_medium=email&utm_source=footer>
> .
>

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

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

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

Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week

[Anders Mortberg]

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