News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Deadline: Wednesday 19 December 2018

A PhD student position is being 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 Danko Ilik (at Siemens Mobility).

For more information, see https://jobs.siemens-info.com/jobs/66150 or contact Fabrice Lassia at .

Please note that this newsitem has been archived, and may contain outdated information or links.