[ecoop-info] Postdoc Position in Programming Language Implementation
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!
School of Computing, University of Kent
More information about the ecoop-info