Software Engineer (R&D) Jobs - December 2022
Filter Hacker News hiring posts by stack, title, location, remote work, compensation, and contact info.
Page 1 of 1
-
Veridise
Security Software Engineer
Posted 3 years, 5 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, 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 …