University Lecturer and

Tutorial Fellow at Worcester College

Department of Computer Science, University of Oxford,

Wolfson Building, Parks Road, Oxford, OX1 3QD, UK

Phone: +44 1865 610 783

Email: hongseok00Xgmail.com where X is @

I am looking for passionate PhD students interested in developing efficient automatic software-verification algorithms, which combine ideas from various fields such as logic, programming language theory, machine learning and testing. Currently, I don’t have PhD studentships. But you can apply for scholarships from the university. See here.

A postdoc position for experts in static analysis or machine learning is available. See here.