Post-Doctoral Research Visit F/M Reversible Debugging of Concurrent Systems

The recruited person will work in the context of ANR project DCore, which also involves Spades team from INRIA Grenoble, Antique team from INRIA Paris and IRIF…