From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10567 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Guillaume Brunerie Newsgroups: gmane.comp.lang.agda,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.categories,gmane.comp.science.types.announce,gmane.science.mathematics.logic.lean.user 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 Message-ID: References: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============1125837678988694931==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18990"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Coq-Club Club , Categories list , types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, Homotopy Type Theory , lean-user-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org, constructivenews-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org, Agda mailing list To: Anders Mortberg Original-X-From: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Sat Sep 25 11:04:37 2021 Return-path: Envelope-to: gcla-agda@m.gmane-mx.org Original-Received: from knota.ita.chalmers.se ([129.16.222.121]) by ciao.gmane.io with esmtp (Exim 4.92) (envelope-from ) id 1mU3bo-0004mt-5M for gcla-agda@m.gmane-mx.org; Sat, 25 Sep 2021 11:04:36 +0200 Original-Received: from knota.ita.chalmers.se (localhost [127.0.0.1]) by knota.ita.chalmers.se (Postfix) with ESMTP id 834F1208C8; Sat, 25 Sep 2021 11:04:35 +0200 (CEST) Original-Received: from mail-ed1-f41.google.com (mail-ed1-f41.google.com [209.85.208.41]) by knota.ita.chalmers.se (Postfix) with ESMTP id A09EC1FCDA for ; Sat, 25 Sep 2021 11:04:29 +0200 (CEST) Original-Received: by mail-ed1-f41.google.com with SMTP id ee50so45824625edb.13 for ; Sat, 25 Sep 2021 02:04:29 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=fCrp7Ysgfw1c/Fc5fzjOVBB2tAVY6FE4MS8DBFqqkUc=; b=fvQMzsZD057rgraxV5GdC9uzjL1K+F3uSIgsqDX8BbJqwBUhpfZ38w28bIGo8Nul8n mPJhS7JEChX2teKLkB7URZiX3wrd58+MIx36k+b1jd0wL0lNYIvum7cbCErKtKvJHKXA qcDbUCpETGdZUwGCnnwkCLAEm0DsCsbNEWpw/wFMEf75KX47E7ZfSURUUiwGo1+dChWe tb9zRDaWCohGeRh3qpAtXTP8QcrwLYPlEYmJ9mJm2CkMT9VLdBhdyumWiG4901wwbGmZ F4/RnNZAT64WkgWCgQIsEYpr/9WOTvB+aMvHPlaVks3LUjnjZ5xuWA7ZHWALH9nTsmjG Tr6Q== X-Gm-Message-State: AOAM530fl/yp/l00c+BRATADN/xCs1IbITDHtrg8vN/ovPtOyU2en2VF X05PVml2EW/QEiGrYCAgxMTL+CgHQQEHPpGvVw== X-Google-Smtp-Source: ABdhPJwGay/kDiaGowK+mUA+5ImKXWcjcH7w9YfBmTM9b7vEqL4LN9lWpWfMxsGj9xOecpluLdh54zhrbQQlJU2+fIg= X-Received: by 2002:a17:906:6b93:: with SMTP id l19mr16389305ejr.26.1632560669205; Sat, 25 Sep 2021 02:04:29 -0700 (PDT) In-Reply-To: X-Mailman-Original-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=fCrp7Ysgfw1c/Fc5fzjOVBB2tAVY6FE4MS8DBFqqkUc=; b=dhK8MW+tgcCi7ut2FlZDJr+4Ge94ProU2Y3itKof3W9qiKOb4e4CilTQc3OPhNlbhi d9F51DCDyNO+l56/9JDtJpzL/arMiRkxUUBPN6wl44k2r8TuoKfxtxwWOFPOvlIInfxb hl4skcEnKZJzCCFGPYc/j0dHx6eT86Szpm13hu6jobGAaaIB+K5HLbrzypHW/Z+UjjEi +KmGsu/Rv7lFqoXHrkLwRPUciXsJT+nv5Jo5481gJrudDdhhDN0IdUpQRh1RQyEMjsLg /wrF337AWXdrKzKzu1nciNGZ69CAoPtP7XwBlGj27guwdGFqI+vzlTq6QQhA9YHwHVCT CFuA== X-BeenThere: agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org X-Mailman-Version: 2.1.24 Precedence: list List-Id: All things Agda List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Original-Sender: "Agda" Xref: news.gmane.io gmane.comp.lang.agda:12741 gmane.science.mathematics.logic.coq.club:23088 gmane.science.mathematics.categories:10567 gmane.comp.science.types.announce:9865 gmane.science.mathematics.logic.lean.user:1438 Archived-At: --===============1125837678988694931== Content-Type: multipart/alternative; boundary="000000000000c3275605ccce26cd" --000000000000c3275605ccce26cd Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Den fre 24 sep. 2021 13:20Anders Mortberg 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=3Djob&rmjob=3D15797&rmlang=3DUK > > 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 > wrote: > >> Dear all, >> >> I=E2=80=99m pleased to announce that we=E2=80=99re hiring a postdoctoral= researcher in >> homotopy type theory and related topics at Stockholm University. It=E2= =80=99s a 2 >> year position, provisionally starting January 2022, in the computational >> mathematics group of the Mathematics Department. The application deadlin= e >> is 1 October. >> >> We welcome all applicants interested in working on homotopy type theory >> and related topics. Potential project topics include, but are not limite= d >> to: homotopy type theory, categorical models of type theories, cubical t= ype >> 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=3Djob&rmjob=3D15797&rmlang=3DUK >> >> 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 > > . > --000000000000c3275605ccce26cd Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

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

A quick reminder of the postdoctoral positi= on in HoTT and related topics that I advertised a couple of weeks ago, with= deadline October 1 (midnight Stockholm time).


Depa= rtmental webpage: https://www.math.su.se/english/research=

Once again, please get in touch with me if you ha= ve any questions about the position or application process!

Best,
Anders
<= br>

On Mon, Sep 6, 2021 at 1:43 PM Anders Mortberg <anders.mortbe= rg-AtZWghHxK2bLoDKTGw+V6w@public.gmane.org> wrote:
Dear all,

I=E2=80=99m pleased to announce that we=E2=80=99re hiring a postdoctoral researcher in= =20 homotopy type theory and related topics at Stockholm University. It=E2=80= =99s a 2 year position, provisionally starting January 2022, in the=20 computational mathematics group of the Mathematics Department. The=20 application deadline is 1 October.

We welcome all applicants inter= ested 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=20 theories, cubical type theories, implementation of proof assistants, comput= er formalization of mathematics and computer science.



<= div>Please get in touch with me if you have any questions about the positio= n!

Best,
Anders

=

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googleg= roups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/Homotop= yTypeTheory/CAMWCppmGdAQmwEc9Uw_%2BC%3DkdZGkvjykMPQgRKChoog5UARcKNw%40mail.= gmail.com.
--000000000000c3275605ccce26cd-- --===============1125837678988694931== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Agda mailing list Agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org https://lists.chalmers.se/mailman/listinfo/agda --===============1125837678988694931==--