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.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,MAILING_LIST_MULTI autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 3060 invoked from network); 6 Oct 2022 17:09:41 -0000 Received: from mail-lj1-x23a.google.com (2a00:1450:4864:20::23a) by inbox.vuxu.org with ESMTPUTF8; 6 Oct 2022 17:09:41 -0000 Received: by mail-lj1-x23a.google.com with SMTP id w11-20020a05651c102b00b0026dde7ed4casf956998ljm.8 for ; Thu, 06 Oct 2022 10:09:40 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1665076180; cv=pass; d=google.com; s=arc-20160816; b=K36se4kT/HzcHBtGfPo6QkP2LsTBaAziPDMeGCPG+l7X88Xa1wdiwUikYZL9ZR6f0w B09gmql4dTSfBiwM8/GRiwLWeENlvMs+QY4SMGdRKqIvkgpkPb2qMFTA7H9VIsBBZ+6Q vo22x0ehHvJ8rktnZZmkMcWaJnpQbw301tqWMWQ2ikYD/FHrj6lYQu8At+8OGmNrlqgH AWuRqXmlSZdWD73qlD2FP9Gg3fWEGEbDM8VpSnmSH4mFZkoPP9vyoSoWSQk8auxLBXD6 BDTXZss1/8EoXWLwgNbpOGFjrvUvjFrwHW/6uV8LfJiFJYfpybAwOtGZAUmLaV4IKwjS uvbQ== 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 :in-reply-to:references:mime-version:sender:dkim-signature; bh=HLEtUmWcTd8xHWCc70tzb8kZjd+H0qVit/nSBTx5xoY=; b=c98SAr1/ArGrRQxxF0zTFEUSJXOTSmBqdbHzsb7VlQhDPwPPxVVwYNGyje1Dx9fK3w ihZke7RI7DCEYr6SFF8QNnjIpWIurS2ZDLazRrFVtobzn0xzWgpEhluBYlb2++4CO83a dp0vMSFOF3GuWrG2HJXeob70ITQHHz8TDKFljIbHxoQ7wwqYI87VM+LQF+1EG+2SlbnO 0mYnFskpO0Z8DSWOmzQk88sNwB/+dLaKohlnrfdZzz3sBnPzG9JZKLiZ+0P/2rzIYvc5 59gZXncer0QjDhnU+2o77LQlO50b7fC4oXI0KV9NMmsx5t0xKpsI6fySajHZQFQVaimB HxKQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cl.cam.ac.uk header.s=mta3 header.b=D7gFjGWQ; spf=pass (google.com: domain of marcelo.fiore@cl.cam.ac.uk designates 2001:630:212:200::25:3 as permitted sender) smtp.mailfrom=marcelo.fiore@cl.cam.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cl.cam.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; 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:in-reply-to :references:mime-version:sender:from:to:cc:subject:date:message-id :reply-to; bh=HLEtUmWcTd8xHWCc70tzb8kZjd+H0qVit/nSBTx5xoY=; b=qYsX7Axv7lJ1M801ZnVqBUpCngsCrvBDeg3is7nyVX1/JD8vOBcX3erTEu8infCSHZ VhkrkqdU4GiVDUNoMqhbD/kH5NBMwoP9JR0be8SWewrBjIcRB06sXmK4h146WeCefN3Q rgXv1dU/2hN0tmKfIrJMaBd2vMUC4gdJvdQ9JWDHLMnbngsCauA4hTxlUx4cxEFP4Qra uivY+dsscxxiBuElLPE+pfJVIqXRbqysPCAhr7I8r7pO6ot29a9scuuPLMyVu1wtT/0/ nM/JBWWCnv7jg9f9NIoum0ItqXM2G4w1RgHmEXvWDBieA+GitPq1aLecmfo5k3HaddU0 m6WA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; 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:in-reply-to:references:mime-version :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=HLEtUmWcTd8xHWCc70tzb8kZjd+H0qVit/nSBTx5xoY=; b=pOsZ7/IY0Ij11JIacamBkWG4zegipXEQVgjVLgDn05+3xgLpPIZE/xReLQrVx4NgsS DWcudobnzcR+BLP7rChDanMWzWW3waPLxvo4GhGj5wvxtPOY3TVSevplMxvanPOx1Z87 yKfsVoiSQLUQ+rjqZZWC0eLKlazugcOO4Fom1RpaVCor68eZ2Om+ZXvMg9GDa3Irdj1E zPTWTLow+5ejHxAUamt+R5lcuRjeL+gfHdZf6i1LxkQhddIeunPqQksMc0/GF/oDnTc6 39hUZIL84uTl3eltepMH0jB4hAP9aNpM5ap4ZYK29uQ+NFDAix5F0RFr5zvJn8jZ1KfB St0Q== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACrzQf1P9gEni5s1HYJTtZTlzIzeiT/c8jJUz/SQAhVC3J0I0Z23RkJo FQ46WIu8jqnJt2X573k0rTI= X-Google-Smtp-Source: AMsMyM5Unh5iLdbxq9zkJPyvQEq/dCpxnMtW6+oGaiALZ5BNiqOvk2uTAD1nojEIiljqgYInWHjviA== X-Received: by 2002:a05:651c:903:b0:26d:d930:e3cf with SMTP id e3-20020a05651c090300b0026dd930e3cfmr266068ljq.232.1665076179607; Thu, 06 Oct 2022 10:09:39 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:651c:178d:b0:26d:cef8:8887 with SMTP id bn13-20020a05651c178d00b0026dcef88887ls526019ljb.7.-pod-prod-gmail; Thu, 06 Oct 2022 10:09:36 -0700 (PDT) X-Received: by 2002:a2e:9547:0:b0:26b:fb41:f60a with SMTP id t7-20020a2e9547000000b0026bfb41f60amr242967ljh.295.1665076176032; Thu, 06 Oct 2022 10:09:36 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1665076176; cv=none; d=google.com; s=arc-20160816; b=ExXsWTUTfmBWqRvk8b/xFHH3nluqBs39m+0CJk0Fizpesnv5zVXj67sYBVj9yzb1/V 69pCg4yBewNGX46kpm7QNxUPXjODDH+WGtvcBNbtHEPax/yfGhCT0tmDbjivJ3oFOwlR 0fXKAHfZQ/FeDqxyGLTxjvOlQktupqrTYern4Xpa4oP7Vboc/hlcetoIfJKSLbDjvRGt +7NCKZuDykSxwPXwRgxmkgrFGjzu3B8caLvQaSJoRTqFroQdp6gSFpbpWnjXMZkMRcQg S7lzwkFVoXA4CnTm8cHPL2hZmuEPY1j3ySltRFx5Jomrr3Gv3r2cjY0i7PFI0XO6J6MP fEKg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :dkim-signature; bh=enLno9FvpTInf0pUBQ+u8awWXdgWHZWPimMLC9uAnm0=; b=kJiTKnftH0zw0UWdtbiGlZPHKIC8Kh+Y96vPD0adkpLokx1vmH3Sc6ixVsGKUxn/0G FvayYck0DhC90nJtuqS9GkcgYROrQihpHkLYzyYPJJ69L/nekIcq5lRJazzj5m3d6aqF 5ctz8jZWT2jSN+sqDCthdUq402Ftcemkv8sb6jQnpVQYgHxQu0OvPHbXIwwaJMlYQ14q 30u93O85zdzY6Z6xrLocR8imOswh2QFQsBYPzk50MP/Vf0eHtECar+wYmuQSlf6hJdvk qPxgZi0yzzZ9FqKfZgIjk+bBSFl6FZ2uk19vFDNpM5pyVCJfmUAViyNuj05F7gS2dVft ZIDA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cl.cam.ac.uk header.s=mta3 header.b=D7gFjGWQ; spf=pass (google.com: domain of marcelo.fiore@cl.cam.ac.uk designates 2001:630:212:200::25:3 as permitted sender) smtp.mailfrom=marcelo.fiore@cl.cam.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cl.cam.ac.uk Received: from mta3.cl.cam.ac.uk (mta3.cl.cam.ac.uk. [2001:630:212:200::25:3]) by gmr-mx.google.com with ESMTPS id u1-20020a056512128100b0048b12871da5si658178lfs.4.2022.10.06.10.09.35 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 06 Oct 2022 10:09:35 -0700 (PDT) Received-SPF: pass (google.com: domain of marcelo.fiore@cl.cam.ac.uk designates 2001:630:212:200::25:3 as permitted sender) client-ip=2001:630:212:200::25:3; Received: from mail-lj1-f172.google.com ([209.85.208.172]:33438) (dnseec=no) by mta3.cl.cam.ac.uk:587 [128.232.25.23] with esmtpsa auth as mpf23+LenovoYoga (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.95) id 1ogUNL-00BQKl-EY (envelope-from ) for HomotopyTypeTheory@googlegroups.com; Thu, 06 Oct 2022 18:09:35 +0100 Received: by mail-lj1-f172.google.com with SMTP id a10so2997806ljq.0 for ; Thu, 06 Oct 2022 10:09:34 -0700 (PDT) X-Received: by 2002:a2e:1606:0:b0:26e:54a:ddca with SMTP id w6-20020a2e1606000000b0026e054addcamr254129ljd.478.1665076173497; Thu, 06 Oct 2022 10:09:33 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Marcelo Fiore Date: Thu, 6 Oct 2022 18:08:54 +0100 X-Gmail-Original-Message-ID: Message-ID: Subject: [HoTT] Job in Logical Foundations and Formal Methods at Cambridge. To: HomotopyTypeTheory@googlegroups.com Content-Type: multipart/alternative; boundary="000000000000d86c4f05ea60c1a6" Received-SPF: neutral client-ip=209.85.208.172; envelope-from=marcelo.fiore@cl.cam.ac.uk; helo=mail-lj1-f172.google.com X-Original-Sender: marcelo.fiore@cl.cam.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cl.cam.ac.uk header.s=mta3 header.b=D7gFjGWQ; spf=pass (google.com: domain of marcelo.fiore@cl.cam.ac.uk designates 2001:630:212:200::25:3 as permitted sender) smtp.mailfrom=marcelo.fiore@cl.cam.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cl.cam.ac.uk 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: , --000000000000d86c4f05ea60c1a6 Content-Type: text/plain; charset="UTF-8" This is to draw attention and encourage applications to an assistant/associate professor job opportunity in logical foundations and formal methods at the Department of Computer Science and Technology, University of Cambridge, with closing date for applications on 5 December 2022. I will be happy to receive informal enquiries about the post by email, Marcelo. -- 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/CANJchXtNm9xTinDzN7vPhZCPS6_oddqxpfwVR3Rg-0Q_TubZVg%40mail.gmail.com. --000000000000d86c4f05ea60c1a6 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

This is to draw attention and encourage applications to a= n assistant/associate professor
=C2=A0=C2=A0=C2=A0=C2=A0 <= a href=3D"https://www.jobs.cam.ac.uk/job/37369/" target=3D"_blank">job oppo= rtunity in logical foundations and formal methods
at the Department of Computer Science and Technology, University= of Cambridge, with
closing date for= applications on 5 December 2022.=C2=A0

I will be happy to receive informal enquiries about the post by email,

Marcelo.

<= div>

--
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://gro= ups.google.com/d/msgid/HomotopyTypeTheory/CANJchXtNm9xTinDzN7vPhZCPS6_oddqx= pfwVR3Rg-0Q_TubZVg%40mail.gmail.com.
--000000000000d86c4f05ea60c1a6--