Investigating Software Architecture Degradation in Systems Integrating Machine Learning and AI Components

De Montfort University

De-Montfort House, De Montfort University, The Gateway, Leicester LE1 9BH, UK

Student / Phd Jobs

Closes: Jul 8, 2026

FM-Fuzz: Continuous Fuzzing and AI-based Bug Fixing for Formal Methods

University of Manchester

Oxford Rd, Manchester M13 9PL, UK

Student / Phd Jobs

Metamorphic Executions for Stable and Performant Software Systems

University of Manchester

Oxford Rd, Manchester M13 9PL, UK

Student / Phd Jobs

AI for Software Engineering

University of Birmingham

Birmingham, UK

Student / Phd Jobs

Mechanically Checking the Semantics of Hybrid Event-B

University of Manchester

Oxford Rd, Manchester M13 9PL, UK

Student / Phd Jobs

Hybrid Event-B and Rodin

University of Manchester

Oxford Rd, Manchester M13 9PL, UK

Student / Phd Jobs

Debugging and runtime visualisation in a frame-based system

King’s College London

King's College London, Strand, London, UK

Student / Phd Jobs

An Institution for TLA+: A Framework for Interoperability

University of Manchester

Oxford Rd, Manchester M13 9PL, UK

Student / Phd Jobs

Agile Coaching activity within an Organisational Learning context

Edinburgh Napier University

9 Sighthill Ct, Edinburgh EH11 4BN, UK

Student / Phd Jobs

Mechanically Checking the Semantics of Hybrid Event-B

University of Manchester

Oxford Rd, Manchester M13 9PL, UK

Welcome to AcademicConnect!

Activate this Post now (Price requires currency selection)

Investigating Software Architecture Degradation in Systems Integrating Machine Learning and AI Components

FM-Fuzz: Continuous Fuzzing and AI-based Bug Fixing for Formal Methods

Metamorphic Executions for Stable and Performant Software Systems

AI for Software Engineering

Mechanically Checking the Semantics of Hybrid Event-B

Hybrid Event-B and Rodin

Debugging and runtime visualisation in a frame-based system

An Institution for TLA+: A Framework for Interoperability

Agile Coaching activity within an Organisational Learning context