PhD Position F/M Formal Verification of Liveness in Distributed Systems using Reinforcement Learning
gipsa-lab
rennes, France
Posted: 2026-02-13
💰 Estimated salary: € 35000 – € 50000 Based on similar mid-level others roles (gross annual)