Research Scientist, Safety-critical Control, Robotics, Saf Lab

Amazon Amazon · Big Tech · Pasadena, CA · Applied Science

Research Scientist focused on developing Control Barrier Function (CBF) theory and algorithms for safety-critical control in robotics. The role involves creating algorithms with formal safety guarantees, integrating them with learned control policies, and deploying them on next-generation robots. Key responsibilities include developing novel CBF algorithms, framing safety filtering within layered architectures involving learning-based components, designing multi-layer CBF filters, and formalizing the interplay between models and system dynamics. The role also requires implementing real-time optimization solvers, validating algorithms through simulation and hardware experiments, and contributing to theoretical foundations through publications. Collaboration with various teams and product leaders is essential for setting a science roadmap.

What you'd actually do

  1. Develop and implement novel CBF algorithms that provide formal safety guarantees while minimizing conservatism to maximize the permissible operating envelope highly dynamic robots
  2. Frame safety filtering within complex layered architectures involving learning-based components, including VLAs, RL-based locomotion and whole-body controllers
  3. Design multi-layer CBF based safety filters, including decision making layers, MPC, and real-time nonlinear feedback control elements
  4. Formalize the interplay between models used in the CBF safety filter and the full order dynamics of the robotic systems, establishing formal guarantees even if the full order system dynamics is not known and contains learning-based elements
  5. Understand the role of perception and semantic representations in the synthesis of CBFs, and the interplay between CBFs

Skills

Required

  • PhD in engineering, technology, computer science, machine learning, robotics, operations research, statistics, mathematics or equivalent quantitative field
  • Control Barrier Functions (theory and implementation)
  • Optimization-based controllers (QPs, SOCPs)
  • Dynamical systems theory
  • Nonlinear control
  • Formal verification or reachability analysis
  • C++
  • Python
  • Real-time systems implementation
  • Validation on physical robotic hardware
  • Publication record

Nice to have

  • Control systems engineering
  • Layered architecture in robotic systems
  • Hamilton-Jacobi reachability analysis
  • Robust or adaptive CBF methods
  • Sum-of-squares (SOS) programming
  • Lyapunov function synthesis
  • Real-time embedded systems
  • Multi-agent systems
  • High-dimensional robotic platforms
  • Learning-based approaches for CBF synthesis
  • Integration of CBFs into learning (e.g., CBF-RL)

What the JD emphasized

  • Deep expertise in Control Barrier Functions
  • Experience formulating and solving optimization-based controllers (QPs, SOCPs) for real-time safety filtering
  • Strong mathematical background in dynamical systems theory, nonlinear control, and formal verification or reachability analysis
  • Proficiency in C++ and Python with experience implementing control algorithms for real-time systems
  • Experience validating safety-critical algorithms on physical robotic hardware (not simulation-only)
  • Publication record at relevant venues

Other signals

  • develop novel CBF algorithms
  • formal safety guarantees
  • layered safety filters
  • interplay with learned control policies
  • deploy on next generation robots