🇦🇺 Fully Funded PhD Positions in Assured Neuro-Symbolic Reasoning – Monash University 📍 Location: Monash University, Australia ⏳ Duration: Fully funded PhD positions 📅 Application Deadline: March 15, 2025 🔬 Available PhD Positions: 1️⃣ Planning Agent Subteam: • Neuro-symbolic goal recognition • Neuro-symbolic path planning • Reinforcement learning with neuro-symbolic methods • Neural PDE solvers for dynamic systems 2️⃣ Multi-modal (LLM/VLM) Agent Subteam: • Neuro-symbolic multi-modal embodied AI agents 3️⃣ World-Model Subteam: • Neuro-symbolic world modeling & reasoning • Formal explanations of neuro-symbolic systems 🎯 Ideal Candidates Should Have: ✅ Strong background in neural networks ✅ Experience in at least one of the following: • Symbolic planning & reasoning • Differential equation modeling • Logic programming (Datalog, Problog, ASP, etc.) • Knowledge-graph based reasoning • LLM/VLM code-generating agent modeling 🔍 Preferred Qualifications: 📌 Research experience demonstrated via thesis/publications in top-tier ML, AI, NLP, CV, or Robotics conferences 💡 Supervision & Research Team: You’ll collaborate with an interdisciplinary team of leading researchers in computer vision, NLP, deep learning, symbolic reasoning, automated planning, and logic programming. 📩 How to Apply: Send your CV & transcripts to Maria Garcia de la Banda or the project team for consideration. 🔗 Learn more: https://lnkd.in/ePZzG6QY 🚀 Join a world-class research team and push the boundaries of neuro-symbolic AI! For service orders, visit: 🌐 AzarApply.ir 🆔 @AzarApply