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.9 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FROM,FSL_HAS_TINYURL,HTML_MESSAGE,LOTS_OF_MONEY, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 32363 invoked from network); 9 Jan 2023 09:54:34 -0000 Received: from mail-yw1-x1138.google.com (2607:f8b0:4864:20::1138) by inbox.vuxu.org with ESMTPUTF8; 9 Jan 2023 09:54:34 -0000 Received: by mail-yw1-x1138.google.com with SMTP id 00721157ae682-4ce566db73esf17678107b3.11 for ; Mon, 09 Jan 2023 01:54:34 -0800 (PST) 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-sender:mime-version :subject:references:in-reply-to:message-id:to:from:date:sender:from :to:cc:subject:date:message-id:reply-to; bh=AMdPvWLO8JmJo4k0tKNbtBxd3ujGwHjrU7+BPa0bTUo=; b=g/MQeVBc40GMG7SOu3GcRbTa5CMKeyMQtvon0DF8o1bHLUqFsiN0moJc57QSMYCUD4 +wMJxMlH4ZVv749gj+FG9OzJC5w2bsk3EVmkqO9C3oFzLJvg25Ox1yAhGHFiammxZ/US GbQHhR51FKuF+X/Mj6jL8H88Z57CuyFXImESR83YsCQeFM4WoqHWpLqFjyoBkXH1unqk pVMlzmRBPgh6CtMCIQxU3Vo3aSrNPYKKyP/G4oNWNkPV6sRs+sijPlbK4hxuXFSjNS3i VZczzOWXAenIOeydtyyKaC6TcHeuQdjFdFpgWu7TUT7W+AtvPRi9EH6BaeLAPZC571Mt mLbg== 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-sender:mime-version :subject:references:in-reply-to:message-id:to:from:date:from:to:cc :subject:date:message-id:reply-to; bh=AMdPvWLO8JmJo4k0tKNbtBxd3ujGwHjrU7+BPa0bTUo=; b=OSA5j87x0Cp4rc/CqcopJLb0i4lkch8P367WXYSOcEc2IcD4wDh0akd1DovXU3JQAX kBy3CXlFvZoqYkFeufLpLiakGOftNBzjBGmm2t11qaBKWUP4qYDwVsCYdvMnpCWWE7UU srxU6VqRPdRFZjqgpE2Nw1r282FDPzZex5aLXRbYH3fffeH7neie3FH+K3XhONDvNvNs Te+BTfaSpzlmbiqHFpBjYxx/XxMEO2XHGI8wVgcdgZd2mIHC4+TMfap1D/e15etz774v eKx9vYX5j8G8/LWcxUcKx+KXmt9S2knlVkDwWDpYT0gjZ8aMvVN7CQYYdK8dJDjM+xol gjAw== 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-sender:mime-version:subject:references:in-reply-to :message-id:to:from:date:x-gm-message-state:sender:from:to:cc :subject:date:message-id:reply-to; bh=AMdPvWLO8JmJo4k0tKNbtBxd3ujGwHjrU7+BPa0bTUo=; b=zsBtyZWOFjDTgplY/fux8AWCSyStXEGD4UxixQj6S7KI4ZJIKyUVra/k5+MNDv5da/ 9IpWj+eayypGHiWQiPEVgVb6LlIGy1n7mIyLNTq/aFMOM7qJKnaESujo8LEgk5ZdV1sI N0Dq43sY6sdzmVAphQ5DKC4dKv0r+NqdgmBF5+jUWDEfNbhDzdpTrgDuVVCFmRWnwuDr NL9V1UsGeknJdVFNZePAYBl+FcWhOKyMHloIxs7Pke+1DM9ZHHbv1LJbKFwHAT+/6xBO i/LBlmWL2Hzt0t9E+HNmvy7KbODjHpOw/+ehvHxFwfxrZw0fa+o3p72tdlfDwLWcXJyw Fj4A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AFqh2kqUNSPKBb0uqvzMLC9+QWdhUy62Y0+7zahMl4EchHzX/xBs79u2 OEWNe8f+vFJEFVHlKapJsng= X-Google-Smtp-Source: AMrXdXuMZN24O7+NKExYKOOl5MvbTDQNTzWR4K6BUAJVHFdYNNrp0S4EuE7hfUh+sMVz5gb0wDtkSw== X-Received: by 2002:a05:690c:31a:b0:3fe:4753:33af with SMTP id bg26-20020a05690c031a00b003fe475333afmr562021ywb.366.1673258072625; Mon, 09 Jan 2023 01:54:32 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:690c:7:b0:3f6:22d4:3288 with SMTP id bc7-20020a05690c000700b003f622d43288ls3168410ywb.11.-pod-prod-gmail; Mon, 09 Jan 2023 01:54:31 -0800 (PST) X-Received: by 2002:a05:690c:d91:b0:3c0:8dce:ee78 with SMTP id da17-20020a05690c0d9100b003c08dceee78mr1417980ywb.80.1673258071047; Mon, 09 Jan 2023 01:54:31 -0800 (PST) Date: Mon, 9 Jan 2023 01:54:30 -0800 (PST) From: Nicolai Kraus To: Homotopy Type Theory Message-Id: In-Reply-To: References: Subject: [HoTT] Re: 10 PhD studentships in Nottingham MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_3836_1521843561.1673258070314" 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: , List-Unsubscribe: , ------=_Part_3836_1521843561.1673258070314 Content-Type: multipart/alternative; boundary="----=_Part_3837_641762565.1673258070314" ------=_Part_3837_641762565.1673258070314 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, this is a reminder that the application window for the Nottingham PhD=20 studentships will close soonish. I wrote in the previous message that the= =20 deadline is the 12th of February 2023, but please note that this is the day= =20 by which the university needs to receive formal applications. Before a=20 formal application can be submitted, applicants already need to have the=20 confirmed support of their potential future supervisor and discussed the=20 application. If you would like to apply for a studentship in Nottingham, please contact= =20 us as soon as possible! I'm always happy to talk about it if you're=20 interested. Best wishes, Nicolai On Monday, November 21, 2022 at 1:20:50 PM UTC Nicolai Kraus wrote: > 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/c2b15c21-0f23-4698-8b59-a5359966067dn%40googlegroups.com= . ------=_Part_3837_641762565.1673258070314 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear all,

