The Manchester Metropolitan University is offering a PhD student position in the area of automated testing and bug fixing of Formal Methods tools. This high-impact project is supervised by Professor Suzanne Embury and Senior Lecturer Amira Ahmed, both of whom have expertise in computing, business intelligence, and technical training. The research will focus on improving the soundness and reliability of formal methods tools, with an emphasis on automated reasoning, programming languages, software engineering, and machine learning. Applicants should have a strong background in one or more of these areas and a passion for ensuring the reliability of software systems. The project is ideal for candidates interested in formal verification, software quality assurance, and the development of robust computational tools. The university provides a vibrant research environment and opportunities to collaborate with leading experts in the field. While funding details are not specified, interested candidates are encouraged to reach out to the supervisors or follow the provided LinkedIn links for more information. The application deadline is not mentioned, so early inquiries are recommended. This position is suitable for those seeking to advance their expertise in computer science and information technology, particularly in the context of formal methods and automated software testing.

The Augment team at The Manchester Metropolitan University, led by Senior Lecturer and Chief Learning Strategist Amira Ahmed, is recruiting PhD candidates and postdocs for several new research projects focused on human–AI collaboration. The research spans domains such as healthcare, human resources, and digital humanities, aiming to build AI systems that collaborate effectively with humans to support understanding, decision-making, and trust. Key research areas include designing interactive AI systems that adapt to human needs, enhancing transparency and mutual understanding between humans and AI, supporting human oversight and responsible AI use, and developing interfaces for exploring, visualising, and steering AI behaviour. The projects are ideal for candidates interested in the intersection of computer science, information technology, psychology, and business, with applications in real-world domains. Applicants should have a strong background in relevant fields and a passion for advancing human-AI collaboration. The positions offer the opportunity to work in a dynamic, interdisciplinary team and contribute to impactful research. While funding details are not specified, these are standard university research roles. The application deadline is January 4th, 2026, with interviews starting in December. Interested candidates should apply via the provided link and prepare their CV and supporting documents. For more information, visit the supervisor's LinkedIn profile or the university's job portal. This is an excellent opportunity for those seeking to advance their research career in AI, human-computer interaction, and related areas.