Formal Methods Specialist

10 hours ago


Manchester, United Kingdom The University of Manchester Full time
Job Description: We're looking for a highly skilled researcher to join our team as a Formal Methods Specialist. As a key member of our research group, you will be responsible for conducting research on formal methods, autonomous systems, verification, and validation. Your expertise in Temporal Logic, Hybrid Systems, Category Theory, or Neuro-Symbolic AI will be crucial in developing innovative solutions for complex problems.

Benefits:
  • Pension scheme with employer contributions
  • Access to employee wellbeing services
  • Generous annual leave entitlement
  • Additional paid time off during the Christmas period
  • Discounts at local retailers

Key Responsibilities:
  • Develop and implement formal methods for Neuro-Symbolic AI
  • Collaborate with colleagues on research projects

Estimated Salary: £50,000 - £70,000 per annum.

About Us: The University of Manchester is a leading research institution with a rich history of innovation. Our researchers are pushing the boundaries of what's possible, and we're looking for talented individuals like you to join our team.

  • Manchester, United Kingdom The University of Manchester Full time

    We invite applications for a position as Research Associate in Formalising Neuro-Symbolic AI at The University of Manchester.The role involves conducting research in formal methods and their application to Neuro-Symbolic AI, with a focus on providing a formal basis for this approach.You will work closely with our team to develop new techniques and...


  • Manchester, United Kingdom The University of Manchester Full time

    Research Associate in Formalising Neuro-Symbolic AIJob Summary: We are seeking a highly skilled researcher to join our Autonomy and Verification Group in the Department of Computer Science at The University of Manchester. The successful candidate will conduct research on formal methods, with a focus on providing a formal basis for Neuro-Symbolic AI.About the...


  • Manchester, United Kingdom Fieldfisher Full time

    About the RoleWe are seeking a skilled Formalities Specialist to join our team at Fieldfisher. As a key member of our Intellectual Property (IP) team, you will be responsible for preparing, filing and reporting new trademark and design applications.Key ResponsibilitiesPreparing, filing and reporting new trademark and design applicationsAttending to...


  • Manchester, United Kingdom Fieldfisher Full time

    Job SummaryWe are seeking a highly skilled Intellectual Property Formalities Specialist to join our team at Fieldfisher. The successful candidate will be responsible for preparing, filing and reporting new trademark and design applications, attending to formalities requirements, drafting responses to objections and other responses before the relevant...


  • Manchester, United Kingdom Methods Full time

    About the RoleWe are looking for a skilled Digital Transformation Specialist to join our team at Methods. As a specialist, you will be responsible for designing and building solutions using low code platforms and related technologies.Key ResponsibilitiesDesign and build solutions using low code platforms and related technologies.Design and deliver complex...


  • Manchester, United Kingdom Methods Full time

    Transforming Public Services with Digital SolutionsAt Methods, we are passionate about harnessing the power of digital technology to transform public services and improve the lives of citizens. As a Digital Transformation Specialist, you will play a key role in designing and delivering innovative digital solutions that meet the needs of our public sector...


  • Manchester, United Kingdom Fieldfisher Full time

    Job DescriptionAbout FieldfisherFieldfisher is a leading law firm known for its expertise in intellectual property law. Our team has a proven track record of success in trademark and design protection, working with clients across various sectors, including technology, media, life sciences, retail, energy, and natural resources.We pride ourselves on our...


  • Manchester, United Kingdom Methods Full time

    About the RoleWe are seeking a highly skilled Digital Transformation Specialist to join our team at Methods. As a key member of our Change & Innovation Portfolio, you will play a critical role in designing and delivering digital transformation solutions for our public sector clients.Key ResponsibilitiesDesign and build solutions using low code platforms and...


  • Manchester, United Kingdom Methods Full time

    About the RoleWe are seeking a highly skilled Digital Transformation Specialist to join our team at Methods. As a key member of our Change & Innovation Portfolio, you will play a crucial role in designing and delivering digital transformation solutions for our public sector clients.Key ResponsibilitiesDesign and build solutions using low code platforms and...


  • Manchester, United Kingdom First Military Recruitment Ltd Full time

    **Job Overview:**We are seeking a skilled Maintenance Specialist to join our team at First Military Recruitment Ltd in Manchester. This is an exciting opportunity for a motivated individual to work in a fast-paced environment and contribute to the success of our client.The ideal candidate will have a strong background in mechanical engineering, with...


  • Manchester, United Kingdom The University of Manchester Full time

    Job Title: Machine Learning ResearcherWe are seeking a strong researcher to conduct research on logic and formal methods, with a focus on providing a formal basis for Neuro-Symbolic AI, combining the benefits of Neural and Symbolic AI approaches. Key Responsibilities:Fundamental knowledge of Temporal Logic, formalising Hybrid Systems, Category Theory, or...


  • Manchester, United Kingdom Nationwide Specialist Services Full time

    Roofing Estimation SpecialistWe are a specialist services supplier providing building maintenance, window cleaning, and platform hire services nationwide. Our dependable, in-house team operates around the clock, setting new standards for safety, speed, and consistency.As a Roofing Estimation Specialist at Nationwide Specialist Services, you will be...


  • Manchester, United Kingdom The University of Manchester Full time

    We are seeking a highly skilled researcher to join our team at The University of Manchester.The successful candidate will have a strong background in logic and formal methods, with expertise in Temporal Logic, formalising Hybrid Systems, Category Theory, or formal aspects of Neuro-Symbolic AI.As a Research Associate, you will contribute to our research on...


  • Manchester, United Kingdom The University of Manchester Full time

    The University of Manchester seeks a strong researcher to conduct research on logic and formal methods, focusing on providing a formal basis for Neuro-Symbolic AI.This work aligns with our research on formal methods, autonomous systems, and verification and validation, as part of the Autonomy and Verification Network.We are looking for an expert in Temporal...


  • Manchester, United Kingdom Manchester University NHS Foundation Trust Full time

    About the RoleThis is an exciting opportunity to join our multidisciplinary team as a Highly Specialist Speech and Language Therapist. As part of our new pilot at Royal Manchester Children's Hospital, you will be working with Newcastle University Hospitals NHS Foundation Trust to provide assessments and interventions for children, young people, and...


  • Manchester, United Kingdom The University of Manchester Full time

    Researcher Position in Formalising Neuro-Symbolic AIWe are seeking a highly skilled researcher to contribute to our project on formalising and analysing Neuro-Symbolic AI. This exciting opportunity is part of our ongoing research in the Autonomy and Verification Group at The University of Manchester.About the RoleThe successful candidate will be responsible...


  • Manchester, United Kingdom The University of Manchester Full time

    Job Summary: We're recruiting a highly skilled developer to work on our Neuro-Symbolic AI project. As a Neuro-Symbolic AI Developer, you will be responsible for designing and implementing cutting-edge AI solutions using formal methods. Your expertise in Temporal Logic, Hybrid Systems, Category Theory, or formal aspects of Neuro-Symbolic AI will be essential...


  • Manchester, United Kingdom The University of Manchester Full time

    Job Description:We are seeking an experienced Autonomous Systems Assurance Specialist to join our Autonomy and Verification Research Group at The University of Manchester. This is a fixed-term post for 30 months from April 2025, with the possibility of extension or conversion to a permanent position.Key Responsibilities:To contribute to the verification,...


  • Manchester, United Kingdom Nationwide Specialist Services Full time

    National Roofing Project ManagerWe are a leading provider of building maintenance and roofing services, operating nationwide. Our team of experts delivers high-quality projects across the UK, from new construction to refurbishment.As a National Roofing Project Manager at Nationwide Specialist Services, you will play a key role in estimating and managing...


  • Manchester, United Kingdom OLYMPUS EUROPA SE & CO. KG Full time

    Job OverviewWe are seeking a highly skilled Uptime Support Manager to join our team at OLYMPUS EUROPA SE & CO. KG. As an Uptime Support Manager, you will be responsible for ensuring our customer's equipment is available when required.ResponsibilitiesAccount Management: Develop strong relationships with customers and provide ongoing support to ensure their...