Sort by
Refine Your Search
-
graduate ready to drive change in AI-powered system certification and governance. Through this PhD, students will master the intersection of AI, verification, and regulatory compliance, gaining a rare
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
obtain a PhD degree in Computer Science, Software Engineer, or closely related fields Have an established track record of producing high-quality research outputs Demonstrate proficiency in software
-
successful in this role, we are looking for candidates to have the following skills and experience: Essential criteria 1. Hold a PhD or about to obtain a PhD degree in Computer Science, Software
-
the areas including: emerging hardware architectures (weak memory, RDMA, persistent memory, CXL); formal modelling, verification and/or logic; interactive and automated tools, such as theorem provers and
-
requirements such as verifiability, maintainability, understandability, validity, and portability. Managing software complexity more effectively has been a focus of programming language research for many years
-
complex, it is increasingly difficult to deliver on core requirements such as verifiability, maintainability, understandability, validity, and portability. Managing software complexity more effectively has
-
types; probabilistic model-checking; probabilistic verification/synthesis; probabilistic logics and semantics; planning and game-theoretic methods; or, where appropriate, software implementation in
-
candidate will carry out multidisciplinary research focused on AI systems for edge computing applications in speech processing. This includes: Developing advanced voice verification, recognition, and anti