Postdoc @ Imperial College London

There's a 2.5-year postdoc position now open at Imperial College London, working with Dr John Wickerson and Prof Alastair Donaldson. We're pretty flexible regarding the topic, but if you have an interest in:

- formal verification for heterogeneous systems,

- reliable software-to-hardware compilation (aka "high-level synthesis"), or

- empirical testing for persistent memory models,

or something similar, then we'd love to hear from you. Deadline is 9 January 2021. More details are at:

https://www.imperial.ac.uk/jobs/description/ENG01486/research-associate

and please don't hesitate to drop us an email if you have any informal questions.

Thanks for your attention, and do please pass this message on to anybody who might be interested.

Best wishes,
John

--
Dr John Wickerson
Lecturer
Dept. of Electrical and Electronic Engineering
Imperial College London
https://johnwickerson.github.io