Software Engineer (R&D) Jobs - December 2022
Search by company, role, stack, location, salary signal, source, and work setup.
-
Veridise
Security Software Engineer
Posted 3 years, 8 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, 8 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 …