Open Positions

Research Students

I am looking to hire motivated Ph.D. and M.S. students who are interested in working at the intersection of formal methods, systems security/computer architecture. I have openings for both institute-funded students and project-funded students. See the research page for more information on the problem areas.

If you are interested in these positions, send me an email with your CV and research interests.