Please note that this newsitem has been archived, and may contain outdated information or links.
Two PhD student positions in formal verification, Columbia MO (U.S.A.)
Deadline: Thursday 11 January 2018
Two funded Ph.D. positions are available from Spring/Fall 2018 in EECS department at the University of Missouri, Columbia, USA under the supervision of Dr. Khaza Anuarul Hoque. The research project will focus on the development of formal verification based techniques for designing dependable and safe cyber-physical systems (target application domain: aerospace, automotive and smart-energy).
For more information, see
http://www.kahoque.com/#hiring-tab
or contact Dr. Khaza Anuarul Hoque at hoquek at missouri.edu.
Please note that this newsitem has been archived, and may contain outdated information or links.