Veridise is a security startup that performs security reviews of source code with the assistance of fuzzing, static analysis, and formal verification tools that we've built in-house. Our customers mostly come from the zero-knowledge proof and blockchain communities.
We're looking for a motivated lead frontend software engineer to help lead the development of the frontend of a B2B SaaS platform aimed at improving the security review process. This includes working on features like code review tools and interactive visualizations.
We use TypeScript, React, Docker, Kubernetes, and AWS, with some frontend code transitioning away from ClojureScript.
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.
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 is a security startup that performs security reviews of source code with the assistance of fuzzing, static analysis, and formal verification tools that we've built in-house. Our customers mostly come from the zero-knowledge proof and blockchain communities.
We're looking for a motivated lead frontend software engineer to help lead the development of the frontend of a B2B SaaS platform aimed at improving the security review process. This includes working on features like code review tools and interactive visualizations.
We use TypeScript, React, Docker, Kubernetes, and AWS, with some frontend code transitioning away from ClojureScript.
Apply here: https://veridise.com/careers-frontend-software-engineer/