PhD thesis position on formal proofs and programming languages at Siemens Mobility, France
Danko Ilik <[email protected]> Fri, 17 Aug 2018 15:29:13 +0200
| Newsgroups | gmane.comp.lang.agda,gmane.science.mathematics.logic.coq.club,gmane.science.mathematics.prooftheory,gmane.comp.science.types.announce |
|---|---|
| Message-ID | <CAFi-MMhrSfDi+_r5ZxR1V+3XQGppmN_FcC-_7ENt5Jdxq6+-dg@mail.gmail.com> |
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 <[email protected]> Best regards, Danko Ilik http://speleologic.net/ _______________________________________________ Agda mailing list [email protected] https://lists.chalmers.se/mailman/listinfo/agda