Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD position in Formal Methods/Decompilation a...

Email Gateway (Feb 12 2021 at 10:45):

From: Freek Verbeek <freek@vt.edu>
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 <http://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.

Last updated: Jul 15 2022 at 23:21 UTC