Post-Doctoral Research Assistant, Department of Computer Science
- Employer
- ROYAL HOLLOWAY, UNIVERSITY OF LONDON
- Location
- Egham, United Kingdom
- Salary
- £35,931 to £42,456 per annum - including London Allowance
- Closing date
- 6 Oct 2019
View more
- Academic Discipline
- Computer Science, Engineering & Technology
- Job Type
- Academic Posts, Postdocs, Research Related, Research Assistants / Officers
- Contract Type
- Fixed Term
- Hours
- Full Time
Job Details
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: Sunday 06 October 2019
Interview Date: To be confirmed
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.uk. For queries on the application process the Human Resources Department can be contacted by email at: recruitment@rhul.ac.uk
Closing Date: Midnight, 6 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.
Please note that it will not be possible for the College to issue a Certificate of Sponsorship for successful candidates as this role does not fall into one of the standard occupational codes deemed eligible for sponsorship by UK Visas and Immigration. Successful candidates will therefore need to be eligible to work in the UK or have limited leave to remain in the UK and associated right to work for the duration of their employment with the College, in accordance with the Immigration, Asylum and Nationality Act 2006.
Company
One of the UK’s leading research-intensive universities.
Royal Holloway is one of the UK’s top 20 universities, ranked 129 globally (Times Higher Education World University Rankings, 2015-16). We sit within the top 25% of UK universities for research that is rated world leading or internationally recognised and at 89%, our 2015 National Student Survey satisfaction rating is the highest of the University of London institutions.
The university has 21 academic departments and schools spanning the arts and humanities, sciences, social sciences, management, economics and law. We combine our world-class research and excellence in teaching with a global perspective, creating a close-knit community that inspires success. With some 9,000 students learning from internationally renowned academics and researchers, ours is a unique culture, where our students and colleagues feel recognised as individuals. We have a unique best-of-both-worlds location; a safe, leafy campus in Egham, Surrey, less than 40 minutes by train from central London and just seven miles from Heathrow airport, creating the environment where our community thrives.
- Mini-site
- ROYAL HOLLOWAY, UNIVERSITY OF LONDON
- Telephone
- +(44)01784 434455
- Location
-
EGHAM HILL
EGHAM
SURREY
TW20 0EX
United Kingdom
Get job alerts
Create a job alert and receive personalised job recommendations straight to your inbox.
Create alert