From: Neil Ghani <Neil.Ghani@cis.strath.ac.uk>
To: categories@mta.ca
Subject: PhD position
Date: Mon, 8 Aug 2011 17:02:40 +0100 [thread overview]
Message-ID: <E1QqZAz-00022A-DC@mlist.mta.ca> (raw)
Dear All
If any of you know any bright young things looking to do a PhD using category theory then can you let them know about this possibility.
I'm afraid the funding is only for EU passport holders.
All the best
Neil
=====================================================
PhD Position
in
Category Theory and Functional Programming
Department of Computer and Information Sciences
University of Strathclyde, Scotland
Applications are invited for one PhD position within the Mathematically
Structured Programming group at the University of Strathclyde. The group
comprises Prof. Neil Ghani, Dr. Patricia Johann, Dr. Conor McBride, Dr.
Peter Hancock, Dr. Robert Atkey, and six PhD students. The PhD project
centres around applications of categorical methods to functional programming
languages. The project is under the direction of Patricia Johann.
The successful applicant will have either a first-class degree or an MSc in
Mathematics or Computing Science or a related subject with a strong
Mathematics or Computing Science component. Ideally, they will also have a
strong, documented interest in doing research. Strong mathematical
background and problem-solving skills are essential; good programming skills
are a plus. Prior knowledge of category theory and/or functional programming
is an advantage, but is not required.
The PhD position is for 3 years; it starts in January 2012. The
position is a fully-funded post for a UK or EU student, and includes both
coverage of fees and an EPSRC-level stipend for each of the three years.
More information about the department is available at
http://www.strath.ac.uk/cis
The University of Strathclyde (http://www.strath.ac.uk) is located in the
heart of Glasgow, which Lonely Planet Travel Guides hail as "one of
Britain's largest, liveliest and most interesting cities" (see
http://www.lonelyplanet.com/worldguide/scotland/glasgow/). Southern Scotland
provides a particularly stimulating environment for researchers in
theoretical computer science, with active groups in this area at Heriot-Watt
University, the University of Edinburgh, the University of Glasgow, the
University of St. Andrews, and the University of Strathclyde.
Requests for further information and other informal enquiries can be sent
to:
Patricia Johann
patricia at cis.strath.ac.uk
Those interested in the position are asked to send e-mail to the address
given above in the next short while.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
next reply other threads:[~2011-08-08 16:02 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-08-08 16:02 Neil Ghani [this message]
-- strict thread matches above, loose matches on Subject: below --
2020-01-22 15:13 Neil Ghani
2015-01-14 20:16 Neil Ghani
2011-09-10 7:00 PhD Position Neil Ghani
2010-01-27 18:13 Neil Ghani
1999-10-06 14:08 PhD position N Ghani
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=E1QqZAz-00022A-DC@mlist.mta.ca \
--to=neil.ghani@cis.strath.ac.uk \
--cc=categories@mta.ca \
/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).