PhD Openings in Artificial Intelligence, Machine Learning, and Formal Methods at University of Florida University of Florida in United States

The University of Florida's Department of Computer & Information Science & Engineering, led by Professor Sumit Kumar Jha, is inviting applications for multiple PhD positions starting Fall 2026. The research group focuses on cutting-edge topics in Artificial Intelligence (AI), Machine Learning (ML), formal methods, trustworthy and responsible AI, and interpretability of AI systems. Students will have the opportunity to work on reasoning, decision-making, generative models, neurosymbolic AI, and rigorous evaluation of AI systems.

Prof. Jha's group is highly productive, with a strong track record of student success, including placements in academia, national labs, and industry. The group collaborates with national labs such as ORNL and ANL, and projects are supported by major funding agencies like NSF, DoD, and DOE. Students will have access to HiPerGator 4.0, the fastest AI-dedicated university-owned system in the U.S., and will be encouraged to publish in top venues such as NeurIPS, ICML, ICLR, AAAI, IJCAI, DAC, and ICCAD.

Applicants should have a strong background in computer science or related fields, with interests in AI, ML, and formal methods. Prior research experience and programming skills are preferred. The post does not specify detailed funding or stipend information, but the mention of major grants and computational resources suggests that positions are funded. Interested candidates should contact Prof. Jha and consult his academic page for further details, and prepare to apply through the University of Florida's official application process for the Fall 2026 intake.