[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
(http://www-verimag.imag.fr/Mohytos.html). The position is for one year with
possibility of extension.
To apply send your CV, list of publications and references (letters of
recommendation) to: [email protected]
