Logic List Mailing Archive
CfA: Fully Funded PhD (Formal verification) position, University of Missouri, (Columbia, USA), deadline: asap
[Please forward this call to interested parties.]
One funded Ph.D. position is available for Spring 25 (can start in Fall 2024 if the student is US-based) in the Dependable Cyber-Physical Systems (DCPS) Laboratory<https://www.dcpslab.com/> ( https://www.dcpslab.com/ ) 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.
Ernest Bonnah, Luan Nguyen, and Khaza Anuarul Hoque. 2023. Model Checking Time Window Temporal Logic for Hyperproperties. In Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '23). Association for Computing Machinery, New York, NY, USA, 100-110. https://doi.org/10.1145/3610579.3611077
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.
Requirements:
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.
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 (hoquek@missouri.edu<mailto:hoquek@missouri.edu>) 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 the large volume of emails, I cannot reply to all emails, but I will do my best to reply to competitive applicants.
About the University of Missouri-Columbia:
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.
with best regards
____________________
Khaza Anuarul Hoque, PhD
Assistant Professor
Department of Electrical Engineering & Computer Science
University of Missouri
321 Naka Hall | Columbia, MO 65211
Phone: +1 (573) 882-4480
Email: hoquek@missouri.edu<mailto:hoquek@missouri.edu>
Web (personal): www.kahoque.com<http://www.kahoque.com>
Web (lab): https://www.dcpslab.com
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php