Note: The job is a remote job and is open to candidates in USA. Veridise Inc. offers comprehensive security audits for blockchain applications, and they are seeking software engineers to work on an automated software verification toolchain for smart contracts. The role involves designing and developing tools to identify security issues and collaborating with a remote team.
Responsibilities
- Design and develop software tools that help identify security/correctness issues of programs running on a blockchain
- Work on all aspects of delivering working software that meets customer needs, including analysis, design, automated testing, operations, CI/CD, measuring results, incorporating customer feedback, and support
- Collaborate with other software engineers on developing tools
- Learn new verification and security analysis technologies
Skills
- Ability to read, understand and implement concepts from academic publications or possess an advanced degree in Computer Science/Math/Physics
- Experience in security, compilers, programming languages, formal methods, automated theorem proving, or program analysis
- Experience with code reviews and distributed version control systems like git
- Experience developing large flexible systems
- Must be comfortable developing, debugging, and refining products
- Must be able to quickly learn new programming languages, APIs, and tools
- Experience with Cryptocurrency/Defi/Blockchains is a plus
- Experience with Solidity/Rust is a plus
Benefits
- Medical/Dental/Vision Insurance
- Life Insurance
- 401(k) with company match
- Paid Time Off
- Equipment Bonus
- Internet/Wifi Subsidy
Company Overview
Company H1B Sponsorship