Software Engineer

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.