[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 [email protected] and
[email protected].
---
Stéphane Demri (CNRS, LMF)
https://cv.archives-ouvertes.fr/stephane-demri
