Work on the formal verification of device drivers for the Raspberry Pi Pico using SPARK.
Posted by employer 3 years ago
First seen on Joblaze 1 week ago
Last verified on the company career page 4 hours ago
Skills & Technologies
Not disclosed in this posting: compensation, seniority, years of experience, work arrangement, visa sponsorship.
Joblaze summary
The role involves conducting formal verification of device drivers specifically for the Raspberry Pi Pico, ensuring their reliability and correctness. Candidates should be proficient in SPARK and have a solid understanding of embedded systems and software verification techniques. This position is ideal for experienced professionals with a background in formal methods or software engineering, particularly those who have worked with hardware-software integration. AdaCore is known for its focus on high-integrity software, making this an opportunity to contribute to critical technology.
Joblaze insights
- Listed 8 days ago 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.
- 381 active Spark roles on Joblaze right now.
- Typical Spark salary we track runs $140,000–$203,350 (median $178,000, across 211 roles). See Spark salary trends
Quick facts
- What's the tech stack?
- Joblaze extracted these technologies from the posting: Raspberry Pi Pico, Spark.
Similar positions
Explore more