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