From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10549 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Anders Mortberg Newsgroups: gmane.comp.lang.agda,gmane.comp.science.types.announce,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.logic.lean.user,gmane.science.mathematics.categories Subject: Postdoctoral position in homotopy type theory and related topics at Stockholm University Date: Mon, 6 Sep 2021 13:43:02 +0200 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============8655436721910507726==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="40246"; mail-complaints-to="usenet@ciao.gmane.io" To: Homotopy Type Theory , types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, Agda mailing list , coq-club-MZpvjPyXg2s@public.gmane.org, lean-user-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org, constructivenews-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org, logik-AtZWghHxK2bLoDKTGw+V6w@public.gmane.org, Categories list Original-X-From: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Mon Sep 06 13:44:47 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 1mND3P-000AHR-6S for gcla-agda@m.gmane-mx.org; Mon, 06 Sep 2021 13:44:47 +0200 Original-Received: from knota.ita.chalmers.se (localhost [127.0.0.1]) by knota.ita.chalmers.se (Postfix) with ESMTP id 67A47208C4; Mon, 6 Sep 2021 13:44:46 +0200 (CEST) Original-Received: from mail-prod-route07.it.su.se (mail-prod-route07.it.su.se [77.238.35.47]) by knota.ita.chalmers.se (Postfix) with ESMTP id 451F120858 for ; Mon, 6 Sep 2021 13:44:41 +0200 (CEST) Original-Received: from mailfilter-ng-2.sunet.se (mailfilter-89-45-235-13.instance.cloud.sunet.se [89.45.235.13]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mail-prod-route07.it.su.se (Postfix) with ESMTPS id 4H36551CHnz194 for ; Mon, 6 Sep 2021 13:44:41 +0200 (CEST) X-Halon-ID: d1d6f72d-0f07-11ec-9e93-59d7b38f2e73 Original-Received: from smtp.su.se (mail-prod-smtp02.it.su.se [130.237.181.102]) by mailfilter-ng-2.sunet.se (Halon) with ESMTPS id d1d6f72d-0f07-11ec-9e93-59d7b38f2e73; Mon, 06 Sep 2021 11:44:40 +0000 (UTC) Original-Received: from mail-vs1-xe36.google.com (mail-vs1-xe36.google.com [IPv6:2607:f8b0:4864:20::e36]) (Authenticated sender: anma7372-FfXqQlSrxQw@public.gmane.org) by smtp.su.se (Postfix) with ESMTPSA id 4H36535Pdjzt for ; Mon, 6 Sep 2021 13:44:39 +0200 (CEST) Original-Received: by mail-vs1-xe36.google.com with SMTP id s15so5307757vst.13 for ; Mon, 06 Sep 2021 04:44:39 -0700 (PDT) X-Gm-Message-State: AOAM533k430z3TQMOVraZKeHRS9S6YvOxJYMTHcQ26CIVAysCUlA93Uj th9UwVqowdn2kAK5lKCXQK0mIr8lZaJtSGUnaoY= X-Google-Smtp-Source: ABdhPJyu7Qe/J/bGdMZ/NeCsCb04vzB56cx7rclpK4sPvad55W4Vv7/KI6juLFpUmxy3QZCdaC0jxJsQZXCOeeqt+WE= X-Received: by 2002:a05:6102:21d9:: with SMTP id r25mr5555376vsg.57.1630928618524; Mon, 06 Sep 2021 04:43:38 -0700 (PDT) X-Gmail-Original-Message-ID: X-Mailman-Original-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=math.su.se; s=halon-v1; h=content-type:to:subject:message-id:date:from:mime-version:from; bh=G6BDeWkNnCbncjg3en5lmT897BSXZdTF39uKKWqVDag=; b=WHYYD/baE/bk/UKTtkFEkiKeKZyB9o6CkXHTrdD0wfCnDC6+8SzN+vHQOyR0z4M474ZHFYWOHJMKx mTymPj5S1yvX5LES5qZZztBpuogRa81O2597PTO6VJt8Fd69EWFS+KWZk2x/dzVJQ4cXgHrbvtSu58 nbMpwj0LD/Eg47TeySpRFnN43vQq6iTuSQOAGtO+Ej3OpqQ57/4LoxqHkeASEXEmfH8EYtoBFuflOS 1fWtt+Q9KwVq0lxVPWBtbKuw1vXKybXuzjLGLjx3QShDb+PXz1kScPGDK6QJwf7C36+/C53xAyV2O+ t74RKoanEHH+qT7O6Up4rnVUP3mnbXg== 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:12732 gmane.comp.science.types.announce:9826 gmane.science.mathematics.logic.coq.club:23082 gmane.science.mathematics.logic.lean.user:1433 gmane.science.mathematics.categories:10549 Archived-At: --===============8655436721910507726== Content-Type: multipart/alternative; boundary="000000000000f6145205cb522813" --000000000000f6145205cb522813 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, I=E2=80=99m pleased to announce that we=E2=80=99re hiring a postdoctoral re= searcher 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 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?rm= page=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 --000000000000f6145205cb522813 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

I=E2=80=99m pleased to announce tha= t we=E2=80=99re hiring a postdoctoral researcher in homotopy type theory an= d related topics at Stockholm University. It=E2=80=99s a 2 year position, p= rovisionally starting January 2022, in the=20 computational mathematics group of the Mathematics Department. The applicat= ion 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=20 theories, cubical type theories, implementation of proof assistants, comput= er formalization of mathematics and computer science.



Please get in touch wit= h me if you have any questions about the position!

Best,
Anders


--000000000000f6145205cb522813-- --===============8655436721910507726== 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 --===============8655436721910507726==--