D. or thesis-based Master's degree in Electrical Engineering, Control, Robotics, Applied Mathematics, Operations Research, Computer Science, Systems Engineering, or a related quantitative field (Note: Please include the title of your thesis in your application and a brief summary of the problem, methodology, and your specific contribution). Research experience in areas such as model predictive control, stochastic control, POMDPs, Bayesian estimation, system identification, hybrid systems, multi-agent systems, or formal verification.