Posted by employer 1 day ago
First seen on Joblaze 43 minutes ago
Last verified on the company career page 43 minutes 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 formally verifying an ordered set and map library using the SPARK programming language, ensuring the correctness and reliability of the code. Proficiency in SPARK, along with a solid understanding of formal methods and software verification techniques, is essential for success. This position is well-suited for candidates with a strong background in software engineering and formal verification, particularly those at a mid to senior level. AdaCore emphasizes a collaborative environment, where team members work closely to enhance software quality.
Joblaze insights
- Listed today on Joblaze — tracked directly from AdaCore's career page.
- AdaCore has 21 other open roles including Data Synchronization Monitoring, HR Data and Social reporting Intern, AI agents integration in a production system.