Danko Ilik
2018-08-17 13:29:13 UTC
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 <***@siemens.com>
Best regards,
Danko Ilik
http://speleologic.net/
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 <***@siemens.com>
Best regards,
Danko Ilik
http://speleologic.net/