Doctoral student in hierarchical reinforcement learning for "AI for Math".
Doctoral student in hierarchical reinforcement learning for "AI for Math".
PhD position in AI with hierarchical reinforcement learning for AI for Math. Fully funded four-year doctoral program with teaching option. Ideal for CS or math grads with ML/RL background and strong coding skills (Python/C/C++). Research on automated proofs and interactive theorem proving.
Categories:
PhD Position F/M Formal Verification of Liveness in Distributed Systems using Reinforcement Learning
PhD Position F/M Formal Verification of Liveness in Distributed Systems using Reinforcement Learning
PhD Position: reinforcement learning for formal verification of livelocks in distributed protocols. Develop deep RL and directed testing to detect or prove livelock absence, model worst-case wait times, and scale to real implementations. Strong mathematical background required.
Categories:
PhD Position: Towards Next-Generation Trustworthy AI via Neuro-Symbolic Computing
PhD Position: Towards Next-Generation Trustworthy AI via Neuro-Symbolic Computing
PhD Positions & Research Opportunities in Computer Science exploring Neuro-Symbolic AI to raise trustworthiness and safety via formal methods. Self-funded, with weekly supervision and strong research/writing support, plus global collaboration. Online applications welcome; selection ongoing.
Categories:
PhD Candidate in Secure and Trustworthy Data Sharing for Maritime AI Model Development
PhD Candidate in Secure and Trustworthy Data Sharing for Maritime AI Model Development
PhD Positions and Research Opportunities in computer science focusing on secure systems. Norway-based, full-time, temporary doctoral candidate role in ICT. Application deadline: 30 June 2026.
Categories:
PhD position: Multimodal Large Language Model for Human-Centered Robots
PhD position: Multimodal Large Language Model for Human-Centered Robots
PhD Position in Computer Science studying Multimodal Large Language Models for human-centered robotics. Develop vision-language-audio fusion for natural human–robot interaction, multimodal perception, and adaptive communication. Opportunities to publish, access HPC and robot platforms, multidisci...
Categories:
PhD Studentship: Agentic AI Ensemble Systems for Real-World Reliability
PhD Studentship: Agentic AI Ensemble Systems for Real-World Reliability
PhD opportunity in computing and AI to develop a robust multi-agent ensemble framework for autonomous systems. Includes adversarial debate, dynamic role allocation, HITL triggers, and RLOF, tested on healthcare, agriculture, environment, finance. Start Oct 2026; funded with tuition and stipend.
Categories:
PhD Position: Machine Unlearning for Privacy-Preserving Cross-Modal Retrieval Systems
PhD Position: Machine Unlearning for Privacy-Preserving Cross-Modal Retrieval Systems
PhD opportunities in cross-modal retrieval exploring machine unlearning for selective forgetting across text, images, video, and audio while preserving semantic alignment and retrieval performance. Build evaluation frameworks and privacy-preserving multimedia search solutions for adaptable multi-...
Categories:
PhD Position: Developing Continual Adaptive Learning Techniques for Large Language Models in Neural Information Retrieval
PhD Position: Developing Continual Adaptive Learning Techniques for Large Language Models in Neural Information Retrieval
PhD positions in continual and adaptive learning for neural information retrieval to tackle catastrophic forgetting. Develop memory-efficient lifelong learning, domain adaptation, manage topic shifts and data growth, and validate on a real-world NIR system with scalable evaluation.
Categories:
PhD Position F/M PhD Position F/M: How does Reasoning with LLM Help Repair Vulnerabilities in Repo-level Software Projects?
PhD Position F/M PhD Position F/M: How does Reasoning with LLM Help Repair Vulnerabilities in Repo-level Software Projects?
PhD position (36 months) on secure software vulnerability detection with large language models. Research: RL-guided, repository-wide vulnerability discovery and automated remediation. Requirements: Master in CS/AI/Cybersecurity; deep learning, program analysis, Python, PyTorch; LLM/NLP a plus.
Categories: