Logic List Mailing Archive

PhD student position in programming languages and formal proofs, Palaiseau (France)

Dear colleagues,

I would like to advertise a PhD student position offered currently at 
Siemens Mobility in France, in the domain of programming languages and 
formal proofs. A so called "CIFRE" thesis, it is carried out in industry, 
and validated by an academic partner, in this case LIX, Ecole 
Polytechnique.

The topic is optimisation of code with formal correctness guarantees. It 
will be supervised by Lutz Strassburger (at Ecole Polytechnique) and 
myself (at Siemens Mobility).

The announcement and application interface is here: 
https://jobs.siemens-info.com/jobs/66150

For legal reasons, the announcement is published in French, but Google
Translate does a pretty good job of translating it into English:
https://translate.google.com/translate?sl=fr&tl=en&js=y&prev=_t&ie=UTF-8&u=https%3A%2F%2Fjobs.siemens-info.com%2Fjobs%2F66150&edit-text=

For any question about the application, one may contact the future manager:
Fabrice Lassia <fabrice.lassia@siemens.com>

Best regards,
Danko Ilik
http://speleologic.net/
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam