AdaCore: Helping Developers Build Software that Matters
Everything we do at AdaCore is centered around helping developers build the safest, most secure open-source software.
For over 25 years, we've worked with global leaders across avionics, aerospace and defense industries, building tools and providing services that ease the complex and difficult process of developing high-integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IOT, we’re advancing our time-tested technologies to bring expertise and services to help a whole new generation of developers.
Our 120 experts worldwide in the US (New York, Lexington), France (Paris, Toulouse, Grenoble and Vannes), the UK (Bristol, Yeovil) and Estonia all play a role in developing bleeding edge technologies to meet the highest grade of software development.
Joining AdaCore is about joining a culture of innovation, openness, collaboration and dependability, which defines how we work together, with our customers and partners.
AdaCore is seeking a talented and highly-motivated "Compiler Software Engineer" for its Bristol office to work on the Ada front-end, the Ada-specific component of the GNAT compiler which parses the Ada program and builds the abstract syntax tree which is passed on to other steps of the compilation process.
In that context, your daily tasks will include:
Designing and implementing new features and bug fixes in the GNAT compiler;
Integrating your changes into the toolchain and documenting them;
Monitoring the quality of the compiler;
Contributing to the long term planning and roadmap of the GNAT compiler;
You will be working with a team of language and compiler experts helping research advanced compiler security features and develop prototypes to provide content for technical white papers;
You will be involved with all aspects of software development and will be provided autonomy and responsibilities that will allow for significant growth opportunity;
Knowledge and experience of at least one high-level programming language (C/C++, Java, Ada) - knowledge of the Ada language is a plus but not essential;
Knowledge - or very strong interest - in the domain of compilation/programming language analysis. Demonstrable experience, even in the form of university projects will be a big plus.
Sound software engineering practices;
Very strong general interest in the world of coding, with a desire to learn;
Good communication skills, and ability to self organize;
Autonomy on the usual software development environments (Linux, git, Makefile, etc);
Fluent spoken and written English.
Beyond the job
We are looking for engineers who want their work to have a direct impact on improving the reliability, safety and security of the software that modern society has grown increasingly dependent on in an international environment. Our sales and marketing team is staffed with multi-talented, tenacious and creative individuals; and our HR team is committed to ensuring your tenure with AdaCore is a positive one. Our cultural diversity is one of our strengths, enabling us to operate successfully on an international scale and we celebrate it during our social events (summer meetings, activity week-ends, team dinners etc).
We encourage our employees to explore their curiosity by providing them ongoing and lifelong training from their first day in AdaCore with a strong onboarding plan. As we know that juggling work and life is challenging, we offer flexibility to accommodate personal needs and work commitments.
AdaCore offers competitive compensation, benefits and thoughtful perks. We go beyond industry standards to help keep our employees comfortable and satisfied both on and off the job, no matter where they are based.