R&D / Compilers: Racket 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 …