[Agda] PhD positions at Nottingham

[Nicolai Kraus]

Below is the full advert for PhD studentships at Nottingham. If
you are interested, please also see the information at
https://www.cs.nott.ac.uk/~pszgmh/10-phds.html
Cheers,
Nicolai

+-----------------------------------------------------------+

Dear all,

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


On Fri, Feb 9, 2024 at 4:09 PM Thorsten Altenkirch <
Thorsten.Altenkirch at nottingham.ac.uk> wrote:

> We are advertising several PhD positions
> <https://jobs.nottingham.ac.uk/Vacancy.aspx?ref=SCI259> at Nottingham
> which includes the Functional Programming Laboratory.
>
>
>
> The group which includes Nicolai Kraus and Ulrik Buchholtz has got a
> strong interest in Type Theory in particular Homotopy Type Theory and its
> semantic foundations using (higher) category theory. We mainly use the agda
> system for formal developments.
>
>
>
> If you are interested, please contact me before applying.
>
>
>
> Cheers,
>
> Thorsten
> This message and any attachment are intended solely for the addressee and
> may contain confidential information. If you have received this message in
> error, please contact the sender and delete the email and attachment. Any
> views or opinions expressed by the author of this email do not necessarily
> reflect the views of the University of Nottingham. Email communications
> with the University of Nottingham may be monitored where permitted by law.
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20240216/0d0c1a49/attachment.html>