LLVM Compiler Engineer

The AdaCore Product Engineering team is looking for a LLVM Compiler Engineer to reinforce our product offering. 

Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. For over 25 years, we've worked with global leaders across avionics, aerospace and defense industries, building tools and providing services that ease the complex and difficult process of developing high-integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IOT, we’re advancing our time-tested technologies to bring expertise and services to help a whole new generation of developers.

Our 150 experts worldwide in the US (New York), France (Paris, Toulouse, Grenoble and Vannes), the UK, Estonia and Germany all play a role in developing bleeding edge technologies to meet the highest grade of open-source software development.

Joining AdaCore is about joining a culture of innovation, openness, collaboration and dependability, which defines how we work together, with our customers and partners.

Reponsibilities: 

• Join the Compiler team, and participate in the development of our LLVM-based offering - this covers all phases of product engineering at AdaCore, from design to implementation, test & QA, code reviews, documentation, and customer support.
• In collaboration with the Language Design and Cybersecurity teams, participate in the design of language features, initially around the expression of security properties that are enforceable by the compiler.

Skills and background:

• 3 years of experience minimum
• Experience with the LLVM stack
• Mastery of a high-level programming language (such as C++, Ada, Rust), proven experience with software engineering at a high level of proficiency
• Keen interest in programming languages
• Experience with computer security a plus, along with associated tooling (fuzzing, code instrumentation, static analysis, dynamic analysis)
• Autonomy on a development environment, ease with debugging, version control
• Good communication skills, time management and organizational skills
• Fluency in English

Beyond the job

We are looking for engineers who want their work to have a direct impact on improving the reliability, safety and security of the software that modern society has grown increasingly dependent on in an international environment. Our sales and marketing team is staffed with multi-talented, tenacious and creative individuals; and our HR team is committed to ensuring your tenure with AdaCore is a positive one. Our cultural diversity is one of our strengths, enabling us to operate successfully on an international scale and we celebrate it during our social events (summer meetings, activity week-ends, christmas dinner etc). 

We encourage our employees to explore their curiosity by providing them ongoing and lifelong training from their first day in AdaCore with a strong onboarding plan. As we know that juggling work and life is challenging, we offer flexibility to accommodate personal needs and work commitments.  

AdaCore offers competitive compensation, benefits and thoughtful perks. We go beyond industry standards to help keep our employees comfortable and satisfied both on and off the job, no matter where they are based.