Senior Static Analysis Software Engineer Full time AdaCore Paris/Toulouse (France) or Bristol (UK) Minimum of 5 years of experience in static analysis Mission We are looking for a Software Engineer with expertise in static analysis to join our GNAT Static Analysis Suite team. The role involves a mix