[Agda] Postdoctoral position in Compositional Game Theory at Univ. of Strathclyde

[Fredrik Nordvall Forsberg]

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 
(ng at 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.