If there is anyone here who'd like to work with me as a Research Associate from 1 Jan 2022 until 31 July 2023 or for a shorter period, full-time or part-time, please let me know.
Closing date is 13 Oct, no applicants so far so I will re-advertise if needed.
The post is on a research project at the intersection of embedded systems (SW&HW), programming languages, compilers, runtime systems and type theory. So if you know about any of these areas, it may suit you.