this is a reminder that the applica= tion window for the Nottingham PhD studentships will close soonish. I wrote= in the previous message that the deadline is the 12th of February 2023, bu= t please note that this is the day by which the university needs to receive= formal applications. Before a formal application can be submitted, applica= nts already need to have the confirmed support of their potential future su= pervisor and discussed the application.

If you wou= ld like to apply for a studentship in Nottingham, please contact us as soon= as possible! I'm always happy to talk about it if you're interested.
=

Best wishes,
Nicolai




On Monday, November 21, 2022 at 1:20:50 PM UTC Nicolai Kraus wrot= e:
Dear all,

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

Applicants in the area of the = Functional Programming Lab
(tinyurl.com/fp-notts) are strongly encouraged!=C2=A0 If you are
int= erested in applying, please contact a potential supervisor
as soon as po= ssible; the application deadline is 12th Feb 2023:

=C2=A0 Thorsten A= ltenkirch - constructive logic, proof assistants,
=C2=A0 homotopy type t= heory, category theory, lambda calculus.

=C2=A0 Ulrik Buchholtz - ho= motopy type theory, synthetic homotopy theory,
=C2=A0 proof assistants, = constructive mathematics, and related topics.

=C2=A0 Graham Hutton -= functional programming, haskell, category
=C2=A0 theory, program verifi= cation, program calculation.

=C2=A0 Nicolai Kraus - homotopy type th= eory, higher category theory,
=C2=A0 constructive mathematics, and relat= ed topics.

=C2=A0 Dan Marsden - category theory, logic, finite model= theory,
=C2=A0 diagrammatic reasoning, foundations of computer science.=

These positions are open to students of any nationality.

Bes= t wishes,

The FP Lab

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

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A010 Fully-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-2022

Applicati= ons 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 sho= uld 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 Real= ity; 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
stipe= nd of =C2=A317,668 per year and tuition fees.=C2=A0 Applicants are
norma= lly expected to have a first-class class bachelors or
masters in Compute= r Science or another relevant area, and
must obtain the support of a pot= ential supervisor in the
School prior to submitting their application.
If you are interested in applying, please contact a potential
supe= rvisor as soon as possible, and at least two weeks prior
to the closing = date.=C2=A0 If the supervisor wishes to support
your application, they w= ill direct you to make an official
application through 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://groups.google.c= om/d/msgid/HomotopyTypeTheory/c2b15c21-0f23-4698-8b59-a5359966067dn%40googl= egroups.com.
------=_Part_3837_641762565.1673258070314-- ------=_Part_3836_1521843561.1673258070314--