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,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 30338 invoked from network); 1 Nov 2023 10:37:13 -0000 Received: from mail-pl1-x63b.google.com (2607:f8b0:4864:20::63b) by inbox.vuxu.org with ESMTPUTF8; 1 Nov 2023 10:37:13 -0000 Received: by mail-pl1-x63b.google.com with SMTP id d9443c01a7336-1cc42b91848sf683375ad.1 for ; Wed, 01 Nov 2023 03:37:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1698835032; x=1699439832; darn=inbox.vuxu.org; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-sender:mime-version :subject:message-id:to:from:date:sender:from:to:cc:subject:date :message-id:reply-to; bh=gRzaZUJCVlff032rDS1ECqwAkN54Kxr0ZXQ7EVOSdt0=; b=nktJWJOhqMBax3AGfP2GeGtwOT3scVN+z5K5niNba6xHe3ql2GsWHvdPYHO2kg0erR 4v3hUa6TVCwiEJ08xW238K1xBHXcOIjWnMIdo83OmaBcxLDv2uTpcQHsaDhru3x1qUdT FECcN3fpDrn6ZIxW7b3r/KMKn5JUJhIF2dXYoESBHbCskStohLd6vUhhgfKA/RQQhyCX fEWTuBtw4pJI7p6951SD6buu1vfZoacemLexQB14OA6ej7iRtahZ81zqh8j+zGn5+XhJ ZMlru1YxzEGEkDhKBaOLB9Lfy0HLNmI+iNwSK5ZDWqb790UPt5NpSF4q1ztbYb2G67wg PZwA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1698835032; x=1699439832; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-sender:mime-version:subject:message-id:to:from:date :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=gRzaZUJCVlff032rDS1ECqwAkN54Kxr0ZXQ7EVOSdt0=; b=lBTJawjUKUDtSMc0tZQ2+JOFOd2W13ipPnZmjfU8VXizgndln07ErHS2rN3Au6hhLl cKNcyEtWGcInVI/WtZNE5x5LJukZfRDv1/dwwyPh5Vm6walMas2S4+j21I8uTXM0L0s9 HmsYkUEoS1CArlAEyDcAEC2Iildn5T2ff2yk2gZ10lSlqsI0VcVFaQ/copYs7urkyXw2 VE/S0tKfpKjfVFTQ5CKkmQybLUCUAxnS8/RaFTj2+vjbRD4j1+SKhWMas7BV/89XCsnh 5B8d282kci+G2qmVsfDShng5SOafJqCXNj/uSC1YNgYPlpHOM4XEifcyJY59T8tKlh2G CXmA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YxazIZotl3Zoe/TA1j5sQtp3ZQn2fFKf0Jw998F7gueW+Sa3gMD 6zH58PLIQ5jYRsXOFXWTdfk= X-Google-Smtp-Source: AGHT+IH/VoMaBD1dfbUOrJLiClO9QBn3k+hUPem9MijpSvClYZH58NWrTkJ1J2wwqdI7qDpFmAZtew== X-Received: by 2002:a17:902:9685:b0:1cc:45fe:afe0 with SMTP id n5-20020a170902968500b001cc45feafe0mr417266plp.23.1698835031529; Wed, 01 Nov 2023 03:37:11 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a4a:9864:0:b0:586:ac7a:39b4 with SMTP id z33-20020a4a9864000000b00586ac7a39b4ls1217057ooi.1.-pod-prod-02-us; Wed, 01 Nov 2023 03:37:09 -0700 (PDT) X-Received: by 2002:a05:6808:2381:b0:3ae:2377:545 with SMTP id bp1-20020a056808238100b003ae23770545mr5194579oib.7.1698835029388; Wed, 01 Nov 2023 03:37:09 -0700 (PDT) Date: Wed, 1 Nov 2023 03:37:08 -0700 (PDT) From: Jonathan Sterling To: Homotopy Type Theory Message-Id: <0ed962f3-6bc2-4c05-a2b3-f185ba9a7365n@googlegroups.com> Subject: [HoTT] Postdoc in categorical semantics at Cambridge MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1672_401905531.1698835028555" X-Original-Sender: jon@jonmsterling.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: , ------=_Part_1672_401905531.1698835028555 Content-Type: multipart/alternative; boundary="----=_Part_1673_911471929.1698835028555" ------=_Part_1673_911471929.1698835028555 Content-Type: text/plain; charset="UTF-8" Dear colleagues, I am hiring a postdoctoral researcher to work with me in the Department of Computer Science and Technology at the University of Cambridge. Candidates with expertise in category theory, homotopy type theory, domain theory and/or the denotational semantics of programming languages are especially encouraged to apply. The *New Spaces for Denotational Semantics* project aims to develop an axiomatic framework for higher-dimensional program semantics with applications to concurrency, using recent advances in category theory, type theory, domain theory, and the polarised structure of computational effects. The project will focus initially on two-dimensional generalisations of call-by-push-value, duploids, and resource modalities. Applicants are encouraged to apply as soon as possible; the posting is open until November 22. Please contact me with any informal inquiries at js2878@cl.cam.ac.uk, and see our official posting here: https://www.jobs.cam.ac.uk/job/43755/. More details about the project can be found on my web page: https://www.jonmsterling.com/jms-00AL.xml. Please feel free to forward this message to potential candidates. Best wishes, Jon -- 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/0ed962f3-6bc2-4c05-a2b3-f185ba9a7365n%40googlegroups.com. ------=_Part_1673_911471929.1698835028555 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear colleagues,

I am hiring a postdoctoral = researcher to work with me in the Department of Computer Science and Techno= logy at the University of Cambridge. Candidates with expertise in category = theory, homotopy type theory, domain theory and/or the denotational semanti= cs of programming languages are especially encouraged to apply.

The=C2= =A0New Spaces for Denotational Semantics=C2=A0project aims to develo= p an axiomatic framework for higher-dimensional program semantics with appl= ications to concurrency, using recent advances in category theory, type the= ory, domain theory, and the polarised structure of computational effects. T= he project will focus initially on two-dimensional generalisations of call-= by-push-value, duploids, and resource modalities.

Applicants are encouraged to apply as soon = as possible; the posting is open until November 22. Please contact me with = any informal inquiries at=C2=A0js287= 8@cl.cam.ac.uk, and see our official posting here:=C2=A0https://www.jobs.cam.ac.uk/job/43755/. More details about the project can be found on my web page:=C2=A0https://www.jonmsterling.com= /jms-00AL.xml.

Please feel free to forward this message to potential ca= ndidates.

Best wishes,
Jon

--
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.c= om/d/msgid/HomotopyTypeTheory/0ed962f3-6bc2-4c05-a2b3-f185ba9a7365n%40googl= egroups.com.
------=_Part_1673_911471929.1698835028555-- ------=_Part_1672_401905531.1698835028555--