I am writing to express my interest in the Software Developer role in Bristol. With a strong foundation in mathematics and physics from my degree, I have a deep appreciation for formal, rigourous, methods and their applications to real world problems. I am excited by the opportunity to contribute to AdaCore's mission of helping developers build safe, secure, and reliable software.

I find that good, robust, tools are essential for efficient work everywhere, and creating them is a driving force for me. In my previous role at the Office for National Statistics I took an active role in developing and improving the tools used by the team, in development and production. A key example of this was the debugging tool that I developed to assist in the analysis of issues in an isolated production environment dealing with sensitive data from the Census and other sources.
I worked across the entire application stack, from front-end to CI/CD and data ingestion, covering a range of technologies and contexts. This adaptability allowed me to assist different developers as needed and brought cohesion to the team by providing a common perspective.
During this role I also took on the responsibility of release manager, ensuring that the code quality and deadlines were met within a tight release schedule.

Throughout my programming journey, I have always been drawn to strongly typed languages, recognising their immense value in ensuring product quality and enhancing developer productivity.
I find the assurance these languages provide to be invaluable in catching potential issues early and promoting a more robust development process.
%These languages provide insights to developers and enhance other tools, this is invaluable in catching potential issues early and promoting a more robust development process.
I firmly believe that moving verification earlier in the overall project development loop amplifies the benefits of this approach, leading to safer, more secure, and more reliable software systems.
I understand this conviction aligns well with Ada's design philosophy and AdaCore's commitment to empowering developers to prioritise these qualities. Having greatly enjoyed the rigorous and proof-driven aspects of my mathematics and physics education, I am excited by the prospect working with Ada and contributing to the development of Alire.

With my strong technical background, a passion for developing reliable tools and deep appreciation for formal methods, I am confident that I can make a significant contribution to AdaCore as a Software Developer.
I am genuinely excited about the opportunity to join AdaCore and work on projects that align with my passion for creating impactful tools and promoting reliable software. Thank you for considering my application. I look forward to the opportunity to discuss further how my skills and experience can contribute to the success of AdaCore and the development of Alire.