Logic List Mailing Archive

Research Assistant position in verification, London (England)

Research Assistant Position in Verification at Royal Holloway, University of 
London

# Overview

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 
# 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 Dr. 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 Rmmer (Uppsala). In 
addition, we will also collaborate with Prodo.dev in London.

# Contact

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

To apply, please visit https://jobs.royalholloway.ac.uk.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam