Vous êtes ici

PhD and Postdoctoral position at ENS Rennes

Lieu: 
Equipe: 
Contexte: 

The IRISA/Inria Celtique group in Rennes (France) has several open post-doctoral and engineering positions. The positions are funded by David Pichardie's european ERC VESTA project (2018-2023), hosted by ENS Rennes. Applicants must have a PhD in Computer Science.

Mission: 

Potential research projects

  • Building an advanced abstract interpretation for C, Java or VHDL
  •  Innovative techniques for extraction of efficient code with Coq
Profil / compétences: 

We seek excellent candidates with a solid background in Computer Science, in all the following topics:

  • formal semantics of programming languages
  • compiler implementation
  • abstract interpretation design and implementation 
Diplôme requis: 
Doctorat
Lieu de travail: 
Rennes
Type de contrat: 
Postdoc
Durée du contrat (en mois): 
12
Quotité: 
100%
Corps / catégorie: 
postdoc
Salaire Brut / Mens €: 
dépendant des qualifications
Date prévisionnelle d'embauche: 
Lundi, 2. septembre 2019
Date prévisionnelle d'embauche: 
Le plus tôt possible
Date limite de candidature: 
Vendredi, 28. juin 2019
Candidater: 

Applicants should send their curriculum vitae, cover letter and names/contact information of two references to David Pichardie before end of June 2019.