From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-lf1-x13e.google.com (mail-lf1-x13e.google.com [IPv6:2a00:1450:4864:20::13e]) by inbox.vuxu.org (Postfix) with ESMTP id 8645C2FCE4 for ; Fri, 25 Oct 2024 13:16:25 +0200 (CEST) Received: by mail-lf1-x13e.google.com with SMTP id 2adb3069b0e04-539e13b8143sf1600441e87.0 for ; Fri, 25 Oct 2024 04:16:25 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1729854984; cv=pass; d=google.com; s=arc-20240605; b=O0PcufqVVOOkbLv/yk8rPX1ETkshYjikTdanmf7kLvYjreNCP07otGkxKJXvH3ylHL +ICqy6YvOsR52N48uQ02kBupRQ1jj6Y9F+gnvj7DyZ0AukHjCQs9U6wTQSW11EDX9woh uMcnD/9KieUi15FXk9AIS2I9j+ALlcUsula8cWjmx6wK1uA3lKHmSMlBL61Vdhk/TY7n t6e6syPk97PGPwXKQYNGpG/K3fAkFbN9GtNpL5mvDr0i0ul5b6cj7cMQ7spQAnteqYaC Kq+yxRBjN366QDjxL2crlrRgHZjJm8qY+MTdhadwF7xvZRrLq0x8Qy+e2VMk5AnUz6YB gfbg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; 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=/OAHYvyQ/tSQH0k3600/lGv0glmLlFkeJrLH7XsgsuQ=; fh=evW/MkelcbP2o0fQhHlT88FdpRwYtclYRlwww1DaQ9A=; b=K/y6aNZa4jNz307R37RJQi69gP1E43IWykKESZ1QHUxQCEwYpeRpLuZZvGkqw7yM0n tExgw/cpFj5PZOH/MRhzbiA8m1YnfRXOpuzrJVGEMV051TSK7s+qkFknr6cQtv+6RsUL /VsKt5jTL0NuFH1xk3nRTZCfu3pBDz6XigqIF5xyVVHZSsc8W/NFFwFkBbYVmLHok1az /XmMzhxP8ASvABbikp247Set4lcv6CZFe9ItiSIfL9c05eEKUchfwuN9toPAHWFdkxKI mYCwJMVATcNnr/OeOX9f2Ylos93k1RtYFtBI0GUvGRz5Ytm8aIkgz2rxnXbez/0+qOYd SgrA==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=dIEOWxje; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::52c as permitted sender) smtp.mailfrom=p.l.lumsdaine@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1729854984; x=1730459784; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version :sender:from:to:cc:subject:date:message-id:reply-to; bh=/OAHYvyQ/tSQH0k3600/lGv0glmLlFkeJrLH7XsgsuQ=; b=QIFbeAvk6fbs9d6N8eZK0xrGYdVfc2U5bcDHKWBTmrGfIfs2SMsjiQjb2NAYRI2HWl dKoOEa8A9qh6hVHHLdMDnHJ7+z7jFdjM2MGojbN0DPlcAabrawcReKl/CMa18iM/K+pn 0h8ZcBVM7AcgsMjrKdO25OAjOZREIj6OCE7mYHmlclwvQ+9/eCGWCFYEofI2lj+S9PBn BGIw5ZDB/uZdOkqq4N1qETPtXs8YTjfeF8sdhnt9jseQJi4/dQTgn1t/xoPBRd+45o1M M9Uw6P+zNpL/NEqz5AogZS5bjOzEcMbcDdQF6XYnL2OVcXKQYiH35VrRUsarhrlGo7+m aMKA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1729854984; x=1730459784; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:to:subject:message-id:date:from:mime-version:from :to:cc:subject:date:message-id:reply-to; bh=/OAHYvyQ/tSQH0k3600/lGv0glmLlFkeJrLH7XsgsuQ=; b=ie8H5dEPyjexdjWoPVynCel0nb83VKCpYiaogQa0/vsujjEiLS227CsrPW68u5nxpp OVkwC014Q5HQ1OznNSwrUDw3ZM4Bvyr8JWQfCjeqqRYEC1TaCy05hzPOAx70KvQL3CAS hZcBEZfFO0h0sy8GPPoqlgBGGWZUzpxrJfRFFt1hqkbVF7cxzbUoneRIshPDVLKiDLZ2 ttkEKT+HFeBs6//ntjqKkoQjcJ/LdJ3T+A30zAgAt5o1+uJ8f6td+/74QeGCdcrW6n+u wPSLCG3ZgZBUC4Y96FRYOsz4gnNm3d7F+6FvqhOerWkeOXJgntYxRfuyEqB3H3kLvujW 20IA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1729854984; x=1730459784; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:to:subject :message-id:date:from:mime-version:x-beenthere:x-gm-message-state :sender:from:to:cc:subject:date:message-id:reply-to; bh=/OAHYvyQ/tSQH0k3600/lGv0glmLlFkeJrLH7XsgsuQ=; b=Enkeo+CZvly5TvVMZ9a79yFWIEcesFgvnfV2VVc9SyGX5vtTT2+ZRV7Ymo1JWKQJLV Yps+KXM4VDX5zK6LSfUv03pnvzFZ2dfXW9VNWyh1oauo0/8rnv0YxvHc0A+MjmPS/Q3Z iONu4aavT1dt/9dO/adr9uR6x41Y1+gihMHQ90Hi0zy65E92ZSMCs4uuCNYuny/GfGtP QmKkCMtesC0diZ5jo/wWPhM/3y3WHepeK+51ZsUDZLa5PirPEbKX+SjHZZ0IHgenBYln JGgyzUI1j0BQiGO+g+EDEFK4O46pPi4W2vZ5Mbb/m9m4WJhJppHcmvB60PkZWehVgrrt Tmtw== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCW299pR4hxyMi2J1EoqfybBy12L7nb+Z0/e/GUcBAMf9giWYF7NybT9aHNZc2MKiHImLA==@inbox.vuxu.org X-Gm-Message-State: AOJu0YzIjS/EpXXXNjsiEYXrQhYpMXHuUEU7Fdat3AC+eg87r1q2G1CO iEQfDS6WCSYY9AMVWxRWfO1sUAk2uNQN51FVGi2qAEcCg//PfDHz X-Google-Smtp-Source: AGHT+IHMRlUTOrKRK9Iv+Fq6OQP4nyq9IFtVaAru/wFHA8Gwy3qfWBn4VITrce8F8/xZgMLYD5Jdcg== X-Received: by 2002:a05:6512:10c5:b0:535:699b:b076 with SMTP id 2adb3069b0e04-53b1a31f1d6mr5399282e87.16.1729854983743; Fri, 25 Oct 2024 04:16:23 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6512:b9d:b0:539:92ca:8cc3 with SMTP id 2adb3069b0e04-53b214752a6ls1028980e87.1.-pod-prod-02-eu; Fri, 25 Oct 2024 04:16:18 -0700 (PDT) X-Received: by 2002:a05:6512:3d92:b0:539:f6c4:c29d with SMTP id 2adb3069b0e04-53b1a3a735dmr4424794e87.54.1729854977940; Fri, 25 Oct 2024 04:16:17 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1729854977; cv=none; d=google.com; s=arc-20240605; b=iTAQ4aRfd2rZqgMkPEELxD/zIIbTi3at+dt2EatSt2lb/Q4WFzkuCSkA5SlJP7mctp 9JJy7zwJOCBk7pYV7bif0sYtOQNwVL7nIeuk1Qqq6JmHf/w4vG75KAHOpalY92wEl/ys kzlzMr1e1lkO/oxLXqNXGLQsMgsx9Fdoy88f6GKikkmTGWutl9BLAn4sx4mUz7TpWRqH IdEujPFVhjPQyRVKeZ+81G73UGS9i35P02bRCcl5Vln0mxjCJzRuRjmGxSPcGkLKBO6Z M7PFFN8ES/A5q23jwO0/R+G9KnRALS/Z/FTyHIj7ymPU4Ot9YCUJWqD0RivTHBJqRLY7 5nIg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=to:subject:message-id:date:from:mime-version:dkim-signature; bh=v1mBCr235EDYnQeSyjeSlE9WVdqQVQdugun1uf532+c=; fh=afh3xSVDGH3+ME6icFLSFZvDhQHrKzha6cWB8e7BHgA=; b=RV0/OMK7OOHWCuT074Tr3NiIgFaK0d5FBA0DS6hF+hAoVRcviYi5+zMcm+AKaYiaWz RkKjV31+5MPVZBBByGxhc3LqoqLlmu/D9QobXLQzsnJMTtBC+Ih7Rg84kTwKQAq0iYYG qQxQaoL+//vGj2WZyurVx4tM6lUv0TL+BnqueQIqTldwnWm39PcHIFBLRJmvdutMnLBl ovYPjrllItEgZZmO8RviLjnZrAz7PiTHVLCMAdgxgU6yjTQlYTDk9pTEBIovz+sJL//C pwvCQC0d5AnfE0MpJF1S4BRC8tkxzVQZqDIDT0+x1Bk0pCctJ0u92aIBGAQ3Z5VNq2UX 7jbA==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=dIEOWxje; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::52c as permitted sender) smtp.mailfrom=p.l.lumsdaine@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.com Received: from mail-ed1-x52c.google.com (mail-ed1-x52c.google.com. [2a00:1450:4864:20::52c]) by gmr-mx.google.com with ESMTPS id 5b1f17b1804b1-4317dde9a33si5398415e9.1.2024.10.25.04.16.17 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 25 Oct 2024 04:16:17 -0700 (PDT) Received-SPF: pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::52c as permitted sender) client-ip=2a00:1450:4864:20::52c; Received: by mail-ed1-x52c.google.com with SMTP id 4fb4d7f45d1cf-5c94c4ad9d8so2375331a12.2 for ; Fri, 25 Oct 2024 04:16:17 -0700 (PDT) X-Received: by 2002:a05:6402:234b:b0:5cb:6b86:82d with SMTP id 4fb4d7f45d1cf-5cb8b1afaacmr7863623a12.36.1729854976189; Fri, 25 Oct 2024 04:16:16 -0700 (PDT) MIME-Version: 1.0 From: Peter LeFanu Lumsdaine Date: Fri, 25 Oct 2024 13:16:02 +0200 Message-ID: Subject: [HoTT] Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov) To: "HomotopyTypeTheory@googlegroups.com" Content-Type: multipart/alternative; boundary="0000000000005e6d9006254b3f1d" X-Original-Sender: p.l.lumsdaine@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=dIEOWxje; spf=pass (google.com: domain of p.l.lumsdaine@gmail.com designates 2a00:1450:4864:20::52c as permitted sender) smtp.mailfrom=p.l.lumsdaine@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.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: , --0000000000005e6d9006254b3f1d Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, We have a postdoc position open in type theory and mathematical logic, for a 2-year post, starting this coming January, with application deadline Nov 4 (i.e. Monday week =E2=80=94 sorry for the rather late announcement). Typ= e theory is the core of the grant project it=E2=80=99s attached to, but applicants w= orking on related topics in logic are also very welcome. The full posting and application system is at: [English] https://www.su.se/english/about-the-university/work-at-su/available-jobs?rm= page=3Djob&rmjob=3D24395&rmlang=3DUK [Swedish] https://www.su.se/om-universitetet/jobba-p=C3=A5-su/lediga-jobb?rmpage=3Djo= b&rmjob=3D24394&rmlang=3DSE Although the instructions ask for =E2=89=A43-years post-PhD, exceptions can= be made to this, so I encourage all interested candidates to apply! And please email me if you have any inquiries about the position =E2=80=94 = the application procedure, our department, Stockholm/Sweden, etc=E2=80=A6 Best wishes, =E2=80=93Peter. --=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 visit https://groups.google.com/d/msgid/HomotopyTyp= eTheory/CAAkwb-%3DU5-g5RpR4KP%2BgQEKyY_x-qjB3iDGnSOdfk54OdBHxsQ%40mail.gmai= l.com. --0000000000005e6d9006254b3f1d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

We have a postdoc position open in type t= heory and mathematical logic, for a 2-year post, starting this coming Janua= ry, with application deadline Nov 4 (i.e. Monday week =E2=80=94 sorry for t= he rather late announcement).=C2=A0 Type theory is the core of the grant pr= oject it=E2=80=99s attached to, but applicants working on=C2=A0related topi= cs in logic are also very welcome.

The full posting and application= system is at:
[English] https://www.su.se/english/about-the-university/work-at-su/availab= le-jobs?rmpage=3Djob&rmjob=3D24395&rmlang=3DUK
[Swedish] https://www.su.se/om-universit= etet/jobba-p=C3=A5-su/lediga-jobb?rmpage=3Djob&rmjob=3D24394&rmlang= =3DSE

Although the instructions ask for =E2=89=A43-years post-Ph= D, exceptions can be made to this, so I encourage all interested candidates= to apply!

And please email me if you have any inquiries about the p= osition =E2=80=94 the application procedure, our department, Stockholm/Swed= en, etc=E2=80=A6

Best wishes,
=E2=80=93Peter.

--
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 visit https://groups.goo= gle.com/d/msgid/HomotopyTypeTheory/CAAkwb-%3DU5-g5RpR4KP%2BgQEKyY_x-qjB3iDG= nSOdfk54OdBHxsQ%40mail.gmail.com.
--0000000000005e6d9006254b3f1d--