Julien Lange and I are looking for a PostDoc to work on our EPSRC Project "INDIMO: Invariant Discovery and Monitoring for Message-Passing Programs".
If you know someone, or are interested, please reach out!
A few details here: https://jobs.royalholloway.ac.uk/Vacancy.aspx?ref=0126-018
#getfedihired #fedihire #job #postdoc
edit: added tags
