From: Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg@strath.ac.uk>
To: coq-club@inria.fr, Agda mailing list <agda@lists.chalmers.se>,
types-announce@lists.seas.upenn.edu, logic@math.uni-bonn.de,
homotopytypetheory@googlegroups.com, categories@mq.edu.au,
spls@lists.cent.gla.ac.uk,
msp-interest <msp-interest@cis.strath.ac.uk>
Subject: [HoTT] PhD position at the University of Strathclyde
Date: Tue, 13 Feb 2024 17:32:30 +0000 [thread overview]
Message-ID: <81dd63d8-770e-4273-ad1e-e9fc675e483d@strath.ac.uk> (raw)
******************************************************************
*** PhD Position
*** A Correct-by-Construction Approach to Approximate Computation
*** Mathematically Structured Programming Group
*** University of Strathclyde (Glasgow)
*****************************************************************
Applications are invited for a fully funded UK PhD studentship in the
areas of type theory, category theory and/or logic, under the
supervision of Dr Fredrik Nordvall Forsberg, and Professors Neil Ghani
and Radu Mardare. The research will be part of the recently
EPSRC-funded project "A Correct-by-Construction Approach to
Approximate Computation", which seeks to develop type-theoretic tools
and frameworks for approximation.
The position is for 3 years, with a start date of 1 October 2024. It
includes both coverage of fees and an stipend, and is open to UK-based
applicants.
The successful applicant will become part of the Mathematically
Structured Programming group (https://msp.cis.strath.ac.uk) at the
University of Strathclyde. It is likely that you will also work with
the other members in the group, which include Conor McBride, Robert
Atkey, Glynn Winskel, Jules Hedges, Guillaume Allais, and currently 10 PhD
students. We are located in the city centre of Glasgow, with plenty of
both culture and nature nearby. Scotland is a great place for
theoretical computer science: we have active collaborations with
researchers Edinburgh, Heriot-Watt, Glasgow and St. Andrews.
Applications, requests for further information, and other informal
enquiries can be sent to:
Fredrik Nordvall Forsberg
fredrik.nordvall-forsberg@strath.ac.uk
If you are interested, please get in touch as soon as you can. We hope
to appoint in early March.
Best wishes,
Fred
--
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/81dd63d8-770e-4273-ad1e-e9fc675e483d%40strath.ac.uk.
reply other threads:[~2024-02-13 17:32 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=81dd63d8-770e-4273-ad1e-e9fc675e483d@strath.ac.uk \
--to=fredrik.nordvall-forsberg@strath.ac.uk \
--cc=agda@lists.chalmers.se \
--cc=categories@mq.edu.au \
--cc=coq-club@inria.fr \
--cc=homotopytypetheory@googlegroups.com \
--cc=logic@math.uni-bonn.de \
--cc=msp-interest@cis.strath.ac.uk \
--cc=spls@lists.cent.gla.ac.uk \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).