Research Assistant position in verification, London (England)

Royal Holloway, University of London is looking for a postdoctoral research assistant to work on the EPSRC-funded project "String Constraint Solving with Real-World Regular Expressions" (EP/T00021X/1). Term: fixed, 3 years. Expected start date: Oct 2019 - Jan 2020. Salary: £35,931 to £42,456 per annum - including London Allowance.

The project is led by Dr. Matthew Hague  in the Department of Computer Science. The successful applicant will contribute to the development of constraint satisfaction algorithms for string constraints using "real-world" regular expressions. The work will build upon the OSTRICH tool, which will be integrated with the JavaScript symbolic execution framework ExpoSE.