HN Jobs

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 (relevant to our work), 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. Note: our Frontend and Backend Software Engineer positions have already been filled. https://veridise.com/careers/ - Software Engineer (R&D) - Compiler Engineer - Security Software Engineer - Operations Engineer Tech stack: - R&D / Compilers: Racket, Coq, C++, Python, LLVM, some Rust, Nix - SaaS team: JavaScript (Vue), Python (FastAPI), Docker, AWS