Investigating Software Architecture Degradation in Systems Integrating Machine Learning and AI ComponentsPost My JobLeicester, United KingdomStudent / 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 EngineeringPost My JobBirmingham, United KingdomStudent / 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 systemPost My JobLondon, United KingdomStudent / 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