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.



@wim_v12e Cant help directly but am sharing :)

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves. A STEM-oriented instance.

An inclusive free speech instance.
All cultures and opinions welcome.
Explicit hate speech and harassment strictly forbidden.
We federate with all servers: we don't block any servers.