Geneva
Softwareingenieur - Agentische Codeüberprüfung (Gitar)
- 15 September 2026
- 100%
- Geneva
Job-Zusammenfassung
Sonar ist führend in der KI-gestützten Softwareentwicklung. Hier erwartet dich ein dynamisches Umfeld mit großartigen Entwicklungsmöglichkeiten.
Aufgaben
- Entwicklung eines KI-gestützten Codevalidierungs-Tools.
- Integration von statischer und dynamischer Analyse zur Fehlererkennung.
- Automatisierung des gesamten Pull-Request-Lebenszyklus.
Fähigkeiten
- Abschluss in Informatik oder vergleichbare Erfahrung erforderlich.
- Erfahrung mit KI und LLM-gestützter Entwicklung.
- Starke Kommunikationsfähigkeiten und Teamarbeit.
Ist das hilfreich?
Über den Job
Wer ist Sonar?
Sonar gestaltet die Zukunft der agentenzentrierten Softwareentwicklung. Als führendes Unternehmen im Bereich KI-Codeverifikation und Governance lösen wir ein kritisches Problem: die Sicherstellung, dass von KI-unterstützten Entwicklern oder autonomen Agenten generierte Software zuverlässig, sicher und wartbar ist.
Wir integrieren uns nahtlos mit Claude Code, Codex, Cursor, GitHub Copilot, Gemini und Devin und unterstützen über 75 % der Fortune 100 dabei, vertrauenswürdige, zuverlässige und konforme Software zu erstellen. Kunden, die Sonar nutzen, melden 44 % weniger Ausfälle aufgrund von KI-generiertem Code.
Wir sind überzeugt, dass die Codeverifikation das entscheidende fehlende Glied im Agent-Centric Development Cycle (AC/DC) ist. Branchenriesen wie Nvidia, ServiceNow, Booking.com, Goldman Sachs, AstraZeneca und Ford Motor Company vertrauen darauf, dass wir eine unabhängige, erklärbare und konsistente Überprüfung und Governance ihres KI-generierten Codes über Produkte wie:
- SonarQube: Die weltweit führende Plattform für KI-Codeüberprüfung und -verifikation.
- SonarQube Foundation Agent: Derzeit Spitzenreiter bei agentischer Softwarereparatur.
- SonarSweep & Sonar Context Augmentation: Bereitstellung des unternehmensgerechten Kontexts und der Einschränkungen, die Agenten benötigen, um wirklich effektiv zu sein.
Unser Team arbeitet an globalen Standorten in Austin, Bochum, Dubai, Genf, London, Singapur, Tokio und Washington D.C. Wir handeln nach einer Denkweise, die wir CODE nennen:
- Engagiert für unsere Kunden und Gemeinschaft.
- Besessen von Qualität.
- Überlegt in unseren Entscheidungen.
- Effektiv als ein Team.
Mit über 400 Mio. USD Umsatz und profitabel schnellem Wachstum bauen wir das Rückgrat der KI-Software-Revolution auf. Wenn Sie hungrig sind, etwas zu bewirken, schnell entwickeln wollen und bereit sind, an der Spitze der KI zu arbeiten, möchten wir von Ihnen hören.
\nWir suchen einen Softwareingenieur, der das Team beim Aufbau der Kernplattform von Gitar verstärkt. Gitar entwickelt eine KI-native Codevalidierungsplattform, die den gesamten Pull-Request-Lebenszyklus automatisiert. Wir überprüfen jede Änderung mit vollem Bewusstsein für den Codebestand, Teamkonventionen und die Absicht hinter dem Code; wir generieren Korrekturen, validieren sie gegen CI und betrachten die Arbeit erst als abgeschlossen, wenn der Build erfolgreich ist; und wir automatisieren den gesamten Pull-Request-Lebenszyklus von der Erstellung bis zum Merge.
Sie arbeiten an der Schnittstelle von Programmanalyse, Entwicklerwerkzeugen und KI und helfen dabei, Systeme zu entwerfen und zu liefern, die Code tiefgehend analysieren. Dies erreichen Sie durch die Kombination von statischer und dynamischer Analyse mit grossen Sprachmodellen, um Fehler zu erkennen, die regelbasierte Werkzeuge übersehen, validierte Korrekturen zu generieren und den Entwickler-Workflow vollständig zu automatisieren.
Entwurf und Aufbau von Programmanalysesystemen, die Code auf der Ebene von Absicht, Kontrollfluss, Datenfluss und Verhalten analysieren, über Sprachen hinweg und im Massstab von Tausenden von Repositories und grossen Monorepos.
Kombination von statischer und dynamischer Analyse mit grossen Sprachmodellen zur Erkennung funktionaler Fehler, Logikfehler und Verhaltensprobleme, die deterministische Werkzeuge nicht erfassen können.
Entwicklung der KI-Agenten und Orchestrierungsschichten, die Pull Requests überprüfen, Korrekturen generieren und gegen CI validieren, CI-Fehlerursachen ermitteln und den gesamten Pull-Request-Lebenszyklus von der Erstellung bis zum Merge automatisieren.
Entwicklung von Indexierungs-, Abruf- und Einbettungssystemen, die den Modellen den richtigen Kontext (Codebasis, Konventionen, Abhängigkeiten und Absicht) zu angemessenen Kosten und Latenz bieten.
Verantwortung für die Produktionseigenschaften der von Ihnen gebauten Systeme: Korrektheit, Genauigkeit, Latenz, Kosten, Beobachtbarkeit und Sicherheit in einer Zero-Trust-Umgebung.
Zusammenarbeit mit dem SonarQube-Team zur Vertiefung der Integration zwischen deterministischer statischer Analyse und KI-nativer Validierung, Aufbau von Workflows, in denen sich beide gegenseitig informieren.
Direkter Kontakt mit Kunden, von denen viele die grössten Engineering-Organisationen der Welt betreiben, um deren Workflows zu verstehen und die benötigten Lösungen zu liefern.
- Ein PhD oder Master in Informatik (oder gleichwertige Erfahrung).
2–4 Jahre professionelle Erfahrung als Softwareingenieur.
Solide technische Grundlagen: Datenstrukturen, Algorithmen und die Fähigkeit, über Korrektheit und Leistung nachzudenken.
Praktische, praktische Erfahrung mit KI- und LLM-gesteuerter Entwicklung.
Erfahrung oder starkes Interesse an Grundlagen der Programmanalyse: statische Analyse, dynamische Analyse, Typsysteme, Zwischenrepräsentationen, Kontroll- und Datenflussanalyse oder symbolische Ausführung.
Starke schriftliche und mündliche Kommunikationsfähigkeiten, Komfort im direkten Umgang mit anspruchsvollen Engineering-Kunden und das Urteilsvermögen, Kompromisse zwischen Korrektheit, Latenz, Kosten und Entwicklererfahrung abzuwägen.
Erfahrung im Aufbau von Entwicklerwerkzeugen, die Ingenieure tatsächlich nutzen: Compiler, Build-Systeme, IDE-Tools, Linter, Refactoring-Tools, Testinfrastruktur oder gross angelegte Code-Transformation.
Erfahrung in industriellen Forschungslaboren (z. B. Microsoft Research, Google Research, Meta AI), in grossen Entwicklerinfrastruktur-Teams (Uber, Google, Meta, Microsoft, Stripe usw.) oder als Beitragender zu weit verbreiteten Open-Source-Compilern, Analysatoren oder Entwicklerwerkzeugen.
Bürokultur
Wir sind hier bewusst. Wir glauben, dass die besten Teams gemeinsam vor Ort entstehen. Drei Ankertage – Montag, Dienstag und Donnerstag – schaffen den Kollaborationsrhythmus, der ein Hub-Büro wertvoll macht.
Kandidaten müssen tatsächlich am Standort der ausgeschriebenen Stelle ansässig sein – falls Sie derzeit nicht dort sind, unterstützen wir gerne bei der Umsiedlung für die richtige Person.
Wir schätzen Vielfalt, Gleichberechtigung und Inklusion
Bei Sonar glauben wir, dass unsere Vielfalt unsere Stärke ist. Wir sind ein globales Unternehmen, das unterschiedliche Hintergründe, Perspektiven und Kulturen wertschätzt und respektiert. Wir setzen uns für ein diverses und inklusives Arbeitsumfeld ein, in dem sich jeder wertgeschätzt fühlt und befähigt ist, sein Bestes beizutragen. Wir sind stolz darauf, ein Arbeitgeber zu sein, der Chancengleichheit bietet, und begrüssen alle qualifizierten Bewerber, unabhängig von Rasse, Hautfarbe, Religion, Geschlecht, Geschlechtsidentität oder -ausdruck, sexueller Orientierung, nationaler Herkunft, Genetik, Behinderung, Alter oder Veteranenstatus.
Wenn Sie eine Unterstützung benötigen, wenden Sie sich bitte an hiring@sonarsource.com .
Alle Stellenangebote bei Sonar stehen unter dem Vorbehalt einer umfassenden Hintergrundüberprüfung und Referenzprüfung, die vor dem Eintrittstermin durchgeführt wird.
Bewerbungen, die über Agenturen oder Drittanbieter-Recruiter eingereicht werden, werden nicht berücksichtigt.
