11 months ago
Live
backend2.0 - 5 yrsBangalore
compiler theorysoftware engineeringstatic analysisprogram analysisabstract syntax treescontrol flow graphdata flow analysis
About the Role
As a Software Engineer at DeepSource, you will be responsible for designing and implementing source code analyzers that detect bugs, anti-patterns, and security vulnerabilities across multiple programming languages. You'll work at the intersection of compiler theory and software engineering to build tools that help developers write better code.
What you'll Do
- Design and implement static analyzers that can detect complex code patterns, security vulnerabilities, and potential bugs.
- Develop and maintain analysis rules across multiple programming languages.
- Create intelligent Autofix suggestions that help developers resolve identified issues.
- Optimize analyzer performance and reduce false positives through advanced program analysis techniques
- Participate in code reviews and technical discussions, contributing ideas to improve our product and codebase.
- Learn and grow alongside experienced engineers, gaining deep insights into static analysis, distributed systems, and software architecture.
Preferred Qualifications
- 3+ years of professional software development experience, with a focus on compilers and source code analysis.
- Strong understanding of programming language theory, compilers, and static analysis concepts.
- Deep knowledge of abstract syntax trees (AST), control flow graphs, and data flow analysis.
- Eagerness to learn and adapt to new technologies and challenges.
- Good problem-solving skills and attention to detail.
- Ability to work collaboratively in a fast-paced environment.
What we Offer
- Competitive pay with stock options.
- Health insurance.
- Flexible time off.
- Professional growth and development opportunities.
- Work with a passionate and talented team.
Software Engineer with 3+ years experience in compiler theory and source code analysis, specializing in static analyzers and program analysis.