Researcher in Logic and Formal Methods

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...

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...

Company Overview: The School of Computer Science at the University of Manchester is a leading research institution, collaborating with industry partners to develop innovative technologies.Salary: We offer a competitive salary range of £35,000 - £40,000 per annum, commensurate with experience.Job Description: As a Postdoctoral Research Assistant 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...

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...

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...

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...

About Lifelancer Lifelancer is a talent-hiring platform connecting professionals with opportunities in life sciences, pharma, and IT. Job Title: AI Research Scientist for Neuro-Symbolic AI Formalisation Location: Manchester, UK This role offers an exceptional opportunity to work as an AI research scientist on formalising neuro-symbolic AI within the Autonomy...

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...

Role OverviewThe University of Manchester invites applications for a postdoctoral research position to join the Autonomy and Verification Research Group. As a Researcher in Verification and Validation, you will contribute to the CRADLE project, developing novel technologies for Robotic Autonomous Systems.ResponsibilitiesConduct research in formal methods,...

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...

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...

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...

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...

Job Opportunity at The University of ManchesterWe are seeking a highly skilled Senior Research Expert to join our Autonomy and Verification Research Group. This is a full-time, fixed-term post tenable from April 2025 until September 2027.About the RoleThe successful candidate will have expertise in verification, validation, and assurance of security for...

Two Research Associates are required to work on the UKRI-funded project, , directed by Jon Williamson in the Department of Philosophy, University of Manchester. This position requires expertise in evidence review and research methods.  The positions must start on 16 January 2025 and the contract is for 2 years. The Research Associates will be based in the...

Job DescriptionThe School of Computer Science at The University of Manchester is inviting applications for a Senior Research Associate position in Robotic Assurance. This role will focus on the development of novel technologies for Robotic Autonomous Systems within the CRADLE project.Main ResponsibilitiesLead research efforts in formal methods, verification,...

About the RoleWe are seeking a Postdoctoral Research Fellow to join our team at The University of Manchester. As a member of the Autonomy and Verification Research Group, you will work on the CRADLE project, exploring innovative solutions for Robotic Autonomous Systems.Key ResponsibilitiesDevelop and implement formal methods for verification and...

Venous thromboembolism (VTE), including deep vein thrombosis (DVT) and pulmonary embolism (PE), is the leading cause of lost disability-adjusted life years and the third leading cause of cardiovascular death, affecting >10 million people worldwide per year. Up to 50% of patients with a DVT develop post-thrombotic syndrome and ~4% patients with a PE develop...

Job Title:UXResearcher Location: Manchester Office, UK (Hybrid - 3 days office/2 days WFH)At TrunkBBI, we're on the hunt for a skilled UXResearcher to join our dynamic and fast-growing UX& CRO team. This is an excellent opportunity to collaborate with cross-functional teams, delivering actionable insights and driving user-centric product development. Our...