[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
