[Agda] Strathclyde PhD Position (new start date)

Conor McBride conor at cis.strath.ac.uk
Tue Sep 13 15:39:35 CEST 2011


                      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.


More information about the Agda mailing list