Vous êtes ici

Rennes

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

 

Ingénieur de recherche en Analyse statique

Pour candidiater, écrire à David Pichardie.

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.

Indéfini

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

Indéfini

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.

Indéfini

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.

Indéfini

Multi-clock reconfigurable architectures

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

Indéfini
S'abonner à RSS - Rennes