[TYPES/announce] PhD funding on "Reasoning about Concurrent Game Structures with Numerical Resources"

[lutz at lix.polytechnique.fr]

PhD Fellowship - Labex Digicosme - Paris-Saclay (LIX, LMF)
Urgent: deadline for application = June 10th 2021

We are looking for a candidate for the PhD proposal

"REASONING ABOUT CONCURRENT GAME STRUCTURES WITH NUMERICAL RESOURCES"

More details can be found at  http://www.lsv.fr/~demri/PhDProposal2021.pdf

Financement is secured, assuming that the candidate is known to Labex
Digicosme by June 15th.

The candidate must hold a Master degree in Computer Science, with a solid
background in Theoretical Computer Science or Symbolic AI.  Typically,
candidates with a good knowledge on formal methods, logics for artificial
intelligence and proof theory are much appreciated.

Applications can be sent either in English or in French.
To apply to the position, please send a CV to demri at lsv.fr and
lutz at lix.polytechnique.fr.

---
Stéphane Demri (CNRS, LMF)
https://cv.archives-ouvertes.fr/stephane-demri