Postdoc or Software Engineer Opportunity in Verification for LLMs University of Greenwich in United Kingdom

The University of Birmingham's School of Computer Science invites applications for a PhD position focused on the development of self-evolving AI (LLM) software systems. This pioneering project addresses the fundamental challenges of engineering reliable and high-quality AI-driven software systems, particularly those built upon Large Language Models (LLMs). As AI increasingly shapes the landscape of software engineering, this research aims to design neural-symbolic AI solutions that can automatic...

York St John University is recruiting three Academic Associates in Computer Science or a related discipline . This is a four-year opportunity that combines a full-time, tuition fee-waived PhD with a 0.5 FTE teaching and assessment role in the School of Computer and Data Science. The post is based at York St John University in the United Kingdom and is designed for candidates interested in doctoral research while gaining teaching experience. Research proposals are welcomed in areas aligned with t...

Postdoctoral opportunity under the Marie Skłodowska-Curie Actions (MSCA) Postdoctoral Fellowship 2026 at the University of Greenwich , hosted by CS2 | Centre for Sustainable Cyber Security with Dr. Ehsan Nowroozi as Principal Investigator. The fellowship is open to researchers working in robust and adversarially resilient AI , privacy-preserving and secure machine learning , trustworthy and explainable AI , secure AI for next-generation networks (5G/6G) , and related topics in cybersecurity and ...

Leeds Beckett University is recruiting a Post Doctoral Research Fellow in Artificial Intelligence within the School of Built Environment, Engineering and Computing . This is a strong opportunity for a researcher with interests in artificial intelligence , machine learning , intelligent systems , data analytics , large language models , knowledge representation , and related digital technologies. The role is based at the Headingley Campus and is described as a full-time, fixed-term appointment fo...

Postdoctoral position at KTH Royal Institute of Technology in AI-based formally verified code generation. The project addresses a timely research challenge: how to combine modern AI/LLM-based code generation with formal verification so that software can be generated quickly while remaining mathematically trustworthy. The position is part of SAFIR (Secure AI for Intelligent Resilience and Confidentiality in the Cloud), a EUR 2.5M collaborative project involving KTH, Saab, Nvidia, Ericsson, Red Ha...