Research Engineer, Static Analysis - Web3

There are over 40 million developers in the world, and all of them write and review code in some form. DeepSource is working on building tools that help developers ship good code. We believe there's a massive opportunity to impact how software is built right from where the code is written using automation and intelligence, which not only improves developer productivity but also increases software’s robustness. The cost of bugs in Web3 projects is notably high; a lot of which can be detected with static analysis.

The Language Engineering team works on the source code analyzers to achieve the same, including both programming languages and configuration-as-code systems. As a member of the Language Engineering team, you will work on building the best, most comprehensive static analyzers for the Web3 ecosystem. You will define short-term and long-term goals for the analyzers, add new rules and Autofixes to find more code issues and automatically fix them. You will be involved with the community to understand the problems with static analysis tools in the Web3 ecosystem.

As a member of the Language engineering team, you will:

• Identify bad code practices in Web3 languages and frameworks.
• Design, build and release static analyzers for the Web3 ecosystem.
• Write in-depth explanations about the bad/insecure code practices that DeepSource detects and ways to fix them.
• Improve the coverage of automatically fixable issues.
• Ensure the analyzer reports fewer false positives.
• Contribute back to the open-source projects we use.

We're looking for someone who has,

• Strong foundational knowledge in Computer Science.
• Basic understanding of static analysis concepts like Abstract Syntax Trees and Taint checking.
• Ability to write high-quality and performant code with solid testing practices.
• Strong working knowledge of the internals of Go, C++. Prior experience with Solidity is a huge plus.
• Familiarity with how Web3 languages/frameworks are evolving.
• Excellent written and oral communication skills in English.
• Ability to explain theoretical concepts in a simple manner.