You are here

Rennes

Sites IRISA en BretagneRENNES
IRISA Rennes
Campus de Beaulieu, 263 avenue du Général Leclerc
35 042 RENNES cedex

 

Post-doc in Formal Semantics and Compiler Verification

Applicants should send their curriculum vitae, a cover letter and names/contact information of three references to delphine.demange@irisa.fr.
If possible, recommendation letters should be sent to Delphine Demange directly.
Please feel free to contact Delphine Demange for further information about the project, the position, or the research environment.

Undefined

PostDoc: Web-Of-Browsers: Towards a fully decentralized web

Applicants should apply, in the first instance, by sending electronically a CV (up to two A4 pages), a short statement outlining their research interests and motivation (up to half an A4 page), and the names and addresses of at least two academic referees to François Taïani : francois.taiani[at]irisa.fr with the subject “WEBOFBROWSERS Postdoc Application

Undefined

Distributed simulation of cyber-physical systems

For further information, please contact Benoît Caillaud. Applicants should send a curriculum-vitae with a list of publications and the names and email addresses of up to three references.

Undefined

Software/mathematical scientist position

For further information, please contact Benoît Caillaud. Applicants should send a curriculum-vitae with the names and email addresses of up to three references.

Undefined

Multi-clock reconfigurable architectures

Please send your applications by mail to : Thierry Gautier, thierry.gautier[at]inria.fr

Undefined
Subscribe to RSS - Rennes