Re: [Haskell-cafe] PhD studentships in Nottingham
Mark McConnell via Haskell <[email protected]> Fri, 5 Dec 2025 15:58:16 +0000 (UTC)
| Newsgroups | gmane.comp.lang.haskell.general,gmane.comp.lang.haskell.cafe,gmane.comp.science.types.announce,gmane.comp.lang.agda,gmane.science.mathematics.logic.coq.club |
|---|---|
| Message-ID | <[email protected]> |
--===============7961983147996481043==
Content-Type: multipart/alternative;
boundary="----=_Part_268946_298589018.1764950296506"
------=_Part_268946_298589018.1764950296506
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Like the pop song, "I'm 22 for a moment..."
On Friday, December 5, 2025 at 05:13:26 AM EST, Graham Hutton (staff) v=
ia Haskell-Cafe <[email protected]> wrote: =20
=20
Dear all,
The School of Computer Science at the University of Nottingham
in the UK is seeking applications for a number of fully-funded
PhD studentships: https://tinyurl.com/uon-phds-2026
Applicants in the area of the Functional Programming Lab
(tinyurl.com/fp-notts) are strongly encouraged!=C2=A0 If you are
interested in applying, please contact a potential supervisor
as soon as possible; the application deadline is 7th January 2026:
=C2=A0 Thorsten Altenkirch - 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, constructive mathematics, and related topics.
=C2=A0 Graham Hutton - functional programming, haskell, category
=C2=A0 theory, program verification, program calculation.
=C2=A0 Nicolai Kraus - not seeking a student through this scheme, but
=C2=A0 has separate funding available for a home/international student.
=C2=A0 Dan Marsden - category theory, logic, finite model theory,
=C2=A0 diagrammatic reasoning, foundations of computer science.
Best wishes,
The FP Lab
University of Nottingham
+-----------------------------------------------------------+
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Fully-Funded PhD Studentsh=
ips
=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 University of Nottingham, =
UK
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 https://tinyurl.com/uon-phds-2026
Applications are invited for fully-funded PhD studentships in
the School of Computer Science, starting on 1st October 2026.
The topics for the studentships are open, but your research
proposal should relate to the interests of one of the School's
research groups: Cyber-Physical Health and Assistive Robotics;
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; Responsible Digital Futures.
The studentships available are fully funded for 3.5 years and
include a stipend of =C2=A320,780 per year and tuition fees for home
students.=C2=A0 They are open to students of any nationality, but
non-home students must be able to cover the additional cost
of international tuition fees.=C2=A0 Applicants are expected to
have a first-class Bachelor or Masters degree or international
equivalent, in a related discipline.
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.=C2=A0 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: Wednesday 7th January 2026
+-----------------------------------------------------------+
This message and any attachment are intended solely for the addressee and m=
ay contain confidential information. If you have received this message in e=
rror, please contact the sender and delete the email and attachment. Any vi=
ews or opinions expressed by the author of this email do not necessarily re=
flect the views of the University of Nottingham. Email communications with =
the University of Nottingham may be monitored where permitted by law.
_______________________________________________
Haskell-Cafe mailing list -- [email protected]
To (un)subscribe, modify options or view archives go to:
Only members subscribed via the mailman list are allowed to post. =20
------=_Part_268946_298589018.1764950296506
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
<html><head></head><body><div class=3D"ydp4f40b1bayahoo-style-wrap" style=
=3D"font-family:courier new, courier, monaco, monospace, sans-serif;font-si=
ze:13px;"><div></div>
<div dir=3D"ltr" data-setdir=3D"false">Like the pop song, "I'm 22 f=
or a moment..."</div><div><br></div>
=20
<div id=3D"ydp4f40b1bayahoo_quoted_5119394665" class=3D"ydp4f40b1ba=
yahoo_quoted">
<div style=3D"font-family:'Helvetica Neue', Helvetica, Arial, s=
ans-serif;font-size:13px;">
=20
<div>
On Friday, December 5, 2025 at 05:13:26 AM EST, Graham =
Hutton (staff) via Haskell-Cafe <[email protected]> wrote:
</div>
<div><br></div>
<div><br></div>
<div><div dir=3D"ltr">Dear all,<br></div><div dir=3D"ltr"><=
br></div><div dir=3D"ltr">The School of Computer Science at the University =
of Nottingham<br></div><div dir=3D"ltr">in the UK is seeking applications f=
or a number of fully-funded<br></div><div dir=3D"ltr">PhD studentships: <a =
href=3D"https://tinyurl.com/uon-phds-2026" rel=3D"nofollow" target=3D"_blan=
k">https://tinyurl.com/uon-phds-2026</a><br></div><div dir=3D"ltr"><br></di=
v><div dir=3D"ltr">Applicants in the area of the Functional Programming Lab=
<br></div><div dir=3D"ltr">(tinyurl.com/fp-notts) are strongly encouraged!&=
nbsp; If you are<br></div><div dir=3D"ltr">interested in applying, please c=
ontact a potential supervisor<br></div><div dir=3D"ltr">as soon as possible=
; the application deadline is 7th January 2026:<br></div><div dir=3D"ltr"><=
br></div><div dir=3D"ltr"> Thorsten Altenkirch - constructive logic, =
proof assistants,<br></div><div dir=3D"ltr"> homotopy type theory, ca=
tegory theory, lambda calculus.<br></div><div dir=3D"ltr"><br></div><div di=
r=3D"ltr"> Ulrik Buchholtz - homotopy type theory, synthetic homotopy=
theory,<br></div><div dir=3D"ltr"> proof assistants, constructive ma=
thematics, and related topics.<br></div><div dir=3D"ltr"><br></div><div dir=
=3D"ltr"> Graham Hutton - functional programming, haskell, category<b=
r></div><div dir=3D"ltr"> theory, program verification, program calcu=
lation.<br></div><div dir=3D"ltr"><br></div><div dir=3D"ltr"> Nicolai=
Kraus - not seeking a student through this scheme, but<br></div><div dir=
=3D"ltr"> has separate funding available for a home/international stu=
dent.<br></div><div dir=3D"ltr"><br></div><div dir=3D"ltr"> Dan Marsd=
en - category theory, logic, finite model theory,<br></div><div dir=3D"ltr"=
> diagrammatic reasoning, foundations of computer science.<br></div><=
div dir=3D"ltr"><br></div><div dir=3D"ltr">Best wishes,<br></div><div dir=
=3D"ltr"><br></div><div dir=3D"ltr">The FP Lab<br></div><div dir=3D"ltr">Un=
iversity of Nottingham<br></div><div dir=3D"ltr"><br></div><div dir=3D"ltr"=
><br></div><div dir=3D"ltr">+----------------------------------------------=
-------------+<br></div><div dir=3D"ltr"><br></div><div dir=3D"ltr"> =
Fully-Funded PhD Studentships<br=
></div><div dir=3D"ltr"><br></div><div dir=3D"ltr"> &nb=
sp; School of Computer Science<br></div><div di=
r=3D"ltr"> University of N=
ottingham, UK<br></div><div dir=3D"ltr"><br></div><div dir=3D"ltr"> &=
nbsp; <a href=3D"https://tinyurl.com/uon-phds-=
2026" rel=3D"nofollow" target=3D"_blank">https://tinyurl.com/uon-phds-2026<=
/a><br></div><div dir=3D"ltr"><br></div><div dir=3D"ltr">Applications are i=
nvited for fully-funded PhD studentships in<br></div><div dir=3D"ltr">the S=
chool of Computer Science, starting on 1st October 2026.<br></div><div dir=
=3D"ltr"><br></div><div dir=3D"ltr">The topics for the studentships are ope=
n, but your research<br></div><div dir=3D"ltr">proposal should relate to th=
e interests of one of the School's<br></div><div dir=3D"ltr">research group=
s: Cyber-Physical Health and Assistive Robotics;<br></div><div dir=3D"ltr">=
Computational Optimisation and Learning; Computer Vision; Cyber<br></div><d=
iv dir=3D"ltr">Security; Functional Programming; Intelligent Modelling and<=
br></div><div dir=3D"ltr">Analysis; Mixed Reality; Uncertainty in Data and =
Decision Making;<br></div><div dir=3D"ltr">Visualisation and Computer Graph=
ics; Responsible Digital Futures.<br></div><div dir=3D"ltr"><br></div><div =
dir=3D"ltr">The studentships available are fully funded for 3.5 years and<b=
r></div><div dir=3D"ltr">include a stipend of =C2=A320,780 per year and tui=
tion fees for home<br></div><div dir=3D"ltr">students. They are open =
to students of any nationality, but<br></div><div dir=3D"ltr">non-home stud=
ents must be able to cover the additional cost<br></div><div dir=3D"ltr">of=
international tuition fees. Applicants are expected to<br></div><div=
dir=3D"ltr">have a first-class Bachelor or Masters degree or international=
<br></div><div dir=3D"ltr">equivalent, in a related discipline.<br></div><d=
iv dir=3D"ltr"><br></div><div dir=3D"ltr">If you are interested in applying=
, please contact a potential<br></div><div dir=3D"ltr">supervisor as soon a=
s possible, and at least two weeks prior<br></div><div dir=3D"ltr">to the c=
losing date. If the supervisor wishes to support<br></div><div dir=3D=
"ltr">your application, they will direct you to make an official<br></div><=
div dir=3D"ltr">application through the MyNottingham system.<br></div><div =
dir=3D"ltr"><br></div><div dir=3D"ltr">Closing date for applications: Wedne=
sday 7th January 2026<br></div><div dir=3D"ltr"><br></div><div dir=3D"ltr">=
+-----------------------------------------------------------+<br></div><div=
dir=3D"ltr">This message and any attachment are intended solely for the ad=
dressee and may contain confidential information. If you have received this=
message in error, please contact the sender and delete the email and attac=
hment. Any views or opinions expressed by the author of this email do not n=
ecessarily reflect the views of the University of Nottingham. Email communi=
cations with the University of Nottingham may be monitored where permitted =
by law.<br></div><div dir=3D"ltr">_________________________________________=
______<br></div><div dir=3D"ltr">Haskell-Cafe mailing list -- <a href=3D"ma=
ilto:[email protected]" rel=3D"nofollow" target=3D"_blank">haskell-c=
[email protected]</a><br></div><div dir=3D"ltr">To (un)subscribe, modify opti=
ons or view archives go to:<br></div><div dir=3D"ltr">Only members subscrib=
ed via the mailman list are allowed to post.</div></div>
</div>
</div></div></body></html>
------=_Part_268946_298589018.1764950296506--
--===============7961983147996481043==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_______________________________________________
Haskell mailing list -- [email protected]
To unsubscribe send an email to [email protected]
--===============7961983147996481043==--