Coq Jobs - December 2022
Search by company, role, stack, location, salary signal, source, and work setup.
Save this search
Turn the current filters into an email alert.
Log in to save filtered searches as alerts.
-
Veridise
Security Software Engineer
Posted 3 years, 6 months ago
Veridise is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. They have developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic execution …
-
Veridise
Frontend Software Engineer
Posted 3 years, 7 months ago
Veridise is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. They have developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic execution …
-
Org
TLA+
Posted 3 years, 8 months ago
Org is reinventing the nature of the firm, through proof.
-
Formal Land
Coq proof engineer
Posted 4 years, 4 months ago
At Formal Land we apply formal verification to everyday-life programs. Our key technique is to translate programming code into similar formal Coq code, and do our formal specifications/proofs directly on it. As our main customer, we are formally verifying th…