Veridise

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 engines based on their research published in top academic conferences. They are also building a SaaS service that makes these tools available to developers with minimal/zero installation or configuration. They are VC funded with a good runway and financials, as well as a 100%-remote, globally distributed team. Their daily work involves compilers, static analysis, fuzzing, formal verification, zero-knowledge proofs, distributed systems, and/or other hard and interesting problems. They offer opportunities to work on open-source projects (relevant to their work), as well as research projects that lead to academic publications.