Lead Software Engineer
- IBM
- 8 - 13 years
- Pune
- 8 days ago
- Email to a friend
- Report this job
Job Description
As a Lead Software Engineer, you will extend our multi-language static code analysis platform by adding support for additional programming languages and enhancing our program analysis capabilities. You will design and implement language front-ends, abstract syntax navigation, type reasoning, and program-graph constructions that enable crypto-security analysis across modern software ecosystems. You will work closely with architects, researchers, and security engineers to ensure analysis accuracy, scalability, and extensibility across diverse runtimes and languages:
- Design and implement language support for one or more modern languages (e.g., Go, JavaScript, TypeScript, Node.js, C, C++, C#, Rust, Kotlin) within a multi-language static analysis framework.
- Develop and maintain robust parsing, syntax-tree navigation, and semantic modeling for supported languages.
- Build and extend program-analysis components such as control-flow graphs, data-flow graphs, type propagation, symbol resolution, and inter-procedural call modeling.
- Collaborate with architects and product managers to define requirements, analysis depth, and extensibility goals for new language integrations.
- Ensure correctness, determinism, and performance of analysis across large and complex codebases.
- Participate in code reviews, design reviews, and evolve engineering best practices for program analysis components.
- Work with security teams to model cryptographic APIs, language ecosystems, libraries, and vulnerability patterns.
- Author technical documentation, specifications, and reusable language-enablement patterns.
- Mentor junior developers on language modeling, program analysis techniques, and best practices in static analysis engineering.
Required education
Preferred education
Required technical and professional expertise
- Strong experience in compiler or static analysis development, including parsing, AST manipulation, semantic analysis, or intermediate representations.
- Proficiency with designing and extending grammars (ANTLR or equivalent), parse-tree traversal, and language-specific syntax modeling.
- Deep understanding of program analysis fundamentals such as control-flow, data-flow, type inference, and inter-procedural analysis.
- Hands-on experience building or extending language front-ends, static analyzers, linters, or similar tools.
- Strong programming skills in Java or another systems language used to build core analysis components.
- Solid grasp of software engineering fundamentals: design patterns, modular architecture, testing methodologies, and performance optimization.
- Familiarity with cryptography concepts, secure coding principles, and common vulnerabilities.
- Excellent debugging skills, especially when working with large codebases and complex language constructs.
- Strong communication skills and the ability to collaborate across platform, security, and research teams.
Preferred technical and professional experience
- Experience with multiple programming languages and their ecosystems (e.g., Go modules, npm/TypeScript, Cargo for Rust, C#/CLR, JVM/Kotlin, or C/C++ build systems).
- Practical familiarity with compiler frameworks or program analysis tools (eg ANTLR, or Tree-sitter).
- Knowledge of advanced type systems (generics, templates, traits/interfaces, unions/options).
- Expertise in data-flow or dependency-graph analysis, symbolic execution, or advanced slicing techniques.
- Exposure to cryptographic libraries, standards, and post-quantum cryptography concepts.
- Experience contributing to open-source static analysis tools, compilers, or language runtimes.
- Background in research-driven fields such as programming languages, compilers, formal methods, or program verification.
8 - 14
Job Classification
Industry: IT Services & ConsultingFunctional Area / Department: Engineering - Software & QARole Category: Quality Assurance and TestingRole: Blockchain Quality Assurance EngineerEmployement Type: Full timeContact Details:
Company: IBMLocation(s): Pune
Keyskills: software engineer ast kotlin cryptography npm javascript research static code analysis java debugging software engineering testing methodologies typescript performance optimization technical documentation programming architecture
Similar positions
IBM
\n\n Jaro Education is one of Indias most trusted online higher education company. Founded in the year 2009 by Dr. Sanjay Salunkhe, we have been profitable & self - funded right from our inception. Jaro Education has been the first - mover & a pioneer in the executive & online education ...
Job Listings
We are in open beta version of website, please let us know if any issues, at: info(at)indigojobs.in