Veridise | Multiple Roles | Remote (US, Europe, China, India timezones) | Full Time
Veridise (https://www.veridise.com/) is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. We’ve developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic execution engines based on our research published in top academic conferences. We’re also building a SaaS service that makes these tools available to developers with minimal/zero installation or configuration.
* We are VC funded with a good runway and financials, as well as a 100%-remote, globally distributed team.
* Our daily work involves compilers, static analysis, fuzzing, formal verification, zero-knowledge proofs, distributed systems, and/or other hard and interesting problems.
* We offer opportunities to work on open-source projects, as well as research projects that lead to academic publications.
To apply, send your resume to ( bryan [at] veridise.com ) and indicate which of the following positions sound interesting to you.
Veridise (https://www.veridise.com/) is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. We’ve developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic execution engines based on our research published in top academic conferences. We’re also building a SaaS service that makes these tools available to developers with minimal/zero installation or configuration.
* We are VC funded with a good runway and financials, as well as a 100%-remote, globally distributed team.
* Our daily work involves compilers, static analysis, fuzzing, formal verification, zero-knowledge proofs, distributed systems, and/or other hard and interesting problems.
* We offer opportunities to work on open-source projects, as well as research projects that lead to academic publications.
To apply, send your resume to ( bryan [at] veridise.com ) and indicate which of the following positions sound interesting to you.
https://veridise.com/careers/
Tech stack: