Posted by employer 1 day ago
First seen on Joblaze 1 hour ago
Last verified on the company career page 1 hour ago
Not disclosed in this posting: compensation, seniority, years of experience, work arrangement, visa sponsorship.
Joblaze summary
In this role, the individual focuses on enhancing the LKQL JIT compiler, working on performance optimization and code generation. Proficiency in compiler design, programming languages, and experience with JIT compilation techniques are essential. This position is suitable for someone with a strong background in software engineering and a solid understanding of compiler theory, ideally at a mid to senior level. AdaCore is known for its commitment to high-integrity software, making this a fitting environment for those who value quality in their work.
Joblaze insights
- Listed today on Joblaze — tracked directly from AdaCore's career page.
- AdaCore has 21 other open roles including Data Synchronization Monitoring, SPARK: Formally verify an ordered set/map library in SPARK, AI agents integration in a production system.