[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The University of Strathclyde is looking to recruit a full-time
postdoctoral researcher to work on the project "Compositional Game
Theory" with Professor Neil Ghani, Dr Clemens Kupke and Dr Fredrik
Nordvall Forsberg.
Duration: initially 1 year, with possible extension to 4 years
Salary: £32236 - £3960
Start: 1 August 2019 or soon thereafter
Deadline: 25 May 2019
Interested candidates should contact Professor Neil Ghani
(n...@cis.strath.ac.uk) in the first instance.
Applicants must hold or be about to receive a doctoral degree in
Computer Science or Mathematics or Economic Game Theory, and have a
strong background in one or more of the following areas:
* Category theory
* Programming languages
* Type Theory
* Economic Game Theory
The successful applicant will focus on developing foundational theory to
support Compositional Game Theory and/or applications of Compositional
Game Theory to real world applications. This includes collaborating with
project partners and members, including PhD students.
The position lies within the MSP group (http://msp.cis.strath.ac.uk/)
consisting of Neil Ghani, Conor McBride, Clemens Kupke, Ross Duncan, Bob
Atkey and Fredrik Nordvall Forsberg.
