[Agda] PhD Position available at Strathclyde

Conor McBride conor at strictlypositive.org
Tue Aug 9 17:14:26 CEST 2011


[My colleague, Patricia Johann, advertises the following...]

                     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" (seehttp://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