Software Engineer

Summary

Join Sonar's Advanced Bug Detection Squad as a Software Engineer to contribute to the development of sophisticated solutions for identifying and preventing critical bugs in code. You will leverage your expertise in static analysis, integrating cutting-edge AI and LLM techniques to understand programming language semantics and detect complex bugs. Daily tasks involve contributing to end-to-end delivery, working with various teams, diving deep into language semantics, evolving analyzer intelligence, and contributing to strategic goals. The role requires 2+ years of Java development experience, strong engineering skills, and a deep understanding of computer science fundamentals. Sonar offers a dynamic work culture, flexible work policy, growth mindset, and various benefits including generous PTO, pension contributions, company bonus, sustainable mobility options, and a global work environment.

Requirements

• 2+ years of Java development experience
• Strong engineering skills and a deep understanding of Computer Science fundamentals
• Ability to learn fast
• Open-minded and very positive can-do attitude
• Comfortable in dealing with change and complexity

Responsibilities

• Contribute to End-to-End Delivery: Work with Product Managers, engineering teams, and research teams to specify and implement complex bug detection capabilities in our products. This means everything from scoping out specifications and writing robust code and tests , to meticulously reviewing peer contributions , validating new features , and acting on user feedback post-release
• Deep Dive into Language Semantics: You'll consistently immerse yourself in the intricacies of programming language semantics , pushing our understanding to new depths
• Evolve Analyzer Intelligence: You'll directly influence how our analyzers interpret code by crafting better models and developing innovative new rules on top of them, making our detection capabilities smarter and more precise
• Contribute to Strategic Goals: You'll participate with various stakeholders to actively contribute to and define the squad's short-term objectives and long-term strategic vision

Preferred Qualifications

• Proven grasp of static analysis techniques preferred, ready to apply them to complex bug detection problems
• Familiarity with Symbolic Execution and SMT solvers is appreciated, but not required
• Experience or a strong curiosity about Large Language Models (LLMs), Machine Learning (ML), and Artificial Intelligence (AI) is highly valued

Benefits

• We have a flexible work policy that includes 3 days in-office and 2 days work-from-home each week for those located near our office locations; some locations such as Dubai, India, Japan and Australia operate fully remotely
• We have a growth mindset. We love learning and believe continuous education is critical to our success. In an ever-changing industry, new skills are necessary, and we're happy to help our team acquire them
• We encourage usage of our robust time-off allocations with 27 PTO days for our employees based out of the Geneva region, plus additional days based on seniority and circumstances
• We contribute 60% of the total cost for your pension; 13.5% to 15.5% of your base salary for savings; 2% for risk
• Generous discretionary Company Growth Bonus, paid annually
• Commuting: Sustainable mobility options, including carpooling and the refund of 60% of the annual transportation subscription