<div dir="ltr"><div>Dear colleagues,</div><div><br></div><div>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.<br></div><div><br></div><div>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).</div><div><br></div><div>The announcement and application interface is here: <a href="https://jobs.siemens-info.com/jobs/66150">https://jobs.siemens-info.com/jobs/66150</a></div><div><br></div><div>For legal reasons, the announcement is published in French, but Google Translate does a pretty good job of translating it into English: <a href="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=">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=</a></div><div><br></div><div>For any question about the application, one may contact the future manager: Fabrice Lassia <<a href="mailto:fabrice.lassia@siemens.com">fabrice.lassia@siemens.com</a>></div><div><br></div><div>Best regards,</div><div>Danko Ilik</div><div></div><div><a href="http://speleologic.net/">http://speleologic.net/</a><br></div></div>