-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
interactions among neighbouring agents and their environments. The research will exploit an interdisciplinary approach that combines control theory, nonlinear dynamical systems, robotics, and formal methods
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions