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 Jobs
Metamorphic Executions for Stable and Performant Software SystemsUniversity of ManchesterOxford Rd, Manchester M13 9PL, UKStudent / Phd Jobs
Mechanically Checking the Semantics of Hybrid Event-BPost My JobManchester, United KingdomStudent / Phd Jobs
Debugging and runtime visualisation in a frame-based systemKing’s College LondonKing's College London, Strand, London, UKStudent / Phd Jobs
An Institution for TLA+: A Framework for InteroperabilityUniversity of ManchesterOxford Rd, Manchester M13 9PL, UKStudent / Phd Jobs
Agile Coaching activity within an Organisational Learning contextEdinburgh Napier University9 Sighthill Ct, Edinburgh EH11 4BN, UKStudent / Phd Jobs
Measuring Confidence in Heterogeneous VerificationPost My JobManchester, United KingdomStudent / Phd Jobs