[TYPES/announce] postdoctoral position at VERIMAG (Grenoble, France)

[Radu Iosif]

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: Radu.Iosif at univ-grenoble-alpes.fr




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20201109/76cba161/attachment.htm>