-
engineering, static/dynamic software analysis, formal methods, applied mathematics, systems verification and validation, metric development, testbed design, and trusted AI ****This position represents a
-
/organizational psychology, and teamwork and group dynamics Computational social science (including agent-based modeling and simulation, social media analysis, behavioral economics, game theory, predictive modeling
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions