Openings for Graduate Students:

We are looking for highly motivated students with strong quantitative background, who are interested in one or more of the following: cyber-physical systems, design automation, computational proof methods, and machine learning.

Openings for Undergraduate Students:

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