[Job-offers-cs] 3yr Post-doc, String constraints, Royal Holloway, London

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] 3yr Post-doc, String constraints, Royal Holloway, London
Date: Thu, 26 Sep 2019 09:38:17 +0000
From: Hague, Matthew <Matthew.Hague at rhul.ac.uk>
To: dmanet at zpr.uni-koeln.de <dmanet at zpr.uni-koeln.de>


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

# Contact

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

To apply, please visit https://jobs.royalholloway.ac.uk.