Engineer, AI-Powered Code Validation

Sonar; Genf; Vor Ort; CHF 120.000 - 170.000; Vollzeit

Zusammenfassung

Sonar in Geneva is seeking a Software Engineer to advance Gitar’s AI-native code validation platform. You will fuse static and dynamic analysis with large language models to audit code, generate validated fixes, and automate the full pull request lifecycle from creation to merge.

You’ll design scalable program analysis systems, build AI agents, and ensure production-level correctness, latency, and security in a zero-trust environment while collaborating with enterprise customers and the

Qualifikationen

• PhD or MS in Computer Science (or equivalent).
• 2–4 years of professional software engineering experience.
• Strong fundamentals in data structures, algorithms and correctness.
• Hands-on experience with AI and LLM-driven development.
• Exposure to program analysis fundamentals and software tooling.

Aufgaben

• Design and build program analysis systems for code intent, control/data flow and behavior.
• Combine static and dynamic analysis with AI language models to find functional bugs and issues.
• Create AI agents and orchestration layers to review PRs and automate fixes with CI.
• Develop indexing and embedding systems to give models the right context efficiently.
• Own production characteristics: correctness, latency, cost, observability and security.
• Collaborate with SonarQube team to integrate deterministic analysis with AI validation.
• Engage with customers to understand workflows and deliver needed capabilities.

Kenntnisse

Software engineering

AI/LLM development

Program analysis

Communication

Algorithms

Ausbildung

MS in Computer Science

PhD in Computer Science

Tools

CI/CD tooling

LLM tooling

Git

Jobbeschreibung

Sonar in Geneva is seeking a Software Engineer to advance Gitar’s AI-native code validation platform. You will fuse static and dynamic analysis with large language models to audit code, generate validated fixes, and automate the full pull request lifecycle from creation to merge.

You’ll design scalable program analysis systems, build AI agents, and ensure production-level correctness, latency, and security in a zero-trust environment while collaborating with enterprise customers and the