Openings for Graduate Students:

We are looking for highly motivated students with strong quantitative backgrounds in at least one of the following areas: machine/deep learning, formal methods, cyber-physical systems (including design, verification, monitoring and control of CPSs, multi-agent CPSs, human-in-the-loop CPSs, etc.), and are interested in one or more of the following topics: trustworthy A.I. (including sub-topics such as robustness, safety, security, fairness, etc.), learning-enabled cyber-physical systems, and multi-robot systems. See the Research page for more information on our current research projects.

Openings for Undergraduate Students:

We are looking for undergraduate students who are interested in building embedded systems or working with robotic platforms either in simulation or in the field.