Where are the Ada gigs these days? (worldwide)

[rocher]

Check this too: DENSO Using SPARK Technology for Automotive Research Project | AdaCore