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.