The Dependable Cyber-Physical Systems (DCPS) Laboratory at the University of Missouri is offering a fully funded Ph.D. position in Trustworthy AI/GenAI hardware, starting Fall 2026 or Spring 2027. The position is supervised by Associate Professor Khaza Anuarul Hoque, a leading researcher in AI hardware, formal methods, and cyber-physical systems. The DCPS 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, leveraging interdisciplinary techniques from formal methods, cybersecurity, and machine learning.

The research project is part of the ongoing Energy-Efficient and Trustworthy AI/GenAI Hardware initiative, with applications in edge AI, AR/VR, and robotics. The lab is recognized for its expertise in edge hardware, hardware security, and formal verification, and is supported by funding from the National Science Foundation (NSF), Army Research Laboratory (ARL), and Naval Research Laboratory (NRL). Recent publications from the group include work on explainable AI, efficient DNN generation, and hardware security for large language models.

Applicants should have a strong academic background (B.Sc. or M.Sc.) in computer science, engineering, or electrical engineering, with mandatory in-depth knowledge of AI/GenAI, hardware design, and AI accelerator architectures. Experience with formal verification, automata theory, model checking, or SAT/SMT solving is a plus. Candidates with research experience and publications in reputable venues are highly encouraged to apply. The lab values self-motivated, passionate, and hardworking individuals committed to producing top-quality research.

The position offers financial support as a Research or Teaching Assistant, including a full tuition waiver and health insurance benefits. The University of Missouri College of Engineering is renowned for its excellence and research impact, providing a vibrant environment for graduate study in the USA.

To apply, email Prof. Hoque ([email protected]) with a description of your research interests, how you meet the requirements, and your CV (including publications, if any). The application deadline is December 28, 2025, for Fall 2026 entry.