Update 1: We will have an opening in Fall 2023 related to our ‘Formal method in robotics’ project. We are looking for a potential candidate who has the background/research experience in temporal logic (LTL, STL, Hyperproperties) and optimization with strong programming skills. Feel free to get in touch if this matches your background.
Note: We recently finished hiring new PhD students and currently don’t have funding for additional/new PhD and postdoc positions. We can only welcome you if you have a fellowship. I’d be happy to support you after you apply to our group. New positions are updated on this page, so please check again in the future
Funded Ph.D. positions are available for Spring 2021 in EECS department at the University of Missouri, Columbia, USA under the supervision of Prof. Khaza Anuarul Hoque. The research project will focus on the development of formal verification based techniques for designing dependable and safe cyber-physical systems.
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 will also be awarded full tuition waiver. Candidates with expertise in one or more of the following priority areas are especially encouraged to apply.
Excellent academic results in B.Sc/M.Sc. with major in computer science/electrical engineering. The exact admission requirements are available here.
Strong background in mathematics (e.g. stochastic modeling, Markov chain) is required. Knowledge of formal verification/automata theory (especially, model checking) will be counted as a strong plus, but not mandatory.
Strong programming skills (C/C++, Python) is required. Good understanding of graph theory, dynamic programming, machine learning and optimization techniques are also mandatory.
The interested candidates are suggested to send an email to Prof. Hoque including (1) an email that expresses your interest to the specific research topic, and demonstrate 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.