Sort by
Refine Your Search
-
-on; demonstrated exposure to at least one model checker (TLA+/TLC, SPIN, NuSMV, Alloy) or proof assistant (Lean, Coq, Isabelle). Code as data. AST manipulation, `tree-sitter`, static analysis, dependency and
Searches related to data analysis
Enter an email to receive alerts for data-analysis positions