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=2.0 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, FSL_HAS_TINYURL,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, MAILING_LIST_MULTI,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: from mail-yb1-xb3e.google.com (mail-yb1-xb3e.google.com [IPv6:2607:f8b0:4864:20::b3e]) by inbox.vuxu.org (Postfix) with ESMTP id 0178328394 for ; Fri, 16 Feb 2024 16:28:12 +0100 (CET) Received: by mail-yb1-xb3e.google.com with SMTP id 3f1490d57ef6-dc6b26845cdsf3464277276.3 for ; Fri, 16 Feb 2024 07:28:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1708097291; x=1708702091; darn=inbox.vuxu.org; h=list-unsubscribe: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=e13MiIvjSMR4O5nGgWks6ock8oY8qVUnaNJ18oy366k=; b=IIo7ikGU6IJI1i0gLdTcL6FLRttBa3AG+nXL/70D2EOFY7hfnRhjjYd3iTGNOgewyr EbJdsbIk2zWcf6CkJt8/WwT0IT+R036uV6NgRCtx62ktEVJSas/E0589QR/7330qjeX6 n+FPpsX70se3tkBB0KpyBFwqOzNUXOMzrBTjaY4qCJ3YqvmxYPGTiGKK4iqWsT3z2ITI 0e5AkFYToeyDsLTJWfBzruXVBt5AvYwuE15Zji76FGjjOaIr+oagK07U8oY03480BUFp gAJvc9UwdBl0ggrtq4CYYsJ3+eO0xyfZ8v7OnYWhx5VVniuWbAYIwNp8aBkeGhfSy968 cLtA== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1708097291; x=1708702091; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-sender:mime-version:subject :message-id:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=e13MiIvjSMR4O5nGgWks6ock8oY8qVUnaNJ18oy366k=; b=kYOBpGMJCV+u1K/G9HmkQiI+fXl9FWBcHgdJ2gsrlkyNXgjgQl4Pt1yWY9EwqTr4fE UZhYsYuV/Y+Nml/xxDN8IofOPmpFANzYYFh1jU/R3PGdO42CF7rTD3D+KLcAbRd7+/XD CVS6p8o44a/5O+DGfWM0gHlP8oSJgrtNa34WX5xrUx7wOCrwaaeAiSKdKjJ6xgoTAvTt CwRwMnva+eKqJ+umkYlSrqDl55fEoXfyMpmWCgJUat4NaHWquzv5+Q/ycStqVfSmuYJY VlV6FB+qZJIgYKs/K55mKr2pPKGAvh+LN5ZQWfXEk7/Mvyk4Y6y1yPb8b4mTUkYxpZzO s8Kw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708097291; x=1708702091; h=list-unsubscribe: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=e13MiIvjSMR4O5nGgWks6ock8oY8qVUnaNJ18oy366k=; b=owaqOlygBHfqH8gfPJBhCXpjpQZtccqsGQgQ4l0bBWyQZpYMVk0Lg6MK6Z4nRtZOba psGNZk3Og7+OQ9aQgySVky3cBj2mbFMC40VlAyJS//B249H3crBxLdCltQu/e4Bf14f1 BDVJzsFx57JsGBUClsb3/a5ol+vVCHadBmYRI9QeWsmtsaq2szzsfYAqUHmDoAu+kg07 jf4Dsq1VCtTJ8MBXZcbkTR0Nn/ujzBlB4ecwJ5Io0MKHdGbZGH2oAPoP5dmb1oNwbQtF NufVsQbcV+dWIWk5E0yW7WTlhSjj9DmxbXnG1FbmBLJDQXTbZsRxC/mis9zEe4twY+Cc oz1Q== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=1; AJvYcCVNOTUKEZp68s605osbtG+aQo9MDxCoEEGv6c7XEbBfiP3mDndulu71B38M4UpHA8RIZ15oHEoBVptO5I2ImOlbDA== X-Gm-Message-State: AOJu0YzbPsB2rjkX7fUXHYuKF08xA2+8p1BiaWuSuFwLGuez08KT4/ul dCh+9dgZbiajA6Tzjbnxt0BqW2/Z80Bzz2nyNSGfHgbhbm/cLC3W X-Google-Smtp-Source: AGHT+IFtm8OOFO7gZHB90DJL+XYt4hOOXz3P7kof2u4C0PfLDv2LbuGYFCS9IzyWcfFDwgfmbroPuQ== X-Received: by 2002:a25:dcc2:0:b0:dc7:4a94:d867 with SMTP id y185-20020a25dcc2000000b00dc74a94d867mr4860305ybe.36.1708097291161; Fri, 16 Feb 2024 07:28:11 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a25:d043:0:b0:dcd:a08f:c83a with SMTP id h64-20020a25d043000000b00dcda08fc83als1304795ybg.2.-pod-prod-05-us; Fri, 16 Feb 2024 07:28:09 -0800 (PST) X-Received: by 2002:a81:5748:0:b0:607:c418:33ba with SMTP id l69-20020a815748000000b00607c41833bamr1142364ywb.8.1708097288837; Fri, 16 Feb 2024 07:28:08 -0800 (PST) Date: Fri, 16 Feb 2024 07:28:08 -0800 (PST) From: Nicolai Kraus To: Homotopy Type Theory Message-Id: <39c7198e-5e87-4119-a825-9d82ffe19a19n@googlegroups.com> Subject: [HoTT] PhD positions in Nottingham, UK MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_90574_525917228.1708097288127" X-Original-Sender: nicolai.kraus@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: , ------=_Part_90574_525917228.1708097288127 Content-Type: multipart/alternative; boundary="----=_Part_90575_388574943.1708097288127" ------=_Part_90575_388574943.1708097288127 Content-Type: text/plain; charset="UTF-8" Dear all, If you are a student currently looking for a PhD position in the field of HoTT, please see the advert below. Additional information can be found at: https://www.cs.nott.ac.uk/~pszgmh/10-phds.html --------------------------------------------- ------------------------------------------------------- The School of Computer Science at the University of Nottingham in the UK is seeking applications for 10 fully-funded PhD studentships: http://tinyurl.com/ten-phd-2024 Applicants in the area of the Functional Programming Lab (tinyurl.com/fp-notts) are strongly encouraged! If you are interested in applying, please contact a potential supervisor as soon as possible; the application deadline is 7th April 2024: Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Ulrik Buchholtz - homotopy type theory, synthetic homotopy theory, proof assistants, constructive mathematics, and related topics. Graham Hutton - not currently seeking a new student. Nicolai Kraus - homotopy type theory, higher category theory, constructive mathematics, and related topics. Dan Marsden - category theory, logic, finite model theory, diagrammatic reasoning, foundations of computer science. Best wishes, The FP Lab University of Nottingham -- 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/39c7198e-5e87-4119-a825-9d82ffe19a19n%40googlegroups.com. ------=_Part_90575_388574943.1708097288127 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all= ,

If you are a student currently looking for a PhD position = in the field
of HoTT,=C2=A0please see the advert below.
Additional inform= ation can be found at:
https://www.cs.nott.ac.uk/~p= szgmh/10-phds.html

---------------------------------------------<= /span>-------= ------------------------------------------------

The School of Computer = Science at the University of Nottingham
in the UK is seeking applications = for 10 fully-funded PhD
studentships:=C2=A0http://tinyurl.com/ten-phd-2024

Applicants in the area of t= he Functional Programming Lab
(tinyurl.com/fp-notts) are strongly encourag= ed!=C2=A0 If you are
interested in applying, please contact a potential su= pervisor
as soon as possible; the application deadline is 7th April 2024:<= /span>

=C2=A0 Thorsten Altenkirch - constructive logic, proof assistants,=
= =C2=A0 Ulrik Buchholtz - homotopy type theory, synthetic homotopy theory,
= =C2=A0 proof assistants, constructive mathematics, and related topics.

=C2=A0 Graham Hutton - not currently seeking a new student.
= =C2=A0 Nicolai Kraus - homotopy type theory, higher category theory,=
=C2= =A0 constructive mathematics, and related topics.

=C2=A0 Dan Marsd= en - category theory, logic, finite model theory,
=C2=A0 diagrammatic reas= oning, foundations of computer science.

Best wishes,

Th= e FP Lab
University of Nottingham

--
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/39c7198e-5e87-4119-a825-9d82ffe19a19n%40googl= egroups.com.
------=_Part_90575_388574943.1708097288127-- ------=_Part_90574_525917228.1708097288127--