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

Post My Job

Manchester, United Kingdom

Student / Phd Jobs

Closes: Jul 7, 2026

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

Measuring Confidence in Heterogeneous Verification

Post My Job

Manchester, United Kingdom

Student / Phd Jobs

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

Welcome to AcademicConnect!

Activate this Post now (Price requires currency selection)