VERIMAG — public joint laboratory of CNRS and University of Grenoble Alpes ) is seeking excellent candidates for a postdoctoral position on logical foundations and verification of distributed systems. The ideal candidate will have a PhD degree in Computer Science in one of the following areas:
- automated reasoning (logic and decision procedures)
- verification of parameterized concurrent/distributed systems
- automata theory and infinite-state model checking
The successful candidate will integrate the MOHYTOS group. The position is for one year with possibility of extension. To apply send your CV, list of publications and references (letters of recommendation) to: Radu.Iosif@univ-grenoble-alpes.fr
