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