Stream: Mirror: Isabelle Users Mailing List

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

view this post on Zulip Email Gateway (Feb 12 2021 at 10:45):

From: Freek Verbeek <>
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:

The project starts in April 2021. For more information, do not hesitate to contact dr. Freek Verbeek: fvb — at — <>. 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: Dec 08 2021 at 08:24 UTC