PhD Position F/M Formal Verification of Liveness in Distributed Systems using Reinforcement Learning
Inria
France
Summary
PhD Position: reinforcement learning for formal verification of livelocks in distributed protocols. Develop deep RL and directed testing to detect or prove livelock absence, model worst-case wait times, and scale to real implementations. Strong mathematical background required.
