Applications are invited for both doctoral and postdoctoral research fellowships to the MEIJE research group of INRIA (FRANCE).
Our team has conducted active research for over a decade in concurrency theory, verification methodologies, and synchronous reactive formalisms. This led us to the development of the synchronous reactive language Esterel and the verification tools Auto/Graph, which both enjoy wide academic recognition while slowly emerging to industry.
Applicants are expected to combine a good theoretical background in concurrency and/or synchronous hardware modeling with a dedication to turn their ideas into realistic, up-to-date software applications.
The positions are to be funded by ongoing national or international programmes, ensuring large collaboration with various academic and industrial partners. While flexible, starting time will typically be around Oct. 1st 1995.
Applications and enquiries are to be addressed electronically with a comprehensive C.V. to one of:
Gerard Berry <berry@cma.cma.fr>or by surface mail to the following address:
Robert de Simone <rs@cma.cma.fr>
Projet Meije
I.N.R.I.A. Sophia-Antipolis
B.P. 93
F-06902 Sophia-Antipolis Cedex
France