6 software-verification-phd PhD scholarships

Sort by: relevance | listed |

Enter an email to receive alerts for software-verification-phd positions

PhD Studentship: Formalizing Software Reliability: Theoretical Foundations and Practical Methods

; The University of Manchester | Manchester, England | United Kingdom | 3 months ago

Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
Up to two PhD positions at the intersection of Formal Verification and Planning

Chalmers University of Technology | Sweden | about 11 hours ago

What if you could design systems that not only follow instructions — but understand intent and guarantee correct behavior over time? We are looking for up to two PhD students who want to explore
AI for Certification and Lifecycle Monitoring: Intelligent Assurance in Safety-Critical Systems PhD

Cranfield University | Cranfield, England | United Kingdom | about 5 hours ago

graduate ready to drive change in AI-powered system certification and governance. Through this PhD, students will master the intersection of AI, verification, and regulatory compliance, gaining a rare
PhD scholarship in Time-Predictable Computer Architecture - DTU Compute PhD scholarship in Programming Languages, Software Engineering, and GenAI - DTU Compute
- About
- Contact
- Privacy Statement
- Universities
- Blogs
- Browse
- Post an Ads
Copyright © 2025 scholarshipdb.net. All rights reserved.