Geneva
Ingénieur Logiciel - Revue de Code Agentique (Gitar)
- 15 septembre 2026
- 100%
- Geneva
Résumé de l'emploi
Sonar est le leader dans la vérification de code IA. Rejoignez une équipe innovante dans un environnement dynamique.
Tâches
- Développer des systèmes d'analyse de programme pour le code.
- Combiner analyse statique et dynamique avec des modèles de langage.
- Automatiser le cycle de vie des demandes de tirage avec AI.
Compétences
- PhD ou MS en informatique et 2-4 ans d'expérience.
- Compétences en développement d'outils pour développeurs.
- Communication efficace avec des clients techniques.
Est-ce utile ?
À propos de cette offre
Qui est Sonar ?
Sonar conduit l'avenir du développement logiciel centré sur les agents. En tant que leader dans la vérification et la gouvernance du code par IA, nous résolvons un problème critique : garantir que le logiciel généré par des développeurs assistés par IA ou des agents autonomes soit fiable, sécurisé et maintenable.
S'intégrant parfaitement avec Claude Code, Codex, Cursor, GitHub Copilot, Gemini et Devin, nous aidons plus de 75 % des entreprises du Fortune 100 à construire des logiciels fiables, conformes et dignes de confiance. Les clients utilisant Sonar ont 44 % moins de risques de signaler une panne due à du code généré par IA.
Nous croyons que la vérification du code est le maillon critique manquant dans le cycle de développement centré sur les agents (AC/DC). Des géants de l'industrie comme Nvidia, ServiceNow, Booking.com, Goldman Sachs, AstraZeneca et Ford Motor Company comptent sur nous pour fournir une revue indépendante, explicable et cohérente ainsi qu'une gouvernance de leur code généré par IA via des produits tels que :
- SonarQube : la plateforme de revue et de vérification de code IA la plus avancée au monde.
- SonarQube Foundation Agent : actuellement en tête des classements pour la réparation logicielle agentique.
- SonarSweep & Sonar Context Augmentation : fournissant aux agents le contexte et les contraintes de niveau entreprise nécessaires pour être véritablement efficaces.
Notre équipe opère à travers des hubs mondiaux à Austin, Bochum, Dubaï, Genève, Londres, Singapour, Tokyo et Washington D.C. Nous avançons avec un état d'esprit que nous appelons CODE :
- Engagés envers nos clients et notre communauté.
- Obsédés par la qualité.
- Délibérés dans nos décisions.
- Efficaces en tant qu'équipe unie.
Avec plus de 400 millions de dollars de revenus et une croissance rentable et rapide, nous construisons l'épine dorsale de la révolution du logiciel IA. Si vous avez faim d'impact, souhaitez construire à un rythme rapide et êtes prêt à travailler à la pointe de l'IA, nous voulons vous entendre.
\nNous recherchons un ingénieur logiciel pour rejoindre l'équipe qui construit la plateforme centrale de Gitar . Gitar développe une plateforme de validation de code native IA qui automatise tout le cycle de vie des pull requests. Nous examinons chaque modification avec une pleine conscience de la base de code, des conventions d'équipe et de l'intention derrière le code ; nous générons des corrections, les validons via CI, et ne considérons le travail comme terminé que lorsque la build réussit ; et nous automatisons l'intégralité du cycle de vie des pull requests, de la création à la fusion.
Vous travaillerez à l'intersection de l'analyse de programme, des outils pour développeurs et de l'IA, aidant à concevoir et livrer des systèmes qui raisonnent en profondeur sur le code. Vous le ferez en combinant analyse statique et dynamique avec de grands modèles de langage pour détecter des bugs que les outils basés sur des règles manquent, générer des corrections validées et automatiser le flux de travail du développeur de bout en bout.
Concevoir et construire des systèmes d'analyse de programme qui raisonnent sur le code au niveau de l'intention, du flux de contrôle, du flux de données et du comportement, à travers les langages et à l'échelle de milliers de dépôts et de grands monorepos.
Combiner analyse statique et dynamique avec de grands modèles de langage pour détecter des bugs fonctionnels, des erreurs logiques et des problèmes comportementaux que les outils déterministes ne peuvent pas attraper.
Construire les agents IA et les couches d'orchestration qui examinent les pull requests, génèrent et valident les corrections via CI, identifient la cause racine des échecs CI, et automatisent l'intégralité du cycle de vie des pull requests de la création à la fusion.
Développer des systèmes d'indexation, de récupération et d'intégration qui fournissent aux modèles le bon contexte (base de code, conventions, dépendances et intention) au bon coût et avec la bonne latence.
Assurer les caractéristiques de production des systèmes que vous construisez : exactitude, précision, latence, coût, observabilité et sécurité dans un environnement zéro confiance.
Collaborer avec l'équipe SonarQube pour approfondir l'intégration entre l'analyse statique déterministe et la validation native IA, en construisant des flux de travail où l'un informe l'autre.
Interagir directement avec les clients, dont beaucoup dirigent les plus grandes organisations d'ingénierie au monde, pour comprendre leurs flux de travail et livrer ce dont ils ont besoin.
- Un doctorat ou un master en informatique (ou expérience équivalente).
2 à 4 ans d'expérience professionnelle en ingénierie logicielle.
Solides fondamentaux en ingénierie : structures de données, algorithmes, et capacité à raisonner sur la justesse et la performance.
Expérience pratique et concrète avec le développement piloté par IA et grands modèles de langage.
Exposition ou fort intérêt pour les fondamentaux de l'analyse de programme : analyse statique, analyse dynamique, systèmes de types, représentations intermédiaires, analyse de flux de contrôle et de données, ou exécution symbolique.
Excellentes compétences en communication écrite et orale, aisance à travailler directement avec des clients ingénieurs sophistiqués, et jugement pour faire des compromis entre justesse, latence, coût et expérience développeur.
Expérience dans la construction d'outils pour développeurs réellement utilisés : compilateurs, systèmes de build, outils IDE, linters, outils de refactorisation, infrastructure de test ou transformation de code à grande échelle.
Expérience dans des laboratoires de recherche industriels (par exemple Microsoft Research, Google Research, Meta AI), dans des équipes d'infrastructure développeur à grande échelle (Uber, Google, Meta, Microsoft, Stripe, etc.), ou en tant que contributeur à des compilateurs, analyseurs ou outils développeurs open source largement utilisés.
Culture en présentiel
Nous sommes intentionnels à ce sujet. Nous croyons que les meilleures équipes se construisent ensemble dans la même pièce. Trois jours fixes — lundi, mardi et jeudi — créent le rythme de collaboration qui rend un bureau central pertinent.
Les candidats doivent être véritablement basés à l'emplacement où le poste est affiché — si ce n'est pas votre situation actuelle, nous sommes heureux de soutenir une relocalisation pour la bonne personne.
Nous valorisons la diversité, l'équité et l'inclusion
Chez Sonar, nous croyons que notre diversité est notre force. Nous sommes une entreprise mondiale qui valorise et respecte les origines, perspectives et cultures différentes. Nous nous engageons à favoriser un environnement de travail diversifié et inclusif où chacun se sent valorisé et encouragé à contribuer au mieux. Nous sommes fiers d'être un employeur garantissant l'égalité des chances et accueillons tous les candidats qualifiés, quelle que soit leur race, couleur, religion, genre, identité ou expression de genre, orientation sexuelle, origine nationale, génétique, handicap, âge ou statut de vétéran.
Si vous avez besoin d'un aménagement, veuillez nous contacter à hiring@sonarsource.com .
Toutes les offres d'emploi chez Sonar sont conditionnées aux résultats d'une vérification complète des antécédents et des références effectuée avant la date de début.
Les candidatures soumises via des agences ou recruteurs tiers ne seront pas prises en compte.
