Universiteit van Amsterdam

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 .