[FM-India] PhD position at Oxford, Machine Learning for Verification

[Madhavan Mukund]

===============================================================
See http://www.cs.ox.ac.uk/news/1417-full.html for full details
===============================================================

Fully-Funded Doctoral Studentship in Formal Verification
Department of Computer Science, Oxford University 

Topic: Machine Learning for Verification

Supervisors: Professor Tom Melham and Professor Daniel Kroening  

Start Date: October 2018 or earlier

Online application deadline: 8 January 2018

Oxford University’s Automated Verification Research Group is offering
a fully-funded D.Phil. (Ph.D.) studentship in the Department of
Computer Science.

The successful applicant will be working with a first-class team in
Oxford’s world-leading verification research group, internationally
recognized as one of the largest and strongest groups in the world.
Our work spans a wide range of research, from fundamental
investigations into the decidability and complexity of model checking,
through logics and semantic models, all the way to practical,
machine-assisted methods applicable to real-world problems and
programming languages. We also have exceptionally strong industrial
links.

This position is associated with a research project funded by the
Semiconductor Research Corporation (SRC) led by Professors Tom Melham
and Daniel Kroening.  Through the project’s sponsorship by the SRC,
the applicant will have the opportunity for engagement with top
researchers and verification practitioners at SRC member companies;
mentors for the project include leading verification scientists at
Intel, ARM, and IBM.

This project is in the area of machine learning and formal
verification for computer systems, such as devices in the Internet of
Things.  The project aims to develop methods, algorithms, and tools
for formal verification of systems by using machine learning to
analyse component interactions based on data from execution traces.
The project will involve formal methods and theoretical foundations,
and is aiming ultimately at practical results.  Potential applicants
with a serious interest and suitable background are warmly welcomed to
make informal enquires before applying, when further information about
the project may be made available.

For more details, see http://www.cs.ox.ac.uk/news/1417-full.html

======================================================================