Applications are open for a Research Fellow position at the University of Southampton’s School of Electronics and Computer Science.
The role focuses on formal verification of reinforcement learning with architectural uncertainty, involving mathematical modeling, formal methods, and tool development. Candidates should have a PhD (or be near completion) in computer science or a related field, with expertise in formal methods, reinforcement learning, or optimization. The position is in Dr. Chao Huang’s lab, specializing in safe AI design and verification. To apply, submit a one-page cover letter and CV. For details, contact Dr. Chao Huang at chao.huang@soton.ac.uk.