[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
================================================================================================== Postdoctoral research fellowship on Foundations of Software Components- INRIA Grenoble, France ================================================================================================== Applications are invited for a postdoctoral position to undertake research into the foundations of software components. The post is within the INRIA research center in Grenoble, France, under the direction of Alan Schmitt, Jean-Bernard Stefani (Sardes INRIA research team) and Joseph Sifakis (head of the INRIA-Schneider research chair). The post will be part of a joint project between INRIA Grenoble and the Verimag CNRS laboratory whicb seeks to estbalish a firm mathematical basis for the component-based construction of provably correct and dependable embedded, multicore, and distributed software systems. Of particular interest are formal semantical models allowing for multiple forms of component composition, allowing the combination of different non-functional aspects such as temporal or quality of service constraints, and allowing for adaptive systems, which may change their configuration at run-time, as well as architecture definition and programming languages that support component-based construction. Applicants should have a PhD in Computer Science. Expertise in the following areas are particularly welcome: - concurrency theory - operational semantics - verification techniques - type theory - program logics The fellowship is offered for a period of up to 18 months and can start as early as October 2009. Further particulars of the post may be obtained from the persons below, and informal enquiries are welcomed. Applications should include - detailed curriculum vitae, in pdf format - copies of relevant publications, or url-pointers to them - the names of at least 2 referees - a statement outlining the applicant's suitability to the project. Applications should be sent to: Jean-Bernard Stefani INRIA Grenoble-Rhone-Alpes 655 Avenue de l'Europe - Montbonnot 38334 St Ismier Cedex - FRANCE tel: +33 4 76 61 52 57 fax: +33 4 76 61 52 52 email: jean-bernard.stef...@inria.fr and Joseph Sifakis Verimag Laboratory Centre Equation 2 ave de Vignate 38610 GIERES - FRANCE tel: +33 (0)4.56.52.03.51 fax: +33 (0)4.56.52.04 46 email: joseph.sifa...@imag.fr