categories - Category Theory list
 help / color / mirror / Atom feed
From: Guillaume Brunerie <guillaume.brunerie-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
To: Anders Mortberg <andersmortberg-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
Cc: Coq-Club Club <coq-club-MZpvjPyXg2s@public.gmane.org>,
	Categories list <categories-59hdLBrVOVU@public.gmane.org>,
	types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org,
	Homotopy Type Theory
	<homotopytypetheory-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org>,
	lean-user-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org,
	constructivenews-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org,
	Agda mailing list
	<agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org>
Subject: Re: [HoTT] Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week
Date: Sat, 25 Sep 2021 11:04:17 +0200	[thread overview]
Message-ID: <CAFJ3QWJvJmYLSB8k-2Fm0wi41rmzGBOoMBAud=SN-qgQLGZVgw@mail.gmail.com> (raw)
In-Reply-To: <CAMWCppmGdAQmwEc9Uw_+C=kdZGkvjykMPQgRKChoog5UARcKNw-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>


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

      parent reply	other threads:[~2021-09-25  9:04 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-09-24 11:19 Anders Mortberg
     [not found] ` <CAMWCppmGdAQmwEc9Uw_+C=kdZGkvjykMPQgRKChoog5UARcKNw-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
2021-09-25  9:04   ` Guillaume Brunerie [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAFJ3QWJvJmYLSB8k-2Fm0wi41rmzGBOoMBAud=SN-qgQLGZVgw@mail.gmail.com' \
    --to=guillaume.brunerie-re5jqeeqqe8avxtiumwx3w@public.gmane.org \
    --cc=agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org \
    --cc=andersmortberg-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org \
    --cc=categories-59hdLBrVOVU@public.gmane.org \
    --cc=constructivenews-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org \
    --cc=coq-club-MZpvjPyXg2s@public.gmane.org \
    --cc=homotopytypetheory-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org \
    --cc=lean-user-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org \
    --cc=types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).