Science, Technology, Engineering and Mathematics /en en Formal verification: how a 400 year old mathematical idea could transform cybersecurity /en/worldwide/digital-identity-and-security/magazine/formal-verification-how-400-year-old-mathematical Every year software systems grow in scale – and this poses a big challenge for computer scientists: how can they test the reliability and performance of such vast and complex code bases? 06 Aug 2024 2744518 /sites/default/files/database/assets/images/2024-08/formal_verification_0.jpg Thales offers opportunities to renew STEM careers through return-to-work scheme /en/countries-europe/united-kingdom/news/thales-offers-opportunities-renew-stem-careers-through-return Fresh talent is being attracted to Thales through a partnership helping qualified workers to return to careers in technology… 16 Mar 2023 2742378 /sites/default/files/database/assets/images/2024-08/formal_verification_0.jpg British Astronaut Helen Sharman inspires schools and science clubs to book their ticket on board MARSBalloon 2021 /en/united-kingdom/news/british-astronaut-helen-sharman-inspires-schools-and-science-clubs-book-their <p>After a year of so many challenges, a survey commissioned by Thales in the UK to evaluate the impact of the pandemic on children’s carrier aspirations, shows that the pandemic has in fact inspired a third (35%) of UK children to pursue a future career in Science, Technology, Engineering and Mathematics (STEM)…</p> 12 Mar 2021 2738454 /sites/default/files/database/assets/images/2024-08/formal_verification_0.jpg Inspiring the next generation of engineers in the classroom /en/united-kingdom/news/inspiring-next-generation-engineers-classroom <p>Thales has joined forces with a national educational group for a fourth year to inspire potential engineers in the UK’s classrooms…</p> 11 Mar 2021 2738448 /sites/default/files/database/assets/images/2024-08/formal_verification_0.jpg