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 will focus on analyzing Rust source code using the LKQL language to ensure code quality and compliance with standards. Proficiency in Rust, along with experience in static analysis and software development, are essential for success. This position is suitable for candidates with a strong technical background, particularly those familiar with programming languages and code analysis tools. AdaCore is known for its commitment to high-integrity software, making this a fitting role for those who value precision in coding.
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.