professor profile picture

Sumit Kumar Jha

Professor of Computer Science

University of Florida

Country flag

United States

Has open position

This profile is automatically generated from trusted academic sources.

Google Scholar

.

ORCID

.

LinkedIn

Social connections

How do Pakistani students reach out?

Sign in for free to see their profile details and contact information.

Meet Kite AI

Contact this professor

Research Interests

Artificial Intelligence

10%

Formal Methods

10%

Interpretability

10%

Machine Learning

10%

Information Technology

10%

Computer Science

10%

Ask ApplyKite AI

Start chatting
How can you help me contact this professor?
What are this professor's research interests?
How should I write an email to this professor?

Positions3

Publisher
source

Sumit Kumar Jha

University Name
.

University of Florida

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

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.

2 months ago

Publisher
source

Sumit Kumar Jha

University Name
.

University of Florida

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.

2 months ago