Research Associate in Program Analysis

University College London - Department of Computer Science, Software Systems Engineering

We are seeking a postdoctoral research associate for DAASE, an EPSRC-funded programme grant, hosted in the Software Systems Engineering group at UCL, supervised by Dr. Earl Barr and Professor Mark Harman.

Recent advances in search-based software engineering and the intersection of ML and program analysis have opened up exciting possibilities to extend and transform traditional program analysis.

The successful candidate will apply ML techniques to program analysis and take responsibility for key components of the research, including the selection of research questions, development of new approaches, and preparation of papers for publication.

This post is funded until 31 November 2018 in the first instance. Further funding to support the post may be available.

The successful candidate will demonstrate extensive expertise in program analysis with a strong interest in the application area. We will expect you to be a self-motivated individual with the ability to take responsibility for key components of the research. You should also be comfortable working in a collaborative and interdisciplinary environment. You should have (or about to be awarded) a PhD in a relevant area, research experience in program analysis or verification, strong programming skills, and publication track record in relevant, peer-reviewed venues.

Applicants should apply online. To access further details about the position and how to apply please click on the ‘Apply’ button below.

If you have any queries regarding the vacancy or the application process, please contact Katie Bourke 020 7679 0325 or email .

Latest time for the submission of applications: 23:59.

UCL Taking Action for Equality

Share this job
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role: