Trajectory Planning under Formal Methods Specifications - Honda Research Institute USA

Trajectory Planning under Formal Methods Specifications

Your application is being processed

Trajectory Planning under Formal Methods Specifications

Job Number: P23INT-42
This project focuses on developing a generic trajectory planning pipeline that formally incorporates the explicit and implicit road as well as traffic rules into the planning framework. This entails deciding on a course of action that has robustness properties with respect to the various hard and soft rules defined formally through temporal logic specifications and/or risk functions. This task requires utilizing concepts from the areas of formal methods, optimization, probabilistic modeling, risk analysis, and robotics to develop algorithms that are real-world deployable.
San Jose, CA

 

Key Responsibilities
  • Model various road and traffic rules with formal methods specifications in a way that they can be efficiently incorporated into an optimization or sampling based trajectory planning methodDevise real-time implementable trajectory planning strategies that have robustness properties with respect to the outlined formal methods based specifications or risk measures
  • Test the developed algorithms’ performance in simulations as well as on real-world data for scenarios ranging from autonomous parking, deadlock recovery, highway merging, etc.
  • Publish findings in a top-tier conference

 

 

Minimum Qualifications

  • M.S. candidate in robotics, computer science, electrical engineering, or related field
  • Research experience in decision-making, motion planning, formal methods, and robotics
  • Excellent programming skills in Python and/or C++
  • Experience with ROS (Robot Operating System)
   
 

Bonus Qualifications

  • Ph.D. candidate in robotics, computer science, electrical engineering, or related field
  • Publication record in the areas of decision-making and motion planning on robotic systems

 

Alternate Way to Apply

Send an e-mail to careers@honda-ri.com with the following:
- Subject line including the job number(s) you are applying for 
- Recent CV 
- A cover letter highlighting relevant background (Optional)

Please, do not contact our office to inquiry about your application status.