Logic List Mailing Archive

CfA: PhD scholarship in Automated Verification of WebAssembly Programs, University of Reading (England), deadline: 16 Apr. 2024

We are seeking to recruit a PhD student working on automated verification of WebAssembly code at the University of Reading (near London in England) under the supervision of Dr Martin Lester. The project is expected to involve a mixture of low-level program analysis techniques and bounded model-checking. You can read a description of the project here:

https://www.findaphd.com/phds/project/automated-verification-of-webassembly-programs/?p169824

This PhD place is funded for 4 years by a Graduate Teaching Assistantship. The student will receive full home fees and a stipend at the normal rate (14,428 GBP/year) PLUS a salary (starting at 6,994 GBP/year) in exchange for 25% time being spent assisting with teaching undergraduate modules (mainly a mixture of practical demonstration and marking):

https://jobs.reading.ac.uk/Job/JobDetail?JobId=13080

To discuss the project informally, contact Martin Lester (e-mail: m.lester@reading.ac.uk).

International students are welcome to apply, but will have to find other funding for the difference between home fees and international fees (currently 18,114 GBP/year extra).

Please note that it is necessary to submit two applications: one as a PhD student, and one for the GTA job. The closing date is soon (Tue 16th Apr), with interviews expected in the week beginning Mon 29th Apr.

--
Dr Martin Lester,
Lecturer in Computer Science, Department of Computer Science, University of Reading Chair of Student-Staff Partnership Group



--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php