Senior Lead/Senior Engineer - Static Analysis & Agentic AI

Overview

Senior Lead/Senior Engineer to provide hands-on technical leadership for static-analysis engineering across large Linux, Android, embedded, and kernel C/C++ software platforms, combining program analysis, build/toolchain architecture, static-analysis platforms, and Agentic AI with cross-team execution.

What you'll do

• Architect and scale static-analysis solutions across Linux, Android, embedded, and kernel software.
• Lead advanced program analysis, checker/model development, TP/FP analysis, and remediation strategies.
• Design reusable integration across complex build systems, toolchains, product variants, and CI/CD.
• Architect Agentic AI workflows for scan health, triage, root-cause analysis, remediation, patch generation, and validation.
• Define standards for analysis quality, coverage, accuracy, AI evaluation, guardrails, and observability.
• Lead technical designs, mentor engineers, and collaborate across software, build, compiler, security, DevOps, and AI teams.

What you'll need

• Bachelor's degree in Engineering, Computer Science, or related field and 3+ years of Security Engineering or related work experience, OR Master's degree in Engineering, Computer Science, or related field and 2+ years of Security Engineering or related work experience, OR PhD in Engineering, Computer Science, or related field and 1+ year of Security Engineering or related work experience.
• Bachelor's degree in Computer Science, Computer Engineering, or related field, or M.Tech/MS in a related discipline or PhD.
• 3-7 years of relevant experience in static analysis, compilers, program analysis, systems software, software security, or developer infrastructure.
• Advanced programming skills in C/C++ and Python.
• Demonstrated experience designing or scaling static-analysis solutions.
• Hands-on experience building AI/LLM-enabled or Agentic AI solutions.
• Experience leading technical projects and mentoring engineers.
• Advanced C/C++ and Python development, debugging, and system-software expertise.
• Strong understanding of AST/IR, control/data flow, interprocedural analysis, taint analysis, symbolic execution, alias/points-to, and object-lifetime analysis.
• Strong experience with static-analysis platforms such as Klocwork, Coverity, Parasoft, CodeQL, Clang/LLVM, or equivalent.
• Deep understanding of GCC/Clang, compilers, linkers, toolchains, cross-compilation, and build capture.
• Strong experience with GNU Make/Kbuild/Kconfig and/or Android Soong/Ninja, plus familiarity with CMake, Bazel, Yocto/BitBake, Buildroot, or similar systems.
• Hands-on expertise developing Agentic AI systems, including tool integration, stateful workflows, orchestration, guardrails, evaluation, and observability.
• Demonstrated technical leadership and ability to scale engineering solutions across multiple projects.

Nice to have

• Experience developing Clang/LLVM checkers, CodeQL queries, custom analysis rules, or compiler tooling.
• Experience with Linux kernel, firmware, BSP, device drivers, hypervisors, or embedded platforms.
• Knowledge of CWE, CERT C/C++, MISRA C/C++, AUTOSAR C++, ISO 26262, or ISO/SAE 21434.
• Experience with fuzzing, sanitizers, binary/runtime analysis, RAG, code search, MCP, and multi-agent orchestration.

Details

• Location: Hyderabad, Telangana, India.