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.
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
