Postdoctoral Fellow Position in the Robotics Institute at Carnegie Mellon University

[Changliu Liu]

Dear colleagues,

Sorry to spam the lists. I would like to share a Postdoctoral Fellow position(s) in my group in the Robotics Institute at Carnegie Mellon University, related to neural network verification. It is greatly appreciated if you can forward the information to your senior students and staff.

========
Postdoctoral Fellow position(s) available in the Intelligent Control Lab, Robotics Institute at Carnegie Mellon University. This position focuses on formal verification and safety of perception-based humanoid robot control systems, with an emphasis on human-humanoid interaction. The goal is to develop principled methods that ensure humanoid robotic systems can operate reliably and safely in human-centered environments, bridging robotics, machine learning, and formal methods.

We are particularly interested in candidates with backgrounds in:
- Formal methods, e.g., neural network verification
- Safe learning and control for robotics
- Machine learning and foundation models

This is an opportunity to work on foundational problems in trustworthy robot autonomy, while maintaining strong connections to real-world robotic systems.

📍 Location: Pittsburgh, PA
🎓 Requirements: PhD in a relevant field (Robotics, ECE, CS, ME, or related)

If you are interested, please apply through the following link and send me your CV and research statement with up to three references.

========

Thanks,

Changliu Liu

Associate Professor

Robotics Institute

Carnegie Mellon University

icontrol.ri.cmu.edu/people/changliu