coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD position in Formal Methods/Decompilation at the Open University of The Netherlands

From: Freek Verbeek <freek AT vt.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] PhD position in Formal Methods/Decompilation at the Open University of The Netherlands
Date: Thu, 11 Feb 2021 11:12:12 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=freek AT vt.edu; spf=Pass smtp.mailfrom=freek AT vt.edu; spf=None smtp.helo=postmaster AT mail-ed1-f43.google.com
Ironport-phdr: 9a23:kkgU2hJj62pT24XPqNmcpTZWNBhigK39O0sv0rFitYgeKvXxwZ3uMQTl6Ol3ixeRBMOHsqMC1rqd4viocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmT6wbalyIRi1ogncstUaipZ+J6gszRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3QqBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4qx2ThLjlSUJOCMj8GzPisJ/kK1Urg+iqRJx3YDaZ5qYO+BicqPYZ94aRXZNU8RXWidcAo28dYwPD+8ZMOhYtYnyuUUBrRijDgajGuzv0CRHiWHo0q05zu8sFg/G3BY+EN0Qs3TZt8v1NLsIXe+r0abI0CzOYvVL0jjy9IbGaAouoe2QXb1ua8rRz1EiGgHLgFiRq4HrMTKY2OoJvmWZ8uZuW+KihmEnpQx/rDaj2scih5XGi4wVxF7K9St3zYkrKdO2VUN2YMOoHYVOuiycKoB4TMQiQ2RytyY7zL0LoZm7fDUQxJQhwx7SbeGMfYuQ4h/7SuqdPTN1iGhmdb+/nRq+71Ssx+7mWsS73ltGtjdJn9bMu3wXyhDf98mKRuFg8kqv1juDzQDe5+FCLEspj6TUMYQhzaQ1lpcLsUTMACv2mELuga+TbEok++yo5/35bbr7u5OQLoF0hw7wP6g0lcy/BuM4MgcKX2eF4+izyLrj/UjhTLVLiP05jLXZvYjEKcgHoqO1GQxY34Y55xqhEzur084UkHYJIV5dfRKIlYnpO1XAIPDiCve/hkyhkDlxx//YILLhAY7ALmbfkLv7Y7ly9lNcxBIpzd9D/5JUFq0BIPXrV0Dts9zYFwY1PBCww+b6E9pwzZgeWGKKAq+BKqzeq16I5uQ1I+mNfoAZojj9K+J2r8Lp2HQ+gBoWebSj9ZoRcnGxWPp8cGuDZn+5rM0MHGRCgAckRuHnixXWXyReanWaQb566z0mXtH1RbzfT5yg1eTSlBywGYdbMzgfWwK8VEzwfoDBYM8iLSebI8tviDsBBeq/V8ks2Qz87VammYoiFfLd/2gjjbymzMJ8t7/NiVc/+SEmV53AgVHIdHl9myYzfxFz3K17phYgmFKK0Kw9jvABUNIPvLVGVQA1MZOaxOt/WYj/

A fully funded PhD position in the field of formal methods and reverse engineering is available at the Open University of The Netherlands. The project concerns a collaboration with Virginia Tech (US) and the prestigious DARPA research institute. We are interested in decompilation (retrieving source code from a binary) while maintaining a formal correctness proof that everything is sound. This will make bottom-up formal verification possible: applying formal verification to binaries, instead of to source code. If you have an interest in and affinity with one of the fields of formal methods, compilation, low-level assembly code or reverse-engineering, then you must certainly apply. Unique about the project is:

- There currently is no formally verified decompilation tool! Research into this can be high impact, and the project has close ties to interested parties with relevant case studies.
- You will be part of a large team of postdocs and PhDs working on the same project.
- It is a close collaboration between a Dutch university, a US university and the US DARPA research institute. If desired, there is the possibility of extended visits to the US.
- You can choose your own work location in The Netherlands (Amsterdam, Utrecht, Nijmegen, Eindhoven, ...).

The project starts in April 2021. For more information, do not hesitate to contact dr. Freek Verbeek: fvb — at — ou.nl. Applications can be done by sending your CV and a short application letter indicating your interest in the project to the same e-mail address.

[Coq-Club] PhD position in Formal Methods/Decompilation at the Open University of The Netherlands, Freek Verbeek, 02/11/2021