We use cookies on this site. By browsing our site you agree to our Terms & Conditions and use of cookies. Close this message Find out more

View All Vacancies

Post-Doctoral Research Assistant in the Analysis of String Manipulating Programs with Real-World Regular Expressions

Department of Computer Science

Location:  Egham
Salary:  £35,931 to £42,456 per annum - including London Allowance
Closing Date:  Thursday 31 October 2019
Interview Date:  To be confirmed
Reference:  0919-372

Full-Time, Fixed-Term (3 years)

Prof. Matthew Hague at 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). Expected start date: Oct 2019 - Jan 2020

Project and Application Background

The successful applicant will contribute to the development of constraint satisfaction algorithms for string constraints using "real-world" regular expressions. That is, regular expressions using features such as capture groups and back-references that are not normally considered by theoretical research. In addition, the handling of length constraints represents a significant challenge.

The work will build upon the OSTRICH tool (https://github.com/uuverifiers/ostrich), which will be integrated with the JavaScript symbolic execution framework ExpoSE (https://github.com/ExpoSEJS/ExpoSE).

Ideal applicants will have a strong background in computer science or related areas and experience in at least one of logic, algorithms, programming language theory/implementation, formal language theory, and formal verification.

Research Environment

The project is led by Prof. Matthew Hague (https://www.cs.rhul.ac.uk/home/hague) in the Department of Computer Science. It will proceed in close collaboration with Prof. Dr. Johannes Kinder (Bundeswehr University Munich), Prof. Dr. Anthony W. Lin (Kaiserslautern), and Dr. Philipp Rümmer (Uppsala). In addition, we will also collaborate with Prodo.dev in London.

In return we offer a highly competitive rewards and benefits package including:

  • Generous annual leave entitlement 
  • Training and Development opportunities
  • Pension Scheme with generous employer contribution 
  • Various schemes including Cycle to Work, Season Ticket Loans and help with the cost of Eyesight testing. 
  • Free parking 

The post is based in Egham, Surrey where the College is situated in a beautiful, leafy campus near to Windsor Great Park and within commuting distance from London.

Contact

For informal enquiries please contact matthew.hague@rhul.ac.uk.

To view further details of this post and to apply please visit https://jobs.royalholloway.ac.ukFor queries on the application process the Human Resources Department can be contacted by email at: recruitment@rhul.ac.uk 


Please quote the reference: 0919-372

Closing Date: Midnight, 31 October 2019 

Interview Date: TBC

Royal Holloway is committed to equality and diversity, and encourages applications from all sections of the community. Read here about structures and initiatives around equality and diversity, including information on staff diversity networks. 

Email details to a friend
Further details:

Royal Holloway is committed to equality and diversity, and encourages applications from all sections of the community. Read here about structures and initiatives around equality and diversity, including information on staff diversity networks.


Stonewall, Disability Confident Employer, Athena Swan Bronze, Race Equality Charter Bronze

Login



Forgotten Details     Register