4 software-verification-postdoc PhD positions at University of Warwick in United Kingdom
-
involved in collaborative research projects in directions of theoretical method/software development, theoretical-experimental studies, and developing real-world applications. Project outcomes: You will
-
a strong background in discrete mathematics, algorithms, computational complexity, automata, logic, formal languages, verification, or related topics with undergraduate and/or master’s degrees in
-
verification of resilient state estimators for the eVTOL and HESS. Essential and Desirable Criteria - Background: control/mechanical/electrical engineering, physics or computer science - Essential knowledge
-
://doi.org/10.1021/acssuschemeng.4c01820 ). The PhD candidate will then push the boundaries by developing and optimising the technique further, integrating with advanced instrumentation and custom software