Sort by
Refine Your Search
-
of more of the following is desired: software engineering and systems design, formal methods, verification, and/or modelling, design and techniques for resilient and reliable systems (e.g. decentralised
-
research excellence. This position is ideal for applicants interested in logic, formal descriptions, software engineering, and programming. This PhD project focuses on developing a model-based and knowledge
Enter an email to receive alerts for software-verification-phd-"https:" positions