From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 28242 invoked from network); 6 Sep 2021 12:08:54 -0000 Received: from mail-ot1-x33c.google.com (2607:f8b0:4864:20::33c) by inbox.vuxu.org with ESMTPUTF8; 6 Sep 2021 12:08:54 -0000 Received: by mail-ot1-x33c.google.com with SMTP id x25-20020a9d6d99000000b0051bf9bfc12fsf4399888otp.8 for ; Mon, 06 Sep 2021 05:08:54 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1630930132; cv=pass; d=google.com; s=arc-20160816; b=KT0cdQB/m4XdC4RFOIiQ8tVjZtvYYHHi/beoZQOrUqT1pJ2PrQkGBqb9n9wRPYoe4+ 2TtYM992UFtM0AL6cOPBwiShT6GFJ6BIKSHqHxNRayQWB1GhTDWK7UZQOcvP1hG3mNMN ZwChaPoAksB6aE2stbhRKqBey0+BXotO1siAyvUPufH4z9fE5DTYuIZPRBoEWpy6LqMo kmReBDhpFjtArU0Kv5L14eB2AdfWIWBzNOZ5/5unTADdAkha7opMmHbiLvPTqR82E+eA 1sPDIs9yT0ztR0z897FLN+8wTsxEQJgSlTU2ewp6DYziyQexlGlxQhHq4sIa3hr1rhXI yRgA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:to:subject:message-id:date:from :mime-version:sender:dkim-signature:dkim-signature; bh=QapC34CLhTgpfPJwi8NZtqY2Uzmg7tbTQSLZpzZsw6s=; b=HtqxyLekLA8n7VZpxPH5AC0X156H4ZCwmqm2y0JqjxixaS26+P8GwyRVIJ4wytAC+a 8yPOHnaiuJ90xJ46M/Hv5IhuSLCEtslLiJ5lmbSWNp9uponP9kUHGL2VwiYhn4I8vefX ogJokGRyarFcou+okRsffJwtO5GKdNGj6kUhC3CS/6miB6ew9uDg5Z2RgVU9bbUuNkXs E69R7IFFA1BnIocojAvedUWWeH4F+/wz4xNRUGT8u49i3Jhktq3nplG2rWnxgTQNvEUW +t4gMAoWfPFIGHnDYrOcKuRO5JJGxD3ZIgTRpZgvHEawbSMrSX/a5t4AQ2omiNyXusmw 3eeA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="DLj/EfiU"; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::92d as permitted sender) smtp.mailfrom=andersmortberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:mime-version:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=QapC34CLhTgpfPJwi8NZtqY2Uzmg7tbTQSLZpzZsw6s=; b=ZXHPzKYnpisxklbx06M3/Tfv/4AIRBL+jZQC6ykG25q30hUliTZSpiTSGby0V0UpD0 zLjadW6z01Myt5vJbFOjG2ewxBpS23W2Y07ndQGfqnqhxAHrANQBkhQF3TH8NUYiWo3d iVZ0xemxQWUiaxzFFEQBRCBNSEU1czUhfgbXp9CozGl7kVUsaTjRtHKj5mT2+E/TNtAY CXi+INqJQrQ3zj5J65V7NCenTkHpag9PxHTV7t/BXnv4NBtKbRTBnr2ltWxxKOk3LwyE +Nns7oBCE0JvFCwilK/A3oRT0lt4+6IZNPznNF58xvst0FYchv2VtH848ANd3NgYeKFs rsow== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:from:date:message-id:subject:to:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=QapC34CLhTgpfPJwi8NZtqY2Uzmg7tbTQSLZpzZsw6s=; b=ndssoJ+gSCbHvq6tDvMUHdgw1Q8vZZ8BEV1cOSS6WrBfK2go/5IUlMdKfqovyKtkGe ALg5JBfADi72UzonwBkCU9ob4ICaefkdKh/74tsgndozsVImMfZFSPgasmtlY04sXZTL F0t0Z+1MYAPgRuHM7Gc+0dW4UNMhi4H3pYWJAD9trrUg3M0a6vdmF2O9ZnI05vmadshT oa2kYZbur6EE7iWXeoihV1IY30d+TIJ25aa0pgpvrA9bZMMf50zXiZwz20eFfXjUGO2D k1DBVHGz5ohF47XrkZdU/DX+PoMUFp4SF4ohZFzIPGZIRebzd2AWN5WnUq6gJCeUpqoU hL3A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:mime-version:from:date:message-id:subject :to:x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=QapC34CLhTgpfPJwi8NZtqY2Uzmg7tbTQSLZpzZsw6s=; b=UWJZhuHNLLaazB7H/h24y4xIW1pVRp+HXcRx+cfdN5/lRaPbdx0Y3+9My0CgvglWq+ 3OyhXW6cIxHgEIiOkUxQTcE7LI23SsBG7SG04vQiEvFO+SFg3bJ1xEF3RVXe+alp3xGk d/T6OwiRSov+5K/0aPw3jVU0lejG8L1KOxsO46aBpiQjJ6IMRNs2wXkBjdOv+Ng3IalH wqySz9S2mWAWrk+/VrQgpJdf25SqIIc0LWokb8cYj2Fz/dfygX16PHiMyO31y53hQ1XM JQKDMrlLNDkrsTcTQNsHNtt7xS8qKJkyOltDgaCV8gV4GaWcs1VVohMcVDeuwdrepHhW PFuw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM530BcH8kzBXfr6UBLn9+kaj07M+OJtcY/pN+0Tww9IjYQDm54F9e 7r4vtpgXAIDzqZkXpHX/DMk= X-Google-Smtp-Source: ABdhPJyvuus+gD+/sHE4j4OzELT3RZhFu2y8dLtb+lQV2Q9X4/aL+o4Q0LJiaHiwrcb36yK4Be3z2Q== X-Received: by 2002:a9d:4c15:: with SMTP id l21mr10774674otf.311.1630930131505; Mon, 06 Sep 2021 05:08:51 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:62c9:: with SMTP id z9ls1665971otk.6.gmail; Mon, 06 Sep 2021 05:08:50 -0700 (PDT) X-Received: by 2002:a9d:5e05:: with SMTP id d5mr10246842oti.61.1630930130850; Mon, 06 Sep 2021 05:08:50 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1630930130; cv=none; d=google.com; s=arc-20160816; b=f3rxv47CG4B2LfJT1TXrUzidT/8X67U0gDGlNnhZJTiaSsLm9G4D3mf4ShWssqJU9f gQGk5PJWf4VH1J8Cfmg+sCwnVlu1Bm6XEO3nVCof1PN5Mm0UCCUq6DO0RgEdmzF7YgTB 6kwE0nhnpJ56xDurHlFbjXqH021wae7HORgMW6L10qoizLPA0dbro4ur1xYKfCsZ288D OlTm2yeqqBPdeuFQGPpU5eDLopfXOJlaO2v7DefGX3yyX33WBdlYsDnsGc90tgcjUz8c sfVR+5NSOnnFm4Gpupv8DDQ7mgZ+0RI0EoHnmnhbCof39QreRpQnYNS2X5yJOSEOi1v0 Fdow== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=iahq5qrR+ye4bjXPRYa2E4JCnBCkuSeuNiTiy9Rz/+U=; b=bZOeJOgGrt8Hz7y237U/wDN6VlyBnvFDccHGm3JpPUgayy+05qDhPm3QbHRBv6XrRB BDrDTIdIhe/j58dGtOw6HMTPXbsePABug7Y6i6Squ2v12FPCtF4iPn+MLGp6OuVyCgod DDzJBmXikxI/cTgxI8C+4N29PClnp8ZGCqWNliyzRakNJZwAumAz0lOJU6tfXjxGXWdL Epzg8NKSpQ3qHbaFiZJly8irrs6pXw/vpHXGcENctCxLRabylA5F4YWqFOWMHkzdksNd SY69x43mLX4JNcmkGk0cNeYqd+htac8XM2eupqeI8fo+FqpMqRZk6oW4H07uS2g39A1d EIvg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="DLj/EfiU"; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::92d as permitted sender) smtp.mailfrom=andersmortberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ua1-x92d.google.com (mail-ua1-x92d.google.com. [2607:f8b0:4864:20::92d]) by gmr-mx.google.com with ESMTPS id c9si500879ook.2.2021.09.06.05.08.50 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 06 Sep 2021 05:08:50 -0700 (PDT) Received-SPF: pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::92d as permitted sender) client-ip=2607:f8b0:4864:20::92d; Received: by mail-ua1-x92d.google.com with SMTP id 75so3692996uav.8 for ; Mon, 06 Sep 2021 05:08:50 -0700 (PDT) X-Received: by 2002:ab0:2989:: with SMTP id u9mr5057798uap.122.1630930130114; Mon, 06 Sep 2021 05:08:50 -0700 (PDT) MIME-Version: 1.0 From: Anders Mortberg Date: Mon, 6 Sep 2021 14:08:14 +0200 Message-ID: Subject: [HoTT] Postdoctoral position in homotopy type theory and related topics at Stockholm University To: Homotopy Type Theory Content-Type: multipart/alternative; boundary="0000000000000f1afd05cb52838c" X-Original-Sender: andersmortberg@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b="DLj/EfiU"; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2607:f8b0:4864:20::92d as permitted sender) smtp.mailfrom=andersmortberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , --0000000000000f1afd05cb52838c 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 --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CAMWCppkJf%2BmhF%2BX-NpyTff9JgrMQbhNDUJdpGgxq_-1yqqzuMw%= 40mail.gmail.com. --0000000000000f1afd05cb52838c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

I=E2=80=99m pleased to announce that= we=E2=80=99re hiring a=20 postdoctoral researcher in homotopy type theory and related topics at=20 Stockholm University. It=E2=80=99s a 2 year position, provisionally startin= g=20 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.



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

Best,
<= /div>
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@googlegroups.com.
To view this discussion on the web visit https:/= /groups.google.com/d/msgid/HomotopyTypeTheory/CAMWCppkJf%2BmhF%2BX-NpyTff9J= grMQbhNDUJdpGgxq_-1yqqzuMw%40mail.gmail.com.
--0000000000000f1afd05cb52838c--