Web Analytics

Open positions

One funded Ph.D. position is available for Summer/Fall 2024 in the Dependable Cyber-Physical Systems (DCPS) Laboratory of the EECS department at the University of Missouri, Columbia, USA, under the supervision of Prof. Khaza Anuarul Hoque. The research project is related to the ongoing Formal method in robotics project in the lab. Please read the following paper to get a heads-up on the project: Bonnah, Ernest, Luan Viet Nguyen, and Khaza Anuarul Hoque. “Model Checking Time Window Temporal Logic for Hyperproperties.” arXiv preprint arXiv:2308.02554 (2023).

Established in 1849, the University of Missouri College of Engineering’s excellence includes nine disciplines, 130 faculty members, more than 3,300 of the brightest undergraduates on campus and more than 600 exceptional graduate students at the flagship campus of the UM System. Electrical engineering at MU was established in 1884 – the first electrical engineering program in the nation. Located in the heart of Missouri, the College of Engineering at Mizzou operates the University of Missouri Research Reactor, the most powerful nuclear research reactor on a university campus nationwide.

Successful candidates will receive financial support as Research/Teaching Assistants (RAs/TAs) and be awarded a full tuition waiver with health insurance benefits. Candidates with expertise in the following areas are especially encouraged to apply.


  1. Good academic results in B.Sc/M.Sc. with a computer science/engineering major. Knowledge of formal verification/automata theory (especially model checking, SAT/SMT solving) is required.. The exact admission requirements are available here.

  2. A candidate with background/research experience in temporal logic (LTL, STL, MTL) and reinforcement learning will get the highest priority.

  3. Strong programming skills (C/C++, Python) are required. A good understanding of graph theory, dynamic programming, machine learning, and optimization techniques is a plus.

The interested candidates are suggested to send an email to Prof. Hoque ([email protected]) with the subject line “About the Ph.D. Position in FM and Robotics,” including (1) describing your interest in the specific research topic and demonstrating how you meet the above-mentioned requirements and (2) your curriculum vitae, including a list of publications (if any).

Note: Due to large volume of emails, I cannot reply to every email, but I will do my best to reply to competitive applicants.