← back to previous jobs

Veridise

Remote
Apply for this position
❤️ Please support us by letting Veridise know you found this job on FindWeb3.com. Thanks!

Software Engineer

📅
Apr 11
🕘
Full-Time
$80K – $150K
💻
Fully Remote

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.


Preferred 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.