Postdoc and PhD Positions in Formal Verification of Cyber-Physical Systems

Postdoc and PhD Positions in Formal Verification of Cyber-Physical Systems

Aerospace and Ocean Engineering, Virginia Tech, Blacksburg VA 24061, U.S.A.
Application deadline: Interested researchers are encouraged to apply as soon as possible. Applications will be accepted until positions are filled.

Projects
Applications are invited for Postdoc and PhD positions to work on projects focusing on the compositional verification of cyber-physical systems such as autonomous vehicles.

Candidates
For the Postdoc positions, we seek candidates with a strong background in formal methods applied to cyber-physical systems. Ideally candidates will hold a PhD or have equivalent experience, though candidates who are close to submitting a PhD dissertation will be considered.

Application
Please email your application to Dr. Mazen Farhood (farhood@vt.edu). The application should include your CV, a brief statement of research experience and interests, and the names of three references.

The appointments for the Postdoc positions start as soon as possible and will be for one year with renewal contingent on performance. PhD student(s) are expected to join the graduate program at Virginia Tech either in the Spring 2019 or Fall 2019 semesters.

More Information
Further details may be obtained from Dr. Mazen Farhood (farhood@vt.edu).

____________________________________________

Mazen Farhood, Associate Professor

Virginia Tech
Aerospace and Ocean Engineering
215 Randolph Hall
Blacksburg, VA 24061

Email: farhood@vt.edu
Phone: (540) 231-2983
www: http://www.dept.aoe.vt.edu/~farhood/