Post-Doctoral Research Visit F/M Post-doc position in Games for verification

Contract type : Fixed-term contract

Level of qualifications required : PhD or equivalent

Fonction : Post-Doctoral Research Visit

About the research centre or Inria department

The Inria Centre at Rennes University is one of Inria's nine centres and has more than thirty research teams. The Inria Centre is a major and recognized player in the field of digital sciences. It is at the heart of a rich R&D and innovation ecosystem: highly innovative PMEs, large industrial groups, competitiveness clusters, research and higher education players, laboratories of excellence, technological research institute, etc.

Context

The research group DEVINE belongs to a joint research center of Inria, CNRS, and Université de Rennes.

Assignment

We are looking to hire a post-doc for 14 months in the area of formal methods at Inria, Université de Rennes.

The research project which the candidate will join is the following: resolution of parameterized games using antichains.
The recruited person will be in connection with the members of the ANR BisoUS project : https://anr-bisous.ls2n.fr/ A collaboration with Patricia Bouyer-Decitre is foreseen.

A detailed description of the topic is available at: https://people.rennes.inria.fr/Nathalie.Bertrand/antichains.pdf

 

Main activities

The recruited person is responsible for formalising an antichain framework for parameterized games, and for developing and implementing resolution algorithms for these games based on antichains.

Benefits package

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Possibility of teleworking (90 days per year) and flexible organization of working hours
  • Partial payment of insurance costs

Remuneration

Monthly gross salary amounting to 2788 euros.