All the job postings I can find are for defense companies. Anybody know companies that use SPARK Ada in the rail or ocean transport industries (or logistics generally) so I can watch them for job openings or maybe contact someone who works there through my network?