-
and solving problems under uncertainty, from either an AI, robotics, or verification perspective, and an ability to manage own academic research and associated activities. Informal enquiries may be
-
, Oxford. For informal enquiries, please contact Ruby Ramsamy at ocdem.personnel@ndm.ox.ac.uk . Please quote the job reference ( 179168 ) on all correspondence. As part of your formal online application, you
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions