coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] PhD thesis position on formal proofs and programming languages at Siemens Mobility, France
Chronological Thread
- From: Danko Ilik <dankoilik AT gmail.com>
- To: agda AT lists.chalmers.se, Coq Club <coq-club AT inria.fr>, ProofTheory AT lists.bath.ac.uk, types-announce AT lists.seas.upenn.edu, eutypes AT cs.ru.nl, logic AT math.uni-bonn.de
- Cc: fabrice.lassia AT siemens.com, lutz AT lix.polytechnique.fr
- Subject: [Coq-Club] PhD thesis position on formal proofs and programming languages at Siemens Mobility, France
- Date: Fri, 17 Aug 2018 15:29:13 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dankoilik AT gmail.com; spf=Pass smtp.mailfrom=dankoilik AT gmail.com; spf=None smtp.helo=postmaster AT mail-lj1-f174.google.com
- Ironport-phdr: 9a23:YcwQmhV38zgBx3RHswcuRnZ5OxPV8LGtZVwlr6E/grcLSJyIuqrYbROEt8tkgFKBZ4jH8fUM07OQ7/i+HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba9zIRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KpwVhTmlDkIOCI48GHPi8x/kqRboA66pxdix4LYeZyZOOZicq/Ye94RWGhPUdtLVyFZDYyyb4UBAekcM+hGs4bwvEEBoQekCAS2GO/j1j1Fi3nr1qM6yeQhFgTG0RQuEd0UtnTUr9L1P7oRX+CxzanIzijIYvRL1jjn7ojIcRchofCIXbJxcsrc0kYvFwbfgVWRrYzpJS+a1uMIs2WC6edrSOyhi2kiqw5rozivwN8hiobOhoISxVDE8Tt2zJwpKt2/TU53ecWkEJpOuCGfKYR2RNgiT3hpuCY8xL0GvoS3czQNyJQi3xLfcOSHfJaM4h39U+aRJTB4hH1keL2jnRqy91avyvH6W8Kp01hKtjJInsfQun0JzRDe6ciKRuFj8ku92juDzR3f5+NLLE0yiKHVMYQuwqQqmZoWqUnDHjH5mEHxjKKOc0Ur4Omo6+D+brXipJ+QKpZ4ig/jPqkslcGzG+s4Mg8JX2iU/eSzyqfv8lH+QLVPlvE2k6/Zv47GJckDuKK1HwtY3pwg5hu/FTuqzsgUkHodIF5Yeh+KgJDlO1TUL/D5Cfe/jU6skDBux/3eI7LuGJPNLnvEkLfgebZ96k1cxRE8zdBa/Z1UC7UBLOjvVU/2sdzUFgU5PBCsw+b7FNV90ZsTVn6IAq+AKa/drVuI5v80LOSXf48UuDP9K+A/6PL0jH85n0Udfaiz0pcNZnC4BKcuH0LMaHXgi/8FEHwWpUw1TOXujVCYSnhIajL6dKUlrho/FYjuWYzEX8WmhKGL9Ca9BJxfIG5cXBTEKW3vcIu4W/oLcjO6Js56jidCX7G9S8ko3lezt0uy16t/I/GR8yseso/l39Vd4+zIiQp07jF9FIKAy2yLSSd5kn5MDzIrwLFnrFdVwUzFy7U+hfgcXdhU6PJCegIzKZ6a0up7Ttr1XASHctraZkyhR4CKCDcySZoQx94NKxJxEtOhiRHH3imCDLoclrjND5sxpPGPl0PtLtpwni6VnJIqiEMrF44WbTX/1/xPsjPLDouMqH230qOjdKASxinIrT7Rwm+HvUUeWwl1A/ycASIvI3DOpNG83XvsCqe0AO1+YAREwM+GbKBNb4+x1AgUdLLYIN3bJlmJtSKwCBKPnO3eaYPrfyAZ3nyYBhFbz0Yc+nGJMQV4DSCk8TrT
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
- [Coq-Club] PhD thesis position on formal proofs and programming languages at Siemens Mobility, France, Danko Ilik, 08/17/2018
Archive powered by MHonArc 2.6.18.