PhD Openings in Artificial Intelligence, Formal Methods, and Trustworthy Computing at University of Florida
Professor Sumit Kumar Jha at the University of Florida is recruiting multiple PhD students for Fall 2026 in the Department of Computer & Information Science & Engineering (CISE). The research focus is on Artificial Intelligence (AI), Machine Learning, Formal Methods, and Trustworthy Computing. Key topics include reasoning, decision-making, generative models, neurosymbolic AI, safe and responsible AI, interpretability, and rigorous evaluation of AI systems.
Students will benefit from access to HiPerGator 4.0, the fastest AI-dedicated university-owned system in the U.S., and collaborations with national labs such as ORNL and ANL. Projects are supported by major funding agencies including NSF, DoD, and DOE. The group has a strong publishing record in top venues like NeurIPS, ICML, ICLR, AAAI, IJCAI, DAC, and ICCAD.
Professor Jha's former PhD students have secured faculty positions at UCF and CU Boulder, roles at national labs (ORNL, AFRL), and industry positions at PayPal and Google, demonstrating excellent career outcomes.
Applicants should have a solid background in computer science or related fields, with interests in AI, machine learning, formal methods, and trustworthy computing. Experience in reasoning, decision-making, generative models, or neurosymbolic AI is preferred. Candidates should be motivated for rigorous research and evaluation of AI systems. No specific GPA, language test, or degree requirements are mentioned, but strong academic and research credentials are expected.
Funding is available through projects supported by NSF, DoD, DOE, and others, though specific stipend and tuition details are not provided. Interested candidates should contact Professor Sumit Kumar Jha via email ([email protected]) and review his academic website (sumitkumarjha.com) for further information. Applications should be submitted to the University of Florida CISE PhD program for Fall 2026.