Software Engineer, AI-Native Code Validation

Sonarsource; San Mateo (CA); On-site; USD 120,000 - 180,000; Full time

Job summary

SonarSource is seeking a Software Engineer to join the team building Gitar, an AI-native code validation platform that automates the entire pull request lifecycle. You’ll design and ship systems that reason about code with static/dynamic analysis and AI, generating validated fixes and ensuring builds pass in CI.

You will work at the intersection of program analysis, developer tools, and AI, combining analysis techniques with LLMs to catch bugs that rules-based tools miss, while maintaining

Qualifications

• PhD or MS in Computer Science (or equivalent experience).
• 2–4 years of professional software engineering experience.
• Solid engineering fundamentals: data structures, algorithms, and the ability to reason about correctness and performance.
• Hands-on experience with AI and LLM-driven development.
• Exposure to or strong interest in program analysis fundamentals: static/dynamic analysis, type systems, IRs, control- and data-flow, or symbolic execution.
• Strong written and verbal communication, aptitude for collaborating with advanced customers, ability to trade off correctness, latency, cost, and developer experience.
• Experience building developer tools that engineers actually use: compilers, build systems, IDE tooling, linters, refactoring tools, test infra, or large-scale code transformation.
• Experience in industry research labs or large-scale developer infrastructure teams, or open-source contributors.

Responsibilities

• Design and build program analysis systems that reason about code at the level of intent, control flow, data flow, and behavior across languages and repos.
• Combine static and dynamic analysis with large language models to detect functional bugs, logic errors, and behavioral issues.
• Build AI agents and orchestration layers that review pull requests, generate and validate fixes against CI, and automate the PR lifecycle.
• Develop indexing, retrieval, and embedding systems that give models the right context at the right cost and latency.
• Own the production characteristics of the systems you build: correctness, accuracy, latency, cost, observability, and security in a zero-trust environment.
• Partner with the SonarQube team to deepen integration between deterministic analysis and AI-native validation.
• Engage directly with customers to understand workflows and deliver needed capabilities.

Skills

AI & LLM dev

Developer tools

Program analysis

Static & dynamic analysis

Code verification

Education

PhD/MS in Computer Science

Job description

SonarSource is seeking a Software Engineer to join the team building Gitar, an AI-native code validation platform that automates the entire pull request lifecycle. You’ll design and ship systems that reason about code with static/dynamic analysis and AI, generating validated fixes and ensuring builds pass in CI.

You will work at the intersection of program analysis, developer tools, and AI, combining analysis techniques with LLMs to catch bugs that rules-based tools miss, while maintaining