or
Continue with FacebookLooking to list your PhD opportunities? Log in here.
About the Project
The new language WebAssembly is gaining popularity as a compilation target for Web applications. Unlike many modern languages, it has been carefully specified using a reference implementation in Standard ML. Some recent research has included production of a mechanised executable specification in Isabelle, further clarifying details of the language.
Automated verification techniques are methods for proving that a program behaves in a certain way, or is free from certain kinds of errors. Unlike testing, which only checks a finite number of use cases of a program, automated verification uses mathematically justified techniques to reason about a program, proving that it behaves correctly in all possible situations.
Automated verification techniques have developed rapidly over the last 20 years and are beginning to be used in some applications software. One common barrier to their application is the complexity and ambiguity of most programming languages. WebAssembly ought not to suffer from these problems. This factor, combined with its emerging popularity, makes it an ideal target for low-level automated verification techniques.
The goal of this project is to produce an automated verification tool for WebAssembly and to assess which verification techniques are effective for WebAssembly programs.
For informal enquiries, please contact m.lester@reading.ac.uk , including "Automated Verification of WebAssembly Programs" in the subject of your e-mail and stating clearly how you meet the eligibility criteria.
-----------------------------------------------------------------------------------------------------------------------------------------------------------------
You must have a good Bachelor's degree (2.1 or higher, or equivalent) or Master's degree in Computer Science, Mathematics or a similar relevant subject.
Experience of software development is essential, as is some knowledge of automated verification. Advanced knowledge of automated verification is not required, but you should (for example) have studied a relevant module at postgraduate or final year undergraduate level. Knowledge of compilers is also desirable.
Register your interest for this project
The university will respond to you directly. You will have a FindAPhD account to view your sent enquiries and receive email alerts with new PhD opportunities and guidance to help you choose the right programme.
It looks like you alredy have a FindAPhD Account
Log in to save time sending your enquiry and view previously sent enquiries
* required field
The information you submit to University of Reading will only be used by them or their data partners to deal with your enquiry, according to their privacy notice. For more information on how we use and store your data, please read our privacy statement.
Where will I study?
Search suggestions
Based on your current searches we recommend the following search filters.
Check out our other PhDs in Reading, United Kingdom
Start a New search with our database of over 4,000 PhDs
PhD suggestions
Based on your current search criteria we thought you might be interested in these.
Application of machine learning techniques to the reconfiguration of automated manufacturing systems
University of Bradford
Methods and tools for the verification of plug-and-produce robots in distributed manufacturing systems
University of Bradford
Intelligent and Efficient Testing and Verification of Deep Neural Networks
University of York