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 24474 invoked from network); 17 Oct 2023 16:27:28 -0000 Received: from mail-lf1-x138.google.com (2a00:1450:4864:20::138) by inbox.vuxu.org with ESMTPUTF8; 17 Oct 2023 16:27:28 -0000 Received: by mail-lf1-x138.google.com with SMTP id 2adb3069b0e04-507a0904cdbsf3645503e87.1 for ; Tue, 17 Oct 2023 09:27:28 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1697560047; cv=pass; d=google.com; s=arc-20160816; b=VJFlMPTwfEQrG8Z7tY/F4KPcS7S8Ld5RBZ44gsqGxvu0OQITCyxfBZNo1bbZTR7l0n u7HKN5N2mVtiA0KoFyNu0qf2LMc3CXx6fG0972Brw7LblYXaltIHwdoLDYHKVH0SGO00 td8lGe6gClcHRlXaQi0KhzHLxF7cX7/w7ARpJe7IAo3l367R4ThXZLsaS7baCX0aO9lr SYSGU1u6Dq6C6K2CJZVBWW6vGAqVkQ7mfkpg8j+x37FqoRqJO/7yuEorcgqslryR2qwS 1jeu0jVR8GKV5akJ+iqpJhw09KA9ISEapICuVZSiZiecxyuvWLtY7Ttbn5e2cYuOi687 m70Q== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe: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=8Tat+gimUZNKDzNJd6Z7JhtBG93aoDknznswYKg6oP8=; fh=WgvZq+vAaBo+PpCdWf/wmwnVJi3MKUpaHbQqBKgj8Xk=; b=gLJHqY3iMBqCiHux/vPxKfDOH7WfhYo24xWh2ek/I7GeVuYrQPkRq5cHuyopO4troH bGuYqAmoDJWULMVfX1NUGjy0Cdc0jfdwPGfma7PrKCM41xYCsp1JpzwjPae+hV4remKO SxoyI6wUwJu9qFOX92r4rL23kL50pwS5PBba6fe5Zizx8xwWFXOUG535KpbRVtXPUtf4 NucC4ewd0omRRKcwydcfDvugvr5ZIBYiT7MCIpG/jkdfeePgdR22SzAXEhVFXidOC4Ck /CFfaAxJZJfd3+PYVIay2ezIdCrwPY2ZLbMT/xtNeF2XPrIx6Fjsm1Yn5u/G50UKOh4A vNPg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=N5PXUNab; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2a00:1450:4864:20::635 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=20230601; t=1697560047; x=1698164847; darn=inbox.vuxu.org; h=list-unsubscribe:list-subscribe: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=8Tat+gimUZNKDzNJd6Z7JhtBG93aoDknznswYKg6oP8=; b=UGXpPJnUYHaHlzZ8HaNm/QVZjL12Qf9fUOmrm9Tw7zux1PqcAvP3CnAg0xp1IMOe2d krFfBylc5pwmGYxQ6vH8pfvFR9kED89tM84BwAn8eMmJPJSaddGoU82yRyyOQJoMeI4n Sw8UTxUf/+2qv9exHyA6b90m25Mp11G1Em9RgEBTTaIZTz4zoGO82iXfMH4RgedCQ5JE tJ1k82+Y8jozlscBHmXOW6CUr2rTyt4eB21oY7TBzYna/cNX1gEy4T+fTu3VuO7HSNHc uKRiYGOehF2eFTLxeHPuvEVdUYuiEsBENex0eBwM+tpWY5IIHAx+SrZ3kBo1tvht4cHk aH2g== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1697560047; x=1698164847; darn=inbox.vuxu.org; h=list-unsubscribe:list-subscribe: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=8Tat+gimUZNKDzNJd6Z7JhtBG93aoDknznswYKg6oP8=; b=bdudm++1Ig7yX4wDSj3X7F6ZBlJAbHjMa7PASmy4Lvi1x/DAQwag50LJqUTJkmfn4X YHo1ERrGSpvBOExoK/1EuNXwZ3O5359Ea0pwHEZJbX1BKjQL6ls8FHs+Z4ZNGnrxdOX5 f9VAkyEhetDjMWWoFfMW8o1uzzz4A/0F3lcPewHzNxgSM3ZAd1c+6RZI+SrUZJYiMdGS sXGXvYEUNvTzKkL3oJIkiqAq6c10oHnyaCTTOx/Xc7TJDUeo6UTl9OgQGyiJSqHDtsMe ACUe7boaefRF/5ZXq7NQHnWZRjw/TWxG830cUkhspMHCbo1h/qfqim2ploX7O2cZ8Pv8 v93g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1697560047; x=1698164847; h=list-unsubscribe:list-subscribe: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=8Tat+gimUZNKDzNJd6Z7JhtBG93aoDknznswYKg6oP8=; b=j/UrGblCi1xQwch781Td3Um6Fn2im3kgwCfU9l7XzEx0moJfrBgPjoZlwtTXW2c45X z3DVTEmDICu8Cicpf7pmVWt6J2Z1eJ8YmXOcSh0K4fgnJhaJtZ6oUtkDY6QoOaJ6Awu/ D0gbU74PR/s6yPh/6Zzs3Z2ur69wWNZ5YIzvka7LAJgHM5K7o8oi8oO2yBxDs1ecNaGn yIk5Q2FNC9L5WF5J3FQ5FBjO6yNwIy4Ck6ZtKYpa31SL5ZjljKPy1wCDHLxXNEHCR7ii tKi9jO4rOJB5OssQDkNOPTYNJmmDEmk75xcWaHa3PsIxWMmJPZsrcevZYhndoFuioPfU tfzg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YzUfZEea1Hx7LIct/l5ps5w6ETadKEW6YH7XxFumCKsyydJwveC lO8vv1/m4NbX4qvLOO7UNfs= X-Google-Smtp-Source: AGHT+IEV6XmcFC5PRkZ72aETX5CIBptW3cHAFwWmj9GM53MXFcVNOnGLxVZkcpbzLMyGdV5WCnRm4w== X-Received: by 2002:ac2:5de2:0:b0:503:1775:fc1 with SMTP id z2-20020ac25de2000000b0050317750fc1mr2125202lfq.31.1697560046604; Tue, 17 Oct 2023 09:27:26 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ac2:5590:0:b0:507:999e:6d67 with SMTP id v16-20020ac25590000000b00507999e6d67ls402555lfg.1.-pod-prod-09-eu; Tue, 17 Oct 2023 09:27:23 -0700 (PDT) X-Received: by 2002:a19:911d:0:b0:501:bf37:1fc0 with SMTP id t29-20020a19911d000000b00501bf371fc0mr2233992lfd.33.1697560043352; Tue, 17 Oct 2023 09:27:23 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1697560043; cv=none; d=google.com; s=arc-20160816; b=hFKS7odstByjmjJFbKjRs78yqftqrbssBSM0UzQXUwjyGgLrqeP0HYsYC/S5loMKAw 7amQmqlT1yL9UnjFSGPRjnnQR2rxnWp+T77SFlZfAN6mjtthdN4llIdEtQKz3uj8aB/O qEKN2iVavQBKXGYpymYnVf6DBQJ9f24uZ1ey+4TlohB5wJixfbcrpujBLygtpHVpgZaB ZYnP6a7sGLDuR5yx6w1h2rxAe7JC1TeSH9MjHcavtN2GFu4/KmjshV5IMlA/cOti3SGB Q0k5WbXzO6jJ9CTbOpyvFugxNQiNAjwHNKwo76QG7qEdo7Qdkq62e//G17Iab1VmfUPd 5p8Q== 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=jZ3xFVZj6R7QufFCUMQuHDC7bfCg6ykLULOwDAMAYY8=; fh=WgvZq+vAaBo+PpCdWf/wmwnVJi3MKUpaHbQqBKgj8Xk=; b=nDfSPlRBJhizvmd4YGcOYWY+hLxrvVZMNb2Wkr3agZudrAVDNZ7ZKV8YgxReFTW3tM W4IeQfmWe7Y4rHHP6P5UT/p2NNlcLP4rOsJqqZ2INNBgYspABJYQ2FDx+ZGfKYud3b3w bJRT1CopH4fvAdkXXjRrLgf9CyGeW93+Tnf4JKjnbN6mjIaO63+g5F+h/IWMs+h3oFcV arfOcamP5J+Mfppu6wG646Gngg/HEjY/aTVAzSC7oEHLGyORtwHhzu4KOTPJq5axrGyE EHjSNQVz5TEkfHSYZ6P1pK5BrLUQuSObIDAjVafdkK+DvnyrMLLpKZEWisQAKBb1Vv/g lBrw== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=N5PXUNab; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2a00:1450:4864:20::635 as permitted sender) smtp.mailfrom=andersmortberg@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ej1-x635.google.com (mail-ej1-x635.google.com. [2a00:1450:4864:20::635]) by gmr-mx.google.com with ESMTPS id r23-20020a05600c321700b003fe1f9a8405si27902wmp.0.2023.10.17.09.27.23 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 17 Oct 2023 09:27:23 -0700 (PDT) Received-SPF: pass (google.com: domain of andersmortberg@gmail.com designates 2a00:1450:4864:20::635 as permitted sender) client-ip=2a00:1450:4864:20::635; Received: by mail-ej1-x635.google.com with SMTP id a640c23a62f3a-99bdeae1d0aso959291366b.1 for ; Tue, 17 Oct 2023 09:27:23 -0700 (PDT) X-Received: by 2002:a17:906:fd86:b0:9bd:a662:c066 with SMTP id xa6-20020a170906fd8600b009bda662c066mr2110602ejb.76.1697560041907; Tue, 17 Oct 2023 09:27:21 -0700 (PDT) MIME-Version: 1.0 From: Anders Mortberg Date: Tue, 17 Oct 2023 18:26:45 +0200 Message-ID: Subject: [HoTT] Postdoctoral fellowship at Stockholm University To: Homotopy Type Theory , types-announce@lists.seas.upenn.edu, Categories list Content-Type: multipart/alternative; boundary="000000000000486ae60607ebffd1" X-Original-Sender: andersmortberg@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=N5PXUNab; spf=pass (google.com: domain of andersmortberg@gmail.com designates 2a00:1450:4864:20::635 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: , List-Unsubscribe: , --000000000000486ae60607ebffd1 Content-Type: text/plain; charset="UTF-8" Interested in doing a postdoc on logic and related topics in Stockholm? Applications are open for Sverker Lerheden postdoctoral fellowships in the Department of Mathematics at Stockholm University: https://www.su.se/department-of-mathematics/news/sverker-lerheden-fellowships-for-postdoctoral-studies-1.682597 Application deadline: *November 16* Please contact me and Peter LeFanu Lumsdaine if you have any questions or are interested in applying as you will need a letter of support from us. Junior candidates will be given priority, so late stage and recently graduated PhD students are especially encouraged to apply. -- 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@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAMWCppmiD%2Bf%3DTuabd5E%2ByBM81YFFKviEuh275ZQs-31Kjz_0hg%40mail.gmail.com. --000000000000486ae60607ebffd1 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Interested in doing a postdoc on logic and related topics = in Stockholm?=20 Applications are open for Sverker Lerheden postdoctoral fellowships in=20 the Department of Mathematics at Stockholm University:

<= a href=3D"https://www.su.se/department-of-mathematics/news/sverker-lerheden= -fellowships-for-postdoctoral-studies-1.682597" target=3D"_blank">https://w= ww.su.se/department-of-mathematics/news/sverker-lerheden-fellowships-for-po= stdoctoral-studies-1.682597

Application deadli= ne: November 16

Please contact me and Peter LeFanu Lumsdaine if you have any questions or are=20 interested in applying as you will need a letter of support from us.=20 Junior candidates will be given priority, so late stage and recently=20 graduated PhD students are especially encouraged to apply.

--
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/CAMWCppmiD%2Bf%3DTuabd5E%2B= yBM81YFFKviEuh275ZQs-31Kjz_0hg%40mail.gmail.com.
--000000000000486ae60607ebffd1--