<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); background-color: rgb(255, 255, 255);" class="elementToProof ContentPasted0">
- Application deadline: Midnight, 15 Oct 2022
<div class="ContentPasted0">- Salary: £37,467</div>
<div class="ContentPasted0">- Duration: until November 2023</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Applications are invited for the post of Post-Doctoral Research Assistant in the Computer Science Department at Royal Holloway, University of London.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The post holder will have an exciting opportunity to work on the EPSRC-funded "Verification of Hardware Concurrency via Model Learning" (CLeVer) project</div>
<div class="ContentPasted0">(EP/S028641/1), led by Prof. Alexandra Silva (UCL/Cornell) and Matteo Sammartino (RHUL), in collaboration with ARM, world-leading designer of multi-core chips.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">For an informal discussion about the post, please contact Dr. Matteo Sammartino on matteo.sammartino@rhul.ac.uk.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"># Brief description of the project</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">Digital devices are increasingly complex, therefore there is a pressing need to automate the assessment of their correctness. Formal verification provides highly effective techniques to assess the correctness of systems. However,
formal models are usually built by humans, and as such can be error-prone and inaccurate.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">The project aims to develop a novel verification framework for hardware, which combines learning, testing and model-checking. Not all models are suitable for this purpose and hence specific classes of models will need to be developed,
depending on the task at hand. Subsequently, learning and verification techniques for these classes need to be devised and tested in realistic case studies. We have an industrial partner, ARM, that will provide valuable guidance on the design and development
of the aforementioned tasks.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"># The ideal candidate</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">We are looking for candidates with a PhD in one of the following areas: model-based testing and verification, model learning, automated analysis of hardware systems. Experience in multiple areas will be valued. Candidates ideally
should also have strong programming skills.</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0"># Where to apply</div>
<div><br class="ContentPasted0">
</div>
<div class="ContentPasted0">https://jobs.royalholloway.ac.uk/0922-411</div>
<br>
</div>
<div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div id="Signature">
<div>
<div></div>
<div></div>
<div></div>
<div></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
==============================</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Matteo Sammartino, <span style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Lecturer</span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Royal Holloway University of London </div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Department of Computer Science</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Tel.: (+44) (0) 1784 44 3690</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Office: 2-07, Bedford Building</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<a href="https://urldefense.com/v3/__https://matteosammartino.com/__;!!IBzWLUs!UHRVDKYuGBisANVHYXkRq9B3MgRVK7e_eBNc9OvbewBWtdzXJdp8PWhGd3OtSRBvpXV5hVLVaqRZO0QebeM5Cd07RV69HWCsb5Y_vF-Ta8ou$">https://matteosammartino.com/</a></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</div>
</div>
</div>
<p>This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted.
If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of
London. It is your responsibility to ensure that this email and any attachments are virus free.</p>
<p></p>
</body>
</html>