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,LOTS_OF_MONEY, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 7414 invoked from network); 21 Nov 2022 13:20:52 -0000 Received: from mail-lj1-x240.google.com (2a00:1450:4864:20::240) by inbox.vuxu.org with ESMTPUTF8; 21 Nov 2022 13:20:52 -0000 Received: by mail-lj1-x240.google.com with SMTP id g3-20020a2e9cc3000000b0027760138bb9sf3439757ljj.23 for ; Mon, 21 Nov 2022 05:20:52 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1669036850; cv=pass; d=google.com; s=arc-20160816; b=ma2pxrx48iHE+ihSnRINKKe741GQTMU7zqYlISKojR6vt1DjDZ9Ai2gk0i0NXmcCeL xlwdbLPOL/hEewsl4tcHrtPB1nSzw8mADcwjQjbPgYy5DFk+JjGOs8V2/nZA1YGXRmWX BDeSbtBHZe9xFAP00IweRkLMoyIiCe2guqC/zvKOdffXB+QAt8JY1gSZdJuo+aoVRXQu QzFm7uKN8vnea9lPKB0bEbIST0qdqu1d86gyUWsHaW46ShULv1gwhldXtB2A329SwXFl Jg1lUx/S6fsfHeu2K7za450uCjhy8Y1QCZYSWYJYCgZ8MnwPzwiNRKHmd+dAgZ/xkwlk FaIw== 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=GxToRg/1mZnVcAivqN5XBFt6IoxnZ2RHlFlPFAVkM2c=; b=zgc/eejJFbZKoXQ0Dbwoili9RUNDL1mXsU/DE6gSUCcAJjv7CBJevg3EAoJiPFUbUF DXNB/ddNcS2nfSIIHveNCLxsBEc+vQafubrLfwb/0CGAb4VX9r6vUehU2vAZQtWgxKcB tFhM5a1wHbCmONu3bQ4f0PaIG7Xh/EFKS846vVCNZQmG1NH/gLojDSPuWvxySr3jqxjd PpmZ/6nlchx9i4i4tVTDgje1ZbUV+q/SfFCFCkW0G8OZgrQ8e0XO/+j/W1K5Cf7M5IJC VQya0oeHkYI3UxGALYpsY7XVQcboi4RMkUHgmeczKa6+xZlSmgpqtdv8Zr3TZNUv8KIa ClWQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=G8e7WmMR; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2a00:1450:4864:20::62b as permitted sender) smtp.mailfrom=nicolai.kraus@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=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:mime-version :sender:from:to:cc:subject:date:message-id:reply-to; bh=GxToRg/1mZnVcAivqN5XBFt6IoxnZ2RHlFlPFAVkM2c=; b=tc3s+lXDSL264VVayXMl6plQ7QzKBfGAA2MNeazyH8lI/sfENsVYyannx3AkrvFXTM lyb99ROsO1xXUqOXGs6jHk+iB/FSZs/JhmfWZEkGqtYXFiMm5NjCwaXD8+NUHNwwemY1 8Fm8+8G+xRro5J9AzWKgsQc2hIIIcYodx93fLLQHB4iDzHkaYcdQP654udNY1Sz/7qFn 5x3ao2MiXVYqmTdZ4T80uzdbxUZf+GVv1mZUZoxe/4HfE4R8WxfdhHEKPWGYRukzIIqK 8quBljHwZHlwme4oMxAOL3HpCkIRZH31DMH9QpZIP4MAR1ZXRYgmMrQku7SBs2Nr/S6W MG8Q== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.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:mime-version:from :to:cc:subject:date:message-id:reply-to; bh=GxToRg/1mZnVcAivqN5XBFt6IoxnZ2RHlFlPFAVkM2c=; b=FmvW9En6XiljbPduGUmzPHFQtVD5egKO5HhBlXFCN5JM9WmMoZNcM8f2MUCPOlxA0X OruQb8sOLQNbO7iwAJUz90g7dU2qkU7sEZKelrPXb8u7MqPGw3bKkt1gde9ePSHFteF7 whI+YQjL4x5UDeN0suzlKhGSRccX/Qa1Qtvo6KBD2OZlv2Y0u9EhKotCz0bKdVvh1+EL Y/DciQj0SwfzTL81c3CIBB8ZUGVygVcnSu6xkZLCq06ZovoLrcS0Uglf9vd6kZHdQk6I xi6Ox+Gob8ijrfEx8/Jn1rSBUhh92vIDKsTWcPBW3+NKIvMG9J3jjJhpb4wUJITSDAs/ LKEQ== 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:mime-version:x-gm-message-state:sender:from:to :cc:subject:date:message-id:reply-to; bh=GxToRg/1mZnVcAivqN5XBFt6IoxnZ2RHlFlPFAVkM2c=; b=SU3PbESmmpMW95YodUAqwBqFOoQqc6VkxHQ7jSFjB/6MWDA/bQBvRrLpJuqkerTxE8 qnrzZ8kjjz/VFzhp5lp2Q+k9pdRgGr2S+FpHyVkj0Pb22BSu1zmPAs3Sw+Fr0wpsQ+cG wyR3B0R3vN4fTPGoQeA06k0lC29v5IVvbd2i9D5slZHRQM9d4zMGAFt01atsNBWykAIm qtnjW+4ByaG3nu2zk5BqoeFHN/wtnGQWMLpAyLH0VNI7n607hWF2hwNqpmaZzbW12w6H b60wpQ6Wx2uWFnW75s/HxuXH/M/MTnuorI3e+aGCu2UIUDnjJFHRY+ZvAHXk5+MsvYpi znCg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ANoB5plv/cZki2KGjfzAWLs2qDoaXhZu1sJsivMKOjSvuQPcMQYtVGz1 UtLtVmO1U/j0NsYteyP0i7o= X-Google-Smtp-Source: AA0mqf6S2fdHzbQiXi7sJGDePwLJGFDQRqASU+GGeWG2nMOGADtjCywUb5DCeCVoIkCHV9RRxpwhDw== X-Received: by 2002:a05:651c:2388:b0:279:d60:ee7f with SMTP id bk8-20020a05651c238800b002790d60ee7fmr6234358ljb.404.1669036850576; Mon, 21 Nov 2022 05:20:50 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:651c:907:b0:277:a9d:9351 with SMTP id e7-20020a05651c090700b002770a9d9351ls1877219ljq.7.-pod-prod-gmail; Mon, 21 Nov 2022 05:20:47 -0800 (PST) X-Received: by 2002:a05:651c:886:b0:26e:682a:77f with SMTP id d6-20020a05651c088600b0026e682a077fmr6430609ljq.110.1669036847675; Mon, 21 Nov 2022 05:20:47 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1669036847; cv=none; d=google.com; s=arc-20160816; b=CbirKJcMoqorwZyfo0rCFlIfNvpbtBhosckcgcVG/IzCh/q51LQzgRUheaBoyeWHvO Cch11Vuf2b5Iouz1e/oXW7kuvrsup7BjI1LnvmGJaFjEbm9AxkyHCyP1UI9jU3pbxZPI 1bDJM77HTwBtCcGqXkDtbsRmEbMWrDdqydkuSVkajqsEKXdAvfi3YtX7YhmUUCRKfuti p4uboVJBFNjmnMPelwOzalP00QRjc+4cTFvmen1QsqAuEuHiUlBaS+GHIPegfdgEzme5 BstoxPIlxSg5Cdpj7EvtczzSInJDEg8GoXTeYJK/K2UXPdVm4/X/yd+0rASziDV+IYxp dVIA== 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=V/2aeOGt+Q51HM9XFqCJ5EYKd91Z/oz3W/YCR3pyYeM=; b=pCjvCuE2lhtYnMJRfQmzvkPPko+KHl0oi4vWRdt8Qa0Gtgrqych7Zhs4ZIw2aIX8k4 XE1iYYw5lxY1Y+LlWUQQp6raIcI/RE/wjY7wPb4dVNBDZQBMmLX+HqXLHx3Y/EacCfor mhjniC6bs2lqLDdXm8MtIuUWP5zOziCPcfCt0QZGf9C4HpIpjNpoYsA6+dS1RDkD7UFF JcdGWuiOl5iOH/zqKKHexKeQdEFRfOFVukZC5lsmGxXu4XELfaL51zFPLlaRDNsi791B niNdR3dbSzBR9W53m8ETfcdcWrThvOaROrPeJR6Py2s93BqKC7J9Lptkgd6ykGodNXa3 +JjQ== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=G8e7WmMR; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2a00:1450:4864:20::62b as permitted sender) smtp.mailfrom=nicolai.kraus@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from mail-ej1-x62b.google.com (mail-ej1-x62b.google.com. [2a00:1450:4864:20::62b]) by gmr-mx.google.com with ESMTPS id x2-20020a0565123f8200b004b01b303713si377996lfa.8.2022.11.21.05.20.47 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 21 Nov 2022 05:20:47 -0800 (PST) Received-SPF: pass (google.com: domain of nicolai.kraus@gmail.com designates 2a00:1450:4864:20::62b as permitted sender) client-ip=2a00:1450:4864:20::62b; Received: by mail-ej1-x62b.google.com with SMTP id n12so28399350eja.11 for ; Mon, 21 Nov 2022 05:20:47 -0800 (PST) X-Received: by 2002:a17:906:8613:b0:7a6:a48b:5e2a with SMTP id o19-20020a170906861300b007a6a48b5e2amr22986ejx.338.1669036846767; Mon, 21 Nov 2022 05:20:46 -0800 (PST) MIME-Version: 1.0 From: Nicolai Kraus Date: Mon, 21 Nov 2022 13:20:35 +0000 Message-ID: Subject: [HoTT] 10 PhD studentships in Nottingham To: Homotopy Type Theory Content-Type: multipart/alternative; boundary="0000000000005e60a805edfaec82" X-Original-Sender: nicolai.kraus@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=G8e7WmMR; spf=pass (google.com: domain of nicolai.kraus@gmail.com designates 2a00:1450:4864:20::62b as permitted sender) smtp.mailfrom=nicolai.kraus@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: , --0000000000005e60a805edfaec82 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, The School of Computer Science at the University of Nottingham in the UK is seeking applications for 10 fully-funded PhD studentships: https://tinyurl.com/ten-phd-2022 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 12th Feb 2023: 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 - functional programming, haskell, category theory, program verification, program calculation. 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. These positions are open to students of any nationality. Best wishes, The FP Lab +-----------------------------------------------------------+ 10 Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK https://tinyurl.com/ten-phd-2022 Applications are invited from international and home students for 10 fully-funded PhD studentships offered by the School of Computer Science, starting on 1st October 2023. The topics for the studentships are open, but should relate to the interests of one the School's research groups: Computational Optimisation and Learning; Computer Vision; Cyber Security; Functional Programming; Intelligent Modelling and Analysis; Mixed Reality; Uncertainty in Data and Decision Making; Visualisation and Computer Graphics; Cyber-Physical Health and Assistive Robotics Technologies. The studentships are fully funded for 3.5 years and include a stipend of =C2=A317,668 per year and tuition fees. Applicants are normally expected to have a first-class class bachelors or masters in Computer Science or another relevant area, and must obtain the support of a potential supervisor in the School prior to submitting their application. If you are interested in applying, please contact a potential supervisor as soon as possible, and at least two weeks prior to the closing date. If the supervisor wishes to support your application, they will direct you to make an official application through the MyNottingham system. Closing date for applications: Sunday 12th February 2023. +-----------------------------------------------------------+ --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/CA%2BAZBBqh72He7XWsctocK3tU_XmryHGvxtbVjaU4M-YUywzv2w%40= mail.gmail.com. --0000000000005e60a805edfaec82 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

The School of Computer Science at the Uni= versity of Nottingham
in the UK is seeking applications for 10 fully-fun= ded PhD
studentships:=C2=A0https://tinyurl.com/ten-phd-2022
Applicants in the area of the Functional Programming Lab
(tinyu= rl.com/fp-notts) are strongly encouraged!=C2=A0 If you are
intereste= d in applying, please contact a potential supervisor
as soon as possible= ; the application deadline is 12th Feb 2023:

=C2=A0 Thorsten Altenki= rch - constructive logic, proof assistants,
=C2=A0 homotopy type theory,= category theory, lambda calculus.

=C2=A0 Ulrik Buchholtz - homotopy= type theory, synthetic homotopy theory,
=C2=A0 proof assistants, constr= uctive mathematics, and related topics.

=C2=A0 Graham Hutton - funct= ional programming, haskell, category
=C2=A0 theory, program verification= , program calculation.

=C2=A0 Nicolai Kraus - homotopy type theory, = higher category theory,
=C2=A0 constructive mathematics, and related top= ics.

=C2=A0 Dan Marsden - category theory, logic, finite model theor= y,
=C2=A0 diagrammatic reasoning, foundations of computer science.
These positions are open to students of any nationality.

Best wish= es,

The FP Lab

+---------------------------------------------= --------------+

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A010 F= ully-Funded PhD Studentships

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 School of Computer Science
=C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0University of Nottingham, UK

=C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0https://tinyurl.com/ten-phd-20= 22

Applications are invited from international and home students=
for 10 fully-funded PhD studentships offered by the School of
Comput= er Science, starting on 1st October 2023.

The topics for the student= ships are open, but should relate
to the interests of one the School'= ;s research groups:
Computational Optimisation and Learning; Computer Vi= sion;
Cyber Security; Functional Programming; Intelligent Modelling
a= nd Analysis; Mixed Reality; Uncertainty in Data and Decision
Making; Vis= ualisation and Computer Graphics; Cyber-Physical
Health and Assistive Ro= botics Technologies.

The studentships are fully funded for 3.5 years= and include a
stipend of =C2=A317,668 per year and tuition fees.=C2=A0 = Applicants are
normally expected to have a first-class class bachelors o= r
masters in Computer Science or another relevant area, and
must obta= in the support of a potential supervisor in the
School prior to submitti= ng their application.

If you are interested in applying, please cont= act a potential
supervisor as soon as possible, and at least two weeks p= rior
to the closing date.=C2=A0 If the supervisor wishes to support
y= our application, they will direct you to make an official
application th= rough the MyNottingham system.

Closing date for applications: Sunday= 12th February 2023.

+----------------------------------------------= -------------+

--
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://g= roups.google.com/d/msgid/HomotopyTypeTheory/CA%2BAZBBqh72He7XWsctocK3tU_Xmr= yHGvxtbVjaU4M-YUywzv2w%40mail.gmail.com.
--0000000000005e60a805edfaec82--