PhD in RL for Verifying Distributed Livelocks

CNRS; France; Sur place; EUR 25 000 - 30 000; Plein temps

Résumé du poste

A leading research organization in France is seeking a PhD candidate specializing in computer science. The role focuses on the development of algorithms to address livelock issues in distributed protocols using reinforcement learning. Candidates should have a strong theoretical background, with a master’s degree in computer science or related fields, and be motivated to explore reinforcement learning and formal verification. This full-time position offers an opportunity to contribute to cutting-edge research in a collaborative environment.

Qualifications

• Excellent theoretical background in computer science or related fields with a (ongoing) master’s degree.
• Knowledge in reinforcement learning, formal verification or logic.

Responsabilités

• Develop algorithms for automatically proving the absence of livelocks.
• Analyze maximal wait times using reinforcement learning algorithms.
• Model problems as RL problems, focusing on rewards and algorithm scaling.

Connaissances

Reinforcement learning

Formal verification

Computer science theory

Formation

Master's degree in computer science or related fields

Description du poste

A leading research organization in France is seeking a PhD candidate specializing in computer science. The role focuses on the development of algorithms to address livelock issues in distributed protocols using reinforcement learning. Candidates should have a strong theoretical background, with a master’s degree in computer science or related fields, and be motivated to explore reinforcement learning and formal verification. This full-time position offers an opportunity to contribute to cutting-edge research in a collaborative environment.