πŸŽ“ Discover PhD and Master's programmes at leading universities worldwide β€” Sign up free to save searches and get email alerts

Results for "computer science"

6 opportunities found

Rigorous Safety and Reliability in Autonomous Systems via Formal Verification and Data-Driven Control
University of Birmingham Prof. Sadegh Soudjani πŸŽ“ Applied Mathematics πŸŽ“ Computer Science Deadline: 10 May 2024

Explore how to develop mathematically rigorous methods ensuring safety and reliability in autonomous systems by integrating control theory, formal verification, and probabilistic approaches. Ideal for candidates eager t…

This research is crucial for advancing the safety and reliability of autonomous systems deployed in real-world safety-critical applications…

3500+ citations Β· h30
Cyber-Physical Systems Safe Autonomy & AI Model Checking Formal Methods
PhD Fellowships in Neuro-symbolic Machine Learning for Biology and Drug Design
University of Copenhagen Professor Wouter Boomsma πŸŽ“ Computational Biology πŸŽ“ Machine Learning Deadline: 21 May 2026

Explore neuro-symbolic AI methods to enhance reliability and interpretability in biological models. Develop cutting-edge algorithms for protein sequence analysis and drug discovery, leveraging interdisciplinary data lik…

This research is critical for advancing AI models that are biologically interpretable and reliable, addressing key challenges in disease un…

Machine learning Structural Bioinformatics Biomolecular simulations
Northeastern University London Fully Funded PhD Scholarship in Computer Science: Hardware-Software Co-Design for Efficient AI in IoT and Networked Systems
Northeastern University London Prof Bipin Rajendran, Dr Christos Efstratiou πŸŽ“ Artificial Intelligence πŸŽ“ Computer Science Deadline: 01 Apr 2026

This fully-funded PhD at NU London focuses on developing scalable, energy-efficient AI accelerators for IoT and networked systems through hardware-software co-design. The research combines AI model optimization, emergin…

Northeastern University London Fully Funded PhD Scholarship in Computer Science: Reliable What-If Analysis of Intelligent Networks
Northeastern University London Prof Osvaldo Simeone, Dr Huiling Zhu πŸŽ“ Artificial Intelligence πŸŽ“ Computer Science Deadline: 01 Apr 2026

This fully-funded PhD at NU London develops statistically reliable frameworks for what-if analysis in intelligent networks. The research combines causal inference, conformal prediction, and agent-environment modeling to…

2D-Transition Metal Dichalcogenide Nanoelectronic Devices for Neuromorphic Computing
University of Southampton Dr Ruomeng Huang πŸŽ“ Artificial Intelligence πŸŽ“ Electronic Engineering Deadline: 30 Apr 2026

This EPSRC-funded PhD will explore 2D transition metal dichalcogenide (TMDC) nanoelectronic devices for energy-efficient neuromorphic computing, combining nanofabrication, device physics, and advanced materials characte…

Mitigating Synthesisability Loss in 3D Generative Models
University of Liverpool Dr Anthony Bradley, Dr Gabriella Pizzuto, Dr John Ward πŸŽ“ Artificial Intelligence πŸŽ“ Computational Chemistry Deadline: 30 Jun 2026

This PhD will combine 3D generative modelling, structural informatics, and chemical insight to tackle a central challenge in modern drug discovery, training researchers at the interface of AI, synthesis, and automation.