Two research assistant posts are being advertised to work with Professor Tom Melham in the Automated Verification research group at Oxford Computer Science. These are associated with the SCorCH (Secure Code for Capability Hardware) project, funded by the Industrial Strategy Challenge Fund Digital Security by Design (DSbD).
There’s a 12-month position and a 24-month position, and both are to research applied formal analysis or other verification and/or validation methods for hardware and/or systems. These are flexible positions in terms of the research directions followed and the background of the researchers. The appointed candidates will do work that best suits their scientific interests and career aspirations, according to their background and expertise, provided their research complements the other work being done in the project and broadly furthers the aims of the DSbD challenge.
Full details are available here:
and informal enquiries can be directed to Tom Melham at Oxford – Tom.Melham@cs.ox.ac.uk.