Research Associate in Formal Verification for Robot

Formal Methods and Verification - Certification and Assurance - Transparency and Explainability - Trustworthy Autonomous Systems - Autonomy and Agent Systems Crucially, you will have an interest in working with regulatory and certification bodies and industry develop routes for the assurance of Autonomous and Robotic Systems. You will work with Dr Louise...

Research Assistant/Associate in Machine LearningAbout the ProjectWe are excited to offer a research assistant/associate position in machine learning within the Autonomy and Verification Group at The University of Manchester. In this role, you will be working on a project focused on developing a formal basis for Neuro-Symbolic AI, which involves combining the...

Research Assistant/Associate in Machine LearningAbout the RoleIn this exciting research position, you will be working within the Autonomy and Verification Group at The University of Manchester to explore the intersection of machine learning and formal methods. Your primary focus will be on developing a formal basis for Neuro-Symbolic AI, combining the...

Soteria is a cyber-security demonstrator for the e-commerce industrial market. UKRI funds it as part of the Industrial Strategy Challenge Fund, Digital Security by Design (DSbD) Challenge. DSbD is a substantial program of advanced collaborative research and development, technology prototyping, and business-led demonstrators, which aims to radically update...

Key Responsibilities:We are seeking a talented Research Assistant/Associate in Machine Learning to join our Autonomy and Verification Group. The successful candidate will conduct research on logic and formal methods, with a focus on providing a formal basis for Neuro-Symbolic AI.This role involves working on formalising and analysing Neuro-Symbolic AI,...

Job Title: Machine Learning ResearcherWe are seeking a highly skilled Machine Learning Researcher to join our team at The University of Manchester.The successful candidate will conduct research on logic and formal methods, with a particular focus on providing a formal basis for Neuro-Symbolic AI. This will require expertise in Temporal Logic, formalising...

Research Assistant/Associate in Machine LearningAbout the JobWe are seeking a highly skilled researcher to join our Autonomy and Verification Group at The University of Manchester. In this role, you will be responsible for conducting research in formal methods, with a particular focus on Neuro-Symbolic AI. This will involve exploring the intersection of...

The Manchester Centre of Robotics and AI of the University of Manchester is part of the Advanced Machinery Productivity Initiative (AMPI) which is to help regional, industrial growth in the North of England in the connected region of Greater Manchester, Rochdale and Leeds through targeted novel research, e.g. in the development of new soft manipulators,...

The RA should have strong interpersonal skills and be able to work with other work package team members in a positive manner. The work of the RA will contribute to the outcomes of two different work packages of AMPI. Other key investigators for this work are, Prof Guido Hermann, Dr Joaquin Gomez, Dr Judith Apsley (Actuators) and Professor Angelo Cangelosi...

Formal Verification Engineer - UKThis is a unique opportunity to join a dynamic multicultural organisation as they embark on their Formal Verification journey! I am looking for a Formal Verification expert who is able to not only be hands on but also drive and guide the Formal Verification strategy, activities and training to other group members. The role...

Researcher in Neuro-Symbolic AIThis position involves conducting research within the Autonomy and Verification Group on formalising and analysing Neuro-Symbolic AI. Combining Neural AI approaches with Symbolic AI methods offers a promising route to create explainable and verifiable AI systems.We seek a strong researcher who can conduct research on logic and...

Job DescriptionWe are seeking a highly skilled researcher to join our Autonomy and Verification Group at The University of Manchester. This position is focused on formalising and analysing Neuro-Symbolic AI, which combines the strengths of Neural AI and Symbolic AI approaches.The successful candidate will have expertise in Temporal Logic, formalising Hybrid...

Job RoleThe Automation and Test Engineer will work within a cross-functional team on new product development and research projects.Integrating and configuring system solutions, including automation and robotics equipment.Setting up hardware and software for various verification tests.Carrying out tests to evaluate system reliability and performance.Providing...

Job Summary: The University of Manchester is seeking a highly skilled Research Assistant to contribute to a groundbreaking project enabling deformable mannequins for customized garment production. This innovative project employs soft robotic systems, and the successful candidate will work on simulation technology and geometric optimization.Key...

Job Title: Expert in Symbolic Artificial IntelligenceWe are seeking an innovative computer scientist to lead our research team at the Economicsnetwork University. The successful candidate will have expertise in symbolic AI, its application to autonomous systems, multi-agent systems, artificial intelligence planning, and agent-based systems.Key...

**Background** The SECCOM project will investigate the art of architectural possibility, a model for security reasoning, and an approach to dynamic verification of computer systems constructed utilizing composable fabrics such as PCIe and Compute Express Link (CXL). This multifaceted project is, therefore, looking to hire one or two research...

Imagination Technologies Overview">We're a leading technology company that powers the world's most iconic electronic devices. Our relentless drive to push boundaries has led to powering over 10 billion devices, from smartphones to smart TVs.">Job Description">We're looking for an experienced Senior Staff Validation Engineer to join our team and help us...

Your Opportunity:Join us as a Senior Staff Validation Engineer and drive innovation in the creation of best-in-class GPU IP. As part of our team, you will work on key building blocks for market-leading chips and deliver significant impact to the future success of our wider team. Your primary responsibility will be to lead the delivery of formal verification...

Job Title: Research Associate Location: Manchester **Salary**: £22-£24k basic REF: J12104:MAN:GJ:RA Empowering business professionals to work smarter, our client provides world-class connectivity solutions to teams and executives across the UK and Europe. Redefining performance management, their influential enterprise focuses on benefiting businesses...

Job Title: Research Associate Location: Manchester **Salary**: £30,000 (£40K OTE) REF: J11911:MAN:GJ:RA Sector: Financial Services Empowering finance professionals to work smarter, our client provides world-class solutions to finance teams and executives across the globe. Redefining financial performance management, their influential enterprise focuses on...