-
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
-
://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
Searches related to software verification
Enter an email to receive alerts for software-verification positions