Now hiring: PhD student and Postdoc

in

Formal Methods / Reverse Engineering

Multiple positions are available at the Open University of The Netherlands and the Systems Software Research Group at Virginia Tech on projects on formal methods and reverse engineering of binaries. 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 one of the fields of formal methods, compilation, low-level assembly code or reverse-engineering, then you must certainly apply. We can hire both ''promovendi'' (PhD students) and postdocs on this project. 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.
• It is a close collaboration between a Dutch and a US university and if requested there is the possibility of extended visits to the US.
• You can choose your own work location in The Netherlands (Amsterdam, Utrecht, Nijmegen, Eindhoven, ...).