A fully funded PhD position is available for Fall 2026 or Spring 2027 in the Dependable Cyber-Physical Systems (DCPS) Laboratory at the University of Missouri, Columbia, USA. The DCPS Lab, directed by Professor Khaza Anuarul Hoque, is part of the Department of Electrical Engineering and Computer Science. The lab focuses on developing theory, methods, and tools for the design, analysis, and formal verification of safe, secure, trustworthy, and energy-efficient AI and cyber-physical systems. Research areas include formal methods, cyber security, machine learning, edge AI hardware, augmented and virtual reality applications, and robotics automation.

The lab is well-funded by the National Science Foundation (NSF), United States Army Research Laboratory (ARL), and Naval Research Laboratory (NRL). The position offers full funding, including tuition and a stipend. Applicants should have a strong background in computer science, electrical engineering, or related fields, and an interest or experience in formal methods, cyber security, machine learning, robotics, or automation. Candidates must meet the University of Missouri's PhD admission requirements, including academic transcripts and English language proficiency for international students.

To apply, visit the DCPS Lab website for more information, prepare your application materials, and apply to the University of Missouri's PhD program in Electrical Engineering and Computer Science, indicating your interest in working with Prof. Hoque. For specific inquiries, contact Prof. Hoque at [email protected].

Keywords: Cyber-Physical Systems, Formal Methods, Cyber Security, Machine Learning, Edge AI Hardware, Augmented Reality, Virtual Reality, Robotics, Automation, Electrical Engineering, Computer Science.