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=-1.1 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,RCVD_IN_ZEN_BLOCKED_OPENDNS, URIBL_DBL_BLOCKED_OPENDNS,URIBL_ZEN_BLOCKED_OPENDNS autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-pj1-x103d.google.com (mail-pj1-x103d.google.com [IPv6:2607:f8b0:4864:20::103d]) by inbox.vuxu.org (Postfix) with ESMTP id 060BF25D88 for ; Thu, 21 Aug 2025 10:53:55 +0200 (CEST) Received: by mail-pj1-x103d.google.com with SMTP id 98e67ed59e1d1-324fbd47789sf294522a91.3 for ; Thu, 21 Aug 2025 01:53:55 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1755766434; cv=pass; d=google.com; s=arc-20240605; b=aDb39WAdEdYLGxU07hCns9AF6TFm0laMG83GvJxCExkV505tJORmjepuwgYPEtJv3S MqiVfaD/u7mc7fNjxyHstOLqlSowz0mbo5UI5uqb6k3ZomVHhelAIB6BIlRckVOIku4h BIV/fFWxkbzci3YGGVT+HTPyaczzPzhLFiNszjfc0kSaEoFLng8qz+eUqivHwx4OMhed SdJV1H3XQaSOOnntPTfv8zgKJEIaUbcjir2xWkGr/46fqovHOGomuU+M0ZFTDoDihxwO izE5hTVH4s1xDRHYJGadVNXxCHU/qKSfCS1YW1E4lzt67FW8YuiL71mxX4COOMe0vK8V SpNg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:to:subject:message-id:date:from :reply-to:in-reply-to:references:mime-version:sender:dkim-signature :dkim-signature; bh=4QDxIpfwUL527hyuNpoxuvtCw+zl/N51GsxMKMc4bQI=; fh=rZNKCGPdu88Z1vLKjeD2Vk4reVjbtnGkeiqoUHkdR4U=; b=ksEbHipJKbFOuucm5O0f+wb+ar3H6K0CmiDgC8FxeUTS9QtTF1scsH9UmnFm9UzoZ1 DRQitPrXLv1ML3nOythOKJrQNz2YRilXzmOteupxUrnxQAMsspmV86Cye8hlZ11iunb2 Tgw73V594l5Z5VXLyRvNor5pQnLDPjdt9NdSszSVdtceZUg6RgnMuMIg4CE6AhBxn662 pIXQ+k7zL8tXAqmYBtdxXqTX0WWFQbIhacYoPEhmo+7UnRYf8nrra1LqRjc/uS7ugB1V BdiYFEJckjYgkQAYZNTTi8CvNTtRIo2OBkjBFrU7UupMOcUJYMitPWgIpetcQq8A9FMY QbZg==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=flgwfwTU; spf=pass (google.com: domain of jamievicary@gmail.com designates 2607:f8b0:4864:20::f31 as permitted sender) smtp.mailfrom=jamievicary@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=1755766434; x=1756371234; 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:reply-to :in-reply-to:references:mime-version:sender:from:to:cc:subject:date :message-id:reply-to; bh=4QDxIpfwUL527hyuNpoxuvtCw+zl/N51GsxMKMc4bQI=; b=owu5cP0WAlYO0X9zsPPP1t9ArALJODVsHXH3QuJjZf7ac/R3mYB7yZ/43nzNUCn7gt udH9MtLoy0ybHXChtxWEo3Qamao/Vyft8gen7CZFY1Ae/XcAYut36PMBx7rGYfCnTxsd xMoEvHycpccUeQSYsCjeKyg2vvKNFUxTb3vrjxVfjrk/6idhFxjTDjB15lAOnZNJj2QI go5fifk2Z7LaLzzrJ1NpOC6jTEP9r8qSSGDE8BAOOLrj7pxW2LX4Q48hZB9qIQS/QCIW Mb3BxBqWXzvTXMalTKXUw8e7OjMNwkvRfFwCYMcIQ73HCX112Qpv3755qZUd3XWe1xBO Jzvg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1755766434; x=1756371234; 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:reply-to :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=4QDxIpfwUL527hyuNpoxuvtCw+zl/N51GsxMKMc4bQI=; b=cK2wFrym5ll6I177xYGGnz1NT7J9YXM1YPQ13jriALNPyR5utdICivpJ06S17YG+SB 1wxavVfvexU+sex9j9V5EYS5cg2ZZzRuIsuMcrTVo5CVV76r3RZZoPi/mNisz15dPQ3F ybbO9WFPzpXlzanQVE/z1YZXHXDXiZOKwK4uoEkOKt8oyVOUtex1MaeCUrKxRcG4N/ER ww4pFU0tuHdMhFt1p0mQMGDmgZRF7qBtSdKu7jaVDQ2CkhJ9G2VNAt20spDk6yrtVMjI P/3iA7pOfl4bvgtI1/5pekiUC1nvES7ixDHv+XvZZNFw/zGzJN8hfY0SmwjEQeQ1NNQL 0RLg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1755766434; x=1756371234; 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:reply-to:in-reply-to:references:mime-version :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=4QDxIpfwUL527hyuNpoxuvtCw+zl/N51GsxMKMc4bQI=; b=m6Mv3liMpxSXRDwzaU01yGAsxJJezJD4qpJBjgGjusJh8APfGrvuagFk5bB+rI2LLA 60HE/7vukiotRpQXpb0YBUuTgNEtizhdQBUnQOxR/5hcwOFyY6lSfFdBcd6WqqaPBulk zTPtU3OJGSniFn81eBbcDb+QAZO3B9FEq4YihtRalLz6HGhHYmaicFs8MTFirdGQ5kV2 K5xJpVbj8DT12pr4SjGYO/a/NCCnDx80007+RwwsF6cbfMP9jMpiDtTgAZnp3BoLx81L n+fJ0vL+iGzpD+WK46C1vLT3vh6c30qbeWN9boeFhAIAUWXPV1f6Ss+rjUEZaHhM14c4 K47Q== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=2; AJvYcCWrGUCWHyMjJ/PBAzYP+UN/y1blM8BokfM42EoKpJfbr4z2E15cI57KXPaMqZmcyeLaww==@inbox.vuxu.org X-Gm-Message-State: AOJu0YxNSKW92F8XeLoyb+Op29cd0Omk80atKasnjNrwWT+8QDn9qAzf Z0WrshsgECyv8Udnii9ALulFUzHzQPgOtqiPKqGkzh63DuaUj+AydM1s X-Google-Smtp-Source: AGHT+IEFyqtA/X+mXSnRdBttGYok6TiLp9+4n6PxiUEHMcUBODDTI9lCRtX3/yxflMHbgu4CGBzqhg== X-Received: by 2002:a17:903:1a07:b0:23f:fde7:efef with SMTP id d9443c01a7336-245fed86823mr19817635ad.30.1755766433841; Thu, 21 Aug 2025 01:53:53 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com; h=AZMbMZctjKNdZSSW7xKWGOW53KaCTKw7LqtpeJEs1gMNw6gHhg== Received: by 2002:a17:903:1c9:b0:240:9e9:b889 with SMTP id d9443c01a7336-24602ee0b8als6726355ad.1.-pod-prod-01-us; Thu, 21 Aug 2025 01:53:49 -0700 (PDT) X-Received: by 2002:a17:902:c94d:b0:246:61f:e977 with SMTP id d9443c01a7336-246061fedfdmr15491985ad.60.1755766428899; Thu, 21 Aug 2025 01:53:48 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1755766428; cv=none; d=google.com; s=arc-20240605; b=R64ACJE6C4g9Y4nnNPabFNAfBCg2Y0Ew1+qhZLSEsMIczphEFyM/JLJ8zZU9t23pmT 4qMyU8LlYJ0/Qhf+am61jr9bXEdVj4HteUhFLTZMh2SJto25cON4Qvpjmd0WhTAJst5F sN0KWQCO07vCsXD0bkyYFYYQaYo5a4b9r0dcODejj7k3bo2wG3SHkLigIKXUaNq4t57c Rf5wTZK+YW7Ecs94/jeHB+pZZ84elcqRqK1V59Hw6bhXAWdpu4g3rRdWlNZrN1910oVw GL+SX82HdnZ3FAEFQtUQ0N37huvrKLI0a1/5e/IE0cOKBsGbLmbvtpbvOuSGl8OSMZOM vGYg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=to:subject:message-id:date:from:reply-to:in-reply-to:references :mime-version:dkim-signature; bh=+CEeL9G2P5Jk0y/KwKHe+C8QIIt7ZqkNvwuKtUzRYbA=; fh=uP5bnnAKtD6/mbcBVX56Xsh6TPVNKVhZ3G6TEfCAp8g=; b=lDy2z6E+49nQzof2CyMg0UepRxMqdz6Pzod52e8Owf/h7uhYqPaMMggcKuqXgoUzJe NXn4t8JCBvu0nMB6TPcSFA+B44jQz/yYNFVF2GrFjguvx5QQPBngJ3+F847ETU4dHPDw wVIJjIfe+hjYr0KkGzxqFq8L/eyASf26/ifSBlAl4zGRArWn6gw7MTtM3zZNePQJSUBx Ckx71IuH+23JpdkSBVamSd8GTZoCHhfwQFR8DsTPJ1Zs7QzQEe77f6fXUKfS3hsmUr8B pnV6fCWJ3/NFyagQ7z5hoaA9y0O64WmgDBAvcAETBTSViyJcSTJ1RVlrmxT0JNz2Bz0s L/gg==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=flgwfwTU; spf=pass (google.com: domain of jamievicary@gmail.com designates 2607:f8b0:4864:20::f31 as permitted sender) smtp.mailfrom=jamievicary@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com; dara=pass header.i=@googlegroups.com Received: from mail-qv1-xf31.google.com (mail-qv1-xf31.google.com. [2607:f8b0:4864:20::f31]) by gmr-mx.google.com with ESMTPS id d9443c01a7336-245ed44d7bdsi1740465ad.8.2025.08.21.01.53.48 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 21 Aug 2025 01:53:48 -0700 (PDT) Received-SPF: pass (google.com: domain of jamievicary@gmail.com designates 2607:f8b0:4864:20::f31 as permitted sender) client-ip=2607:f8b0:4864:20::f31; Received: by mail-qv1-xf31.google.com with SMTP id 6a1803df08f44-70a9282f475so8061846d6.1 for ; Thu, 21 Aug 2025 01:53:48 -0700 (PDT) X-Gm-Gg: ASbGncsD76U24tMFzJ85J5FirnYHonswqFIGUvWaLURucx/jxb/MgN4D6Exqu8Uuu61 vQ5Dg4OFceasboLcQTJ2/TSHg0QLEUbKs1qfYHVG++N7BDGADs6ltC+FUnNWhqza5NtCFSIIUQ0 RPdV+SA9/gre+mTOwMqShZsf0bpK+YdmA+A3Lt7zISziuWqqeQ1oc7JqaMbKLdpEFZWzLUSlZpT ljMt03c4i9ie7G+EbGex6oXyVbkyuWOcQlJkHLrI7u8FBc= X-Received: by 2002:ad4:5bab:0:b0:709:9991:158a with SMTP id 6a1803df08f44-70d88f9d398mr13704656d6.43.1755766427348; Thu, 21 Aug 2025 01:53:47 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: Reply-To: jamievicary@gmail.com From: Jamie Vicary Date: Thu, 21 Aug 2025 09:53:30 +0100 X-Gm-Features: Ac12FXy-nLHgFnl-Jx-e0gzdeobWjNQjcDI9dVM-loG-uL83IQx9t8odX6ujjRA Message-ID: Subject: [HoTT] Postdoctoral position in logical methods and machine learning (2 years) To: Homotopy Type Theory Content-Type: multipart/alternative; boundary="00000000000035f74e063cdc3a63" X-Original-Sender: jamievicary@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=flgwfwTU; spf=pass (google.com: domain of jamievicary@gmail.com designates 2607:f8b0:4864:20::f31 as permitted sender) smtp.mailfrom=jamievicary@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: , List-Unsubscribe: , --00000000000035f74e063cdc3a63 Content-Type: text/plain; charset="UTF-8" Hi, I'm writing to announce a 2-year postdoctoral position currently being advertised to work with my group at the University of Cambridge. The project is on logical methods (broadly considered to include type theory, category theory and other topics), and machine learning. The ideal candidate will have good experience in at least one of these fields, and will be motivated to work in a cross-disciplinary team to extend their knowledge in both areas. Please pass this on to anyone who might be interested to apply. I'm happy to answer any questions. The research is not specifically focused on homotopy theory or higher structures, but we are a higher-category-friendly research group, so there's certainly scope for these sort of ideas to be brought in. https://www.cam.ac.uk/jobs/research-associatesenior-research-associate-category-theory-and-machine-learning-fixed-term-nr46937 Best wishes, Jamie -- 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 visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CANr23v0c%3D8O_NtDmHV70qPrTYyexgsyqH4L%3DFoZAE%2BpMs5ABtQ%40mail.gmail.com. --00000000000035f74e063cdc3a63 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

I'm writing to announce a 2-ye= ar postdoctoral position currently being advertised to work with my group a= t the University of Cambridge. The project is on=C2=A0l= ogical methods (broadly considered to include type theory, category theory = and other topics),=C2=A0and machine learning.=C2= =A0The ideal candidate will have good experience in at least one of = these fields, and will be motivated to work in a cross-disciplinary team to= extend their knowledge in both areas.

Please pass this on to anyone w= ho might be interested to apply. I'm happy to answer any questions.

The research is not specifically=C2=A0focused on homotopy theory or higher= structures, but we are a higher-category-friendly research group, so there= 's certainly scope for these sort of ideas to be brought in.

=
Best = wishes,
Jamie

--
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.g= oogle.com/d/msgid/HomotopyTypeTheory/CANr23v0c%3D8O_NtDmHV70qPrTYyexgsyqH4L= %3DFoZAE%2BpMs5ABtQ%40mail.gmail.com.
--00000000000035f74e063cdc3a63--