Zoe LartigauComputer Science: Fully Funded PhD studentship in Zero-knowledge Succinct Non-interactive Argument of Knowledge for Public Good
Computer Science: Fully Funded PhD studentship in Zero-knowledge Succinct Non-interactive Argument of Knowledge for Public Good
About the Project Funding provider: EPSRC Subject areas: Formal Verification (Coq Theorem Prover), Cryptography, Electronic Voting Project start date: 1 October 2025 (Enrolment open from mid-September) Supervisors: Dr. Mukesh Tiwari, … Read More Read More
Categories:
Rishikesh GuptaIntelligent Software Engineering in the era of Large Language Model
Intelligent Software Engineering in the era of Large Language Model
About the Project Given the tremendous development of AI in recent years, innovations like the Large Language Model (LLM), e.g., ChartGPT, have significantly impacted our daily lives. Indeed, LLM does … Read More Read More
Categories:Self-evolving AI (LLM) Software Systems
Self-evolving AI (LLM) Software Systems
About the Project Software systems are eating the world but Artificial intelligence (AI) is eating the software systems. When we are using AI or Large Language Model (LLM), we rarely … Read More Read More
Categories:
Liz GreenhouseProgramming Language Design and Implementation for IDEs
Programming Language Design and Implementation for IDEs
About the Project Programming languages typically have a particular syntax and semantics, chosen by their designers, and both are often variations on those of existing similar languages. The basic tasks … Read More Read More
Categories:Making Efficient Sound Gradual Typing Fit for Industry Adoption
Making Efficient Sound Gradual Typing Fit for Industry Adoption
About the Project The goal of this project is to solve remaining problems in the design and implementation of gradually-typed programming languages that prevent sound and well-behaved gradual typing from … Read More Read More
Categories:
Brianna MolicPhD studentship in Efficient LLM Inference
PhD studentship in Efficient LLM Inference
About the Project One fully funded, full-time PhD position to work with Edoardo Ponti in the Institute for Language, Cognition and Computation at the School of Informatics, University of Edinburgh … Read More Read More
Categories:
Aly HillComputer vision and robot control for performing on-wing repair of aero-engines - (ENG - 193)
Computer vision and robot control for performing on-wing repair of aero-engines - (ENG - 193)
About the Project Rolls-Royce University Technology Centre (UTC) in manufacturing and On-Wing Technology, The University of Nottingham. Applicants are invited to undertake a 3 year PhD programme in partnership with … Read More Read More
Categories:Trusted-Edge and Semantic-based Approach for Dependable IoT and Smart Systems
Trusted-Edge and Semantic-based Approach for Dependable IoT and Smart Systems
About the Project The integration of sensors and embedded devices for the purpose of data acquisition to support human activity recognition, management of living challenges, and behavioural patterns for the … Read More Read More
Categories:
Yana KarapetyanProviding security assurance over combinations of trusted and untrusted components in ultra-large-scale systems
Providing security assurance over combinations of trusted and untrusted components in ultra-large-scale systems
About the Project The project: This studentship is part of a 5 year research programme on Securing Convergent Ultra-large Scale Infrastructures (SCULI): https://sculi.ac.uk . Such infrastructures are seeing convergence and … Read More Read More
Categories:
Luke McCoyPhD Research Fellow in Formal Methods and Software Engineering
PhD Research Fellow in Formal Methods and Software Engineering
Department: Department of Informatics, Title: PhD Research Fellow in Formal Methods and Software Engineering, Deadline: Friday, February 28, 2025 Read More Read More
Categories: