Postdoctoral Position at the Intersection of Robotics, Formal Methods and DDNs.

A postdoctoral researcher is sought for a two-year position in computer science at Rice University to work with Professors Lydia Kavraki and Moshe Vardi on analysis techniques for deep neural networks (DNNs).

The impressive capabilities of deep neural networks have inspired system developers to use them in safety-critical cyber-physical control systems, such as autonomous vehicles and air traffic collision avoidance systems. For such applications it is imperative that the correctness of DNN systems be verified. Furthermore, it is desirable that such system be resistant to perturbations introduced by an adversary, or by inadvertent data corruption from system noise, domain shift, or broken sensors. Several recent incidents have underscored the need to better understand DNNs, and verify both their safety and security.

This project aims at developing techniques for analysis of DNNs by combining methods from formal methods, cyber-physical systems, and robotics. We are seeking candidates who have demonstrated ability to lead and/or work collaboratively in teams comprised of individuals of diverse backgrounds, skills, and perspectives.

BACKGROUND: Applicants must hold a Ph.D. in Computer Science, Electrical & Computer Engineering, Robotics, or a related field. Required skills include excellent analytical skills, excellent software engineering skills, and excellent writing skills. Candidates with current expertise at the intersection of formal methods and robotics/cyber-physical systems will be given priority. This position is particularly suited for candidates who want to follow a career in academia.

ABOUT RICE UNIVERSITY: As a leading research university with a distinctive commitment to education, Rice University ( aspires to path breaking research, unsurpassed teaching, and contributions to the betterment of our world. It seeks to fulfill this mission by cultivating a diverse community of learning and discovery that produces leaders across the spectrum of human endeavor. The George R. Brown School of Engineering ranks among the top 20 of undergraduate engineering programs (US News & World Report) and is strongly committed to nurturing the aspirations of faculty, staff and students in an inclusive environment. Rice University is an Equal Opportunity Employer with commitment to diversity at all levels and considers for employment qualified applicants without regard to race, color, religion, age, sex, sexual orientation, gender identity, national or ethnic origin, genetic information, disability, or protected veteran status. Rice University, a Tier 1 Research University, is located in the vibrant urban setting of Houston, TX, the fourth largest city in the U.S. Rice is ranked #16 in National Universities in the 2021 by “US News Best Colleges” and #1 for Quality of Life in the Princeton Review’s 2021 edition of “The Best 382 Colleges.”

Interested applicants should contact Professor Lydia Kavraki ( and Professor Moshe Vardi ( and provide (a) a CV, (b) the names of three or more references, (c) a one page description of their earlier work and, if desired, (d) a one paragraph statement about their interest in the advertised position.

The position is available immediately and applications will be accepted until this position is filled.