PhD position available

PhD position available

[Alex Simpson]

I would be happy to receive applications for the position below from
students with an interest in category theory.

---

A position is available for a PhD student at the University of Ljubljana
in the general research area of modelling and reasoning about
computational effects. The precise topic is flexible, and will be
decided in combination with the student. The PhD will be supervised by
Alex Simpson who is Professor of Computer Science at the Faculty of
Mathematics and Physics: http://www.fmf.uni-lj.si/si/imenik/32646/

The position will be funded by the EffMath project (see
http://math.andrej.com/wp-content/uploads/2014/11/description.pdf). Full
tuition & stipend will be provided.

Applicants should have a master's (or equivalent) degree in either
mathematics or computer science, and possess some background knowledge
relevant to the project area. No knowledge of the Slovene language is
required.

The student will officially enrol in October 2015 at the University of
Ljubljana, which is the largest university in Slovenia. There is an
active research group in foundations of computer science at the Faculty
of Mathematics and Physics, which includes Andrej Bauer, Matija Pretnar,
Alex Simpson and a number of PhD students.

As a city, Ljubljana is a beautiful and lively cultural centre, and
Slovenia is a welcoming and picturesque country.

Interested candidates should contact me by email
(Alex.Simpson@fmf.uni-lj.si) as soon as possible. Please include a short
CV and a statement of interest.

Thanks,
Alex



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

PhD position available

[Neil Ghani]

******************************************************************
***                               PhD Position                                     
***
***             Higher Dimensional Categories and Types                 
*** 
***         Mathematically Structured Programming Group            
***                     University of Strathclyde                             
***
******************************************************************

Applications are invited for PhD study under the supervision of Prof
Neil Ghani on any topic relating to higher dimensional category theory
and/or higher dimensional type theory. The position is fully funded for EU 
students (apologies to non EU-citizens for this ridiculous piece of 
non-meritocracy) and will last for 3 years.The applicant's motivation must centre  on a 
desire for beautiful mathematics of lasting value. The applicant should also have an innate 
sense of the wonder of learning allied to the capacity to work hard and achieve their 
goals.

The Mathematically Structured Programming Group's vision is to use
mathematics to understand the nature of computation, and to then turn
that understanding into the next generation of programming
languages. This reflects the symbiotic relationship between
mathematics, programming, and the design of programming languages ---
any attempt to sever this connection will diminish each component. In
order to achieve these research goals we mainly use ideas from
category theory, type theory and functional programming. Besides
Professor Neil Ghani, the group consists of a number of
internationally leading researchers including Dr Patricia Johann, Dr
Conor McBride, Dr Peter Hancock, Dr Robert Atkey as well as a number
of PhD students.

Anyone interested should in the first instance contact Professor Neil
Ghani whose email address is "ng at cis.strath.ac.uk"  and outline their academic
background. Applications will be considered on a first come, first 
served basis.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

PhD position available

[N Ghani]

I am currently looking for someone who wants to do a PhD on
categorical models of rewriting. If you are interested, or know
someone who may be, then please get in touch. 

You can find bits and bobs about what I have in mind from my homepage

http://www.mcs.le.ac.uk/~ng13/home.html

Neil Ghani