ERC Funded RA (PostDoc) position in Formal Verification at University of Leicester

by Nir Piterman, Feb. 5, 2018

You will work on the ERC Consolidator funded project “dSynMA: Distributed Synthesis from Single to Multiple Agents”. The aims of the project are to develop theoretical foundations that will enable to apply reactive synthesis from temporal specifications to work for multiple agents. This includes studying two-player games and their solutions, modelling solutions for interacting agents, and studies of temporal logic.

Salary Grade 7 £33,518 to £38,833 per annum

Two full-time fixed-term appointments for three years from 1 May 2018

You will work on the ERC Consolidator funded project “dSynMA: Distributed Synthesis from Single to Multiple Agents”. The aims of the project are to develop theoretical foundations that will enable to apply reactive synthesis from temporal specifications to work for multiple agents. This includes studying two-player games and their solutions, modelling solutions for interacting agents, and studies of temporal logic.

Specifically, research will focus on the following objectives:

  1. Consider modelling frameworks that combine message passing and variable sharing allowing for synchronization as well as passage of information.
  2. Work on algorithmic analysis of games that arise from combinations of multiple agents supporting rich modelling features. This includes analysis of partial information games and applications of abstraction and compositionality to games analysis.
  3. Study specification languages that extend temporal and strategy logic by allowing to reason about how agents interact as well as what are their goals. Algorithmically analyse games that arise from such specifications.

You will work as part of a team that includes in addition to Dr Nir Piterman, two Research Assistants (PostDocs), two PhD students, and later on another RA. While working on the topics of the grant, it is encouraged to collaborate internationally as well as with other academics in the department including: Dr Rayna Dimitrova (applications of formal methods to control and robotics), Dr Jan Ringert (applications of synthesis to software engineering), and Prof Mohammad Mousavi (model-based testing of cyber-physical systems).

Please click here for more information about these positions.

Informal enquiries are welcome and should be made to Dr Nir Piterman (nir.piterman@le.ac.uk)

The closing date for this post is midnight on 28 February 2018.

We anticipate that interviews will take place in 15 March 2018.

For further details contact Nir Piterman.
Official advert.