Postdoctoral Research Position in Automated Reasoning and Machine Learning

[YooJung Choi]

Postdoctoral Research Position in Automated Reasoning and Machine Learning
School of Computing and Augmented Intelligence
Arizona State University

The School of Computing and Augmented Intelligence (SCAI) at Arizona State University invites applications for a Postdoctoral Research Scholar position in Artificial Intelligence. The successful candidate will join a multi-institutional research project investigating new methods for integrating machine learning and logic-based reasoning to build trustworthy, explainable, and computationally efficient AI systems.

The project spans several areas of AI, including knowledge representation and reasoning, automated deduction, probabilistic inference, uncertainty quantification, machine learning, and explainable AI. The successful candidate will have the opportunity to pursue foundational research while collaborating with leading researchers from academia and industry.

Research Areas
Candidates with expertise in one or more of the following areas are encouraged to apply:

• Proof Theory and Automated Deduction
• Logic Programming
• Knowledge Representation and Reasoning
• Probabilistic Inference and Graphical Models
• Probabilistic Programming
• Neuro-Symbolic AI

Qualifications
Applicants should have:

• A Ph.D. in Computer Science, Artificial Intelligence, Machine Learning, Statistics, Mathematics, or a closely related field.
• A strong publication record in leading AI conferences or journals (e.g., AAAI, IJCAI, KR, UAI, NeurIPS, ICML, ICLR, AISTATS, CADE, LICS, ICAPS).
• Demonstrated research expertise in one or more of:
• Knowledge representation and automated reasoning
• Proof theory, theorem proving, or logic programming
• Probabilistic inference, probabilistic graphical models, or uncertainty in AI
• Neuro-symbolic AI or mathematical logic
• Strong programming skills in Python and experience developing research software.

Experience with one or more of the following is desirable, but not required:

• Bayesian methods or Gaussian Processes
• Tractable probabilistic inference or probabilistic circuits
• Automated theorem proving or symbolic reasoning systems
• Explainable AI and uncertainty estimation

Research Environment
The position is based at Arizona State University and involves collaboration with researchers from academia and industry on foundational AI research with applications to trustworthy intelligent systems. The successful candidate will work closely with Prof. Siddharth Srivastava, Prof. YooJung Choi, and Prof. Giulia Pedrielli at ASU.

Arizona State University has a vibrant AI research community spanning knowledge representation, planning, machine learning, robotics, formal methods, and human-AI collaboration. The position offers opportunities to publish in leading AI venues and contribute to the development of next-generation neuro-symbolic AI systems.

Appointment

• Full-time postdoctoral appointment
• Initial one-year appointment, renewable based on performance and funding
• Competitive salary and benefits
• Preferred start date: Fall 2026

Application
Applicants should submit:

• Curriculum vitae
• A one-page research statement describing research interests and relevant experience
• Contact information for three references
• Up to three representative publications

Review of applications will begin immediately and continue until the position is filled.

Questions about the position may be directed to: scale...@googlegroups.com.