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 ( Email is hidden ) and indicate which of the following positions sound interesting to you.
https://veridise.com/careers/
- Software Engineer (R&D) - Compiler Engineer - Security Software Engineer - Frontend Software Engineer - Backend Software Engineer (position filled) - Operations Engineer Tech stack:
- R&D / Compilers: Racket, Coq, C++, Python, LLVM, some Rust, Nix - SaaS team: JavaScript (Vue), Python (FastAPI), Docker, AWS