[Agda] PhD thesis position on formal proofs and programming languages at Siemens Mobility, France

[Danko Ilik]

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 at siemens.com>

Best regards,
Danko Ilik
http://speleologic.net/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180817/3f21d0b0/attachment.html>