The Coq mailing list

[Freek Verbeek <freek AT vt.edu>]

=====================================================
PhD and postdoctoral positions in Formal Methods and Decompilation
Open University of The Netherlands / VirginiaTech (USA)
=====================================================

Multiple positions are available at the Open University of The Netherlands (https://ou.nl) and the Systems Software Research Group at Virginia Tech (https://www.ssrg.ece.vt.edu/) 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, (de)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:

	•	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, ...)

Applications can be done by sending your CV and a short application letter indicating your interest in the project via e-mail: fvb -- at -- ou.nl. For more information, see http://www.cs.ru.nl/~freekver/positions/