Job Title: Software Engineer (Remote)

Company Name: Veridise Inc.

Job Details: $80k-$200k/yrRemoteFull,Time

Job Url: https://hiring.cafe/viewjob/8iteego1ysjalcwc

Job Description: Posted 17h agoSoftware Engineer (Remote)@ Veridise Inc.View All JobsUnited States$80k-$200k/yrRemoteFull TimeResponsibilities:Designing tools, Developing software, Collaborating engineersRequirements Summary:Advanced degree in CS/Math/Physics; security, compilers, programming languages, formal methods, or program analysis experience; git; large scalable systems; quick learner.Technical Tools Mentioned:Git, Solidity, Rust, CI/CD, Formal methods, Automated theorem proving
We are looking for software engineers to work on an automated software verification toolchain for smart contracts.
      Description
          
            We are looking for software engineers to work on an automated software verification toolchain for smart contracts. The ideal candidate should be interested in blockchains, program verification/analysis, and exploit generation. In addition, they should be capable of working as part of a remote team and comfortable wearing many hats.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.Required Qualifications: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.Veridise Inc offers competitive benefits & salaries. Medical/Dental/Vision InsuranceLife Insurance401(k) with company matchPaid Time Off Equipment BonusInternet/Wifi Subsidy Apply to learn more! 
          
        About the Company
         
            Veridise offers thorough and comprehensive security audits for blockchain applications. Leveraging our expertise in automated program analysis, Veridise provides state-of-the-art solutions for ensuring security of decentralized finance applications. Specifically, we offer the following products and services:

Automated checking of common security vulnerabilities
Automated checking of functional/custom correctness properties
Automated generation of exploits for vulnerable contracts
Consulting services for thorough security audits