Code Metal
–
Boston, MA
... Formal verification tools such as SMT solvers and interactive theorem provers. Experience with standard best practices in software engineering (e.g. version control, code reviews, CI/CD, etc.). Mathematical logic (e.g., temporal logic, separation ... - Jun 01