[ecoop-info] Postdoc Position in Programming Language Implementation

Stefan Marr ecoop at stefan-marr.de
Wed Jul 28 19:57:41 CEST 2021

We are looking for a Postdoc to join our team full-time for a 2-year EPSRC funded project.

In the project, we are working on automatically preventing concurrency issues
from causing harm at run time. We build on ideas for lightweight race
detection as well as deterministic record & replay to facilitate debugging. 

For more details, please email me: s.marr at kent.ac.uk 

For overview of what our team is currently working on, check out:

All queries welcome!

Stefan Marr
Senior Lecturer
School of Computing, University of Kent

More information about the ecoop-info mailing list