Changliu Liu

Carnegie Mellon University’s Robotics Institute is hiring Postdoctoral Fellow(s) in the Intelligent Control Lab with a research focus on formal verification and safety of perception-based humanoid robot control systems . The work emphasizes human-humanoid interaction and aims to develop principled methods for reliable and safe operation of humanoid robots in human-centered environments. This opportunity sits at the intersection of Robotics , Computer Science , Mathematics , and Electrical/Mechanical Engineering , with strong relevance to neural network verification , safe learning and control , machine learning , and foundation models . The position is ideal for candidates interested in trustworthy robot autonomy and rigorous methods for safety-critical robotic systems. Eligibility: applicants should hold a PhD in a relevant field such as Robotics, ECE, CS, ME, or a related area. The post specifically highlights experience or interest in formal methods, safe control, and machine learning for robotics. Location: Pittsburgh, Pennsylvania, United States. Application: apply via the provided link and send a CV, research statement, and up to three references to the announcer. No deadline was stated in the post.