[TYPES/announce] PhD and Postdoctoral position at ENS Rennes

[David Pichardie]

The IRISA/Inria Celtique group in Rennes (France) has several open PhD, 
post-doctoral and engineering positions. The positions are funded by David 
Pichardie's european ERC VESTA project (2018-2023), hosted by ENS Rennes. 
Postdoc and engineer applicants must have a PhD in Computer Science. 
PhD applicants must have a Master in Computer Science. 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

Postdoc positions are one year, with the possibility of extension to a second 
year. All position may start after September 1st 2019. 

Applicants should send their curriculum vitae, cover letter and names/contact 
information of two references to David Pichardie 
<david.pichardie at ens-rennes.fr> before end of June 2019. 

Potential research projects 
- Building an advanced abstract interpretation for C, Java or VHDL 
- Innovative techniques for extraction of efficient code with Coq