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 Professor Khaza Anuarul Hoque and focuses on research related to energy-efficient and robust AI hardware, including AI/GenAI, hardware design, and AI accelerator architectures. The lab is recognized for its expertise in edge hardware, AR/VR, robotics, and formal methods, with frequent publications in top-tier conferences and journals. Applicants should have a strong academic background in computer science, engineering, or electrical engineering, with mandatory in-depth knowledge of AI/GenAI and hardware design. Experience with formal verification, automata theory, and model checking is a plus. Candidates with research experience and publications in reputable venues are highly encouraged to apply. 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 offers a vibrant research environment. Interested candidates should email Prof. Hoque with a description of their research interests, how they meet the requirements, and a CV. The application deadline is December 28, 2026. For more information, visit the DCPS Lab website or contact Prof. Hoque directly.

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.

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.