AI Code Validation Engineer

Sonar; San Mateo (CA); On-site; USD 145,000 - 190,000; Full time

Benefits offered by this job

Relocation assistance

Job summary

Sonar is seeking a Software Engineer to join the team building Gitar's core platform, an AI-native code validation platform. You will design systems that reason about code with AI/LLM, and integrate with SonarQube to enhance deterministic analysis.

You will work at the intersection of program analysis, developer tools, and AI, delivering scalable solutions for thousands of repos while collaborating with customers and partners worldwide.

Qualifications

• PhD or MS in Computer Science (or equivalent experience).
• 2–4 years of professional software engineering experience.
• Solid fundamentals: data structures, algorithms, correctness and performance.
• Hands-on experience with AI and LLM-driven development.
• Exposure to program analysis fundamentals: static/dynamic analysis, type systems, symbolic execution.
• Strong written and verbal communication with customers.

Responsibilities

• Design and build program analysis systems for code reasoning, across languages and large repos.
• Combine static/dynamic analysis with AI/LLM to detect bugs and behavior issues.
• Build AI agents and orchestration layers to review PRs, generate fixes, and automate PR lifecycle.
• Develop indexing/retrieval/embedding to give models context with codebase and conventions.
• Own production characteristics: correctness, latency, cost, observability, security in a zero-trust environment.
• Collaborate with SonarQube team to deepen integration between deterministic analysis and AI validation.
• Engage with customers to understand workflows and deliver what they need.

Skills

Data structures

Algorithms

AI/LLM development

Program analysis fundamentals

Communication

Education

MS in Computer Science

PhD in Computer Science

Tools

SonarQube

Job description

Sonar is seeking a Software Engineer to join the team building Gitar's core platform, an AI-native code validation platform. You will design systems that reason about code with AI/LLM, and integrate with SonarQube to enhance deterministic analysis.

You will work at the intersection of program analysis, developer tools, and AI, delivering scalable solutions for thousands of repos while collaborating with customers and partners worldwide.