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 or contact Dr. Khaza Anuarul Hoque at .

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X