Software Engineer - Agentic Code Review (Gitar)

Sonar; Genf; Vor Ort; CHF 145.000 - 190.000; Vollzeit

Benefits dieser Stelle

Relocation support

Global hub offices

Zusammenfassung

Sonar is hiring a Software Engineer to join the team building Gitar, an AI‑native code validation platform that automates the full pull request lifecycle. You will blend static and dynamic analysis with large language models to catch bugs, generate fixes, and streamline PRs from creation to merge.

You will work at the intersection of program analysis, developer tools, and AI, delivering scalable solutions that reason about code, address CI failures, and keep latency and cost in check.

Qualifikationen

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

Aufgaben

• Design and build program analysis systems across languages and large repos.
• Combine static/dynamic analysis with LLMs to detect bugs and issues.
• Build AI agents and orchestration layers to review PRs and validate fixes against CI.
• Develop indexing and embedding systems to give models context with low latency.
• Own production characteristics: correctness, latency, cost, observability, security.

Kenntnisse

AI/LLM experience

Data structures

Algorithms

Communication

Ausbildung

PhD or MS in Computer Science

Equivalent experience

Tools

Static analysis

Dynamic analysis

Jobbeschreibung

Who is Sonar?

Sonar is driving the future of agent-centric software development. As the leader in AI code verification and governance, we solve a critical problem: ensuring that software generated by AI-assisted developers or autonomous agents is reliable, secure, and maintainable.

Integrating seamlessly with Claude Code, Codex, Cursor, GitHub Copilot, Gemini, and Devin, we help over 75% of the Fortune 100 build trusted, reliable, compliant software. Customers who use Sonar are 44% less likely to report an outage due to AI-generated code.

We believe code verification is the critical missing link in the Agent-Centric Development Cycle (AC/DC). Industry giants like Nvidia, ServiceNow, Booking.com, Goldman Sachs, AstraZeneca, and Ford Motor Company count on us to provide independent, explainable, consistent review and governance of their AI‑generated code via products like:

• SonarQube: The world’s leading AI code review and verification platform.
• SonarQube Foundation Agent: Currently topping the leaderboards for agentic software repair.
• SonarSweep & Sonar Context Augmentation: Providing the enterprise-grade context and constraints agents need to be truly effective.

Our team operates across global hubs in Austin, Bochum, Dubai, Geneva, London, Singapore, Tokyo, and Washington D.C. We move with a mindset we call CODE:

• Committed to our customers and community.
• Obsessed with quality.
• Deliberate in our decisions.
• Effective as one team.

With over $400M in revenue and profitable, fast‑paced growth, we are building the backbone of the AI software revolution. If you’re hungry to have an impact, want to build at a fast pace, and ready to work at the forefront of AI, we want to hear from you.

Position Description

We are looking for a Software Engineer to join the team building Gitar's core platform. Gitar is building an AI‑native code validation platform that automates the entire pull request lifecycle. We review every change with full awareness of the codebase, team conventions, and the intent behind the code; we generate fixes, validate them against CI, and only consider the work done when the build passes; and we automate the full pull request lifecycle from creation to merge.

You will work at the intersection of program analysis, developer tools, and AI, helping design and ship systems that reason about code at depth. You will do so by combining static and dynamic analysis with large language models to catch bugs that rules‑based tools miss, generate validated fixes, and automate the developer's workflow end to end.

What You Will Do

• Design and build program analysis systems that reason about code at the level of intent, control flow, data flow, and behavior, across languages and at the scale of thousands of repos and large monorepos.
• Combine static and dynamic analysis with large language models to detect functional bugs, logic errors, and behavioral issues that deterministic tools cannot catch.
• Build the AI agents and orchestration layers that review pull requests, generate and validate fixes against CI, root‑cause CI failures, and automate the full pull request lifecycle from creation to merge.
• Develop indexing, retrieval, and embedding systems that give models the right context (codebase, conventions, dependencies, and intent) 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 the integration between deterministic static analysis and AI‑native validation, building workflows where one informs the other.
• Engage directly with customers, many of whom run the largest engineering organizations in the world, to understand their workflows and ship what they need.

Experience And Qualifications

• A 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.
• Have practical, hands‑on experience with AI and LLM‑driven development.
• Exposure to or strong interest in program analysis fundamentals: static analysis, dynamic analysis, type systems, intermediate representations, control‑and data‑flow analysis, or symbolic execution.
• Strong written and verbal communication, comfort working directly with sophisticated engineering customers, and the judgment to make trade‑offs across correctness, latency, cost, and developer experience.

Nice to have

• Experience building developer tools that engineers actually use: compilers, build systems, IDE tooling, linters, refactoring tools, test infrastructure, or large-scale code transformation.
• Experience in industry research labs (e.g., Microsoft Research, Google Research, Meta AI), at large‑scale developer infrastructure teams (Uber, Google, Meta, Microsoft, Stripe, etc.), or as a contributor to widely used open‑source compilers, analyzers, or developer tools.

Salary range

$145,000 to €190,000 a year.

In-office culture

We're intentional about this. We believe the best teams are built in the room together. Three anchor days—Mondays, Tuesdays, and Thursdays—create the collaboration rhythm that makes a hub office worth having.

Candidates need to be genuinely based in the location the role is posted—if that's not where you are today, we're happy to support relocation for the right person.

We value diversity, equity, and inclusion

At Sonar, we believe that our diversity is our strength. We are a global company that values and respects different backgrounds, perspectives, and cultures. We are committed to fostering a diverse and inclusive work environment where everyone feels valued and empowered to contribute their best. We are proud to be an equal opportunity employer and welcome all qualified applicants, regardless of race, color, religion, gender, gender identity or expression, sexual orientation, national origin, genetics, disability, age, or veteran status.

If you need any accommodation, please reach out to us at [email protected].

All offers of employment at Sonar are contingent upon the results of a comprehensive background check and reference verification performed before the start date.

Applications that are submitted through agencies or third‑party recruiters will not be considered.

We may use artificial intelligence (AI) tools to support parts of the hiring process, such as reviewing applications, analyzing resumes, or assessing responses and identifying potential inconsistencies or verification signals in application materials based on available information. These tools assist our recruitment team but do not replace human judgment. Final hiring decisions are ultimately made by humans. If you would like more information about how your data is processed, please contact us.