From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10568 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Anders Mortberg Newsgroups: gmane.science.mathematics.categories Subject: Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week Date: Fri, 24 Sep 2021 13:19:44 +0200 Message-ID: Reply-To: Anders Mortberg Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="32163"; mail-complaints-to="usenet@ciao.gmane.io" To: Categories list Original-X-From: majordomo@rr.mta.ca Sat Sep 25 21:14:10 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mUD7i-00089r-1m for gsmc-categories@m.gmane-mx.org; Sat, 25 Sep 2021 21:14:10 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:58344) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1mUD33-0001r9-6c; Sat, 25 Sep 2021 16:09:21 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1mUD50-0008D5-AU for categories-list@rr.mta.ca; Sat, 25 Sep 2021 16:11:22 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10568 Archived-At: 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?rm= page=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 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 ty= pe > 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 > > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]