Connectionists: 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 IntelligenceArizona 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_ml_lp at googlegroups.com.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.srv.cs.cmu.edu/pipermail/connectionists/attachments/20260809/1c3bd9f2/attachment.html>