Investigating Software Architecture Degradation in Systems Integrating Machine Learning and AI ComponentsDe Montfort University De-Montfort House, De Montfort University, The Gateway, Leicester LE1 9BH, UKStudent / Phd JobsCloses: Jul 8, 2026
FM-Fuzz: Continuous Fuzzing and AI-based Bug Fixing for Formal MethodsPost My JobManchester, United KingdomStudent / Phd JobsCloses: Jul 7, 2026
Metamorphic Executions for Stable and Performant Software SystemsPost My JobManchester, United KingdomStudent / Phd JobsCloses: Jul 7, 2026
AI for Software EngineeringUniversity of BirminghamBirmingham, UKStudent / Phd JobsCloses: Jul 7, 2026
Mechanically Checking the Semantics of Hybrid Event-BPost My JobManchester, United KingdomStudent / Phd JobsCloses: Jul 7, 2026
Debugging and runtime visualisation in a frame-based systemKing’s College LondonKing's College London, Strand, London, UKStudent / Phd JobsCloses: Jul 7, 2026
An Institution for TLA+: A Framework for InteroperabilityPost My JobManchester, United KingdomStudent / Phd JobsCloses: Jul 7, 2026
Agile Coaching activity within an Organisational Learning contextEdinburgh Napier University9 Sighthill Ct, Edinburgh EH11 4BN, UKStudent / Phd JobsCloses: Jul 7, 2026
Measuring Confidence in Heterogeneous VerificationPost My JobManchester, United KingdomStudent / Phd JobsCloses: May 15, 2026