The AdaCore Test & Coverage team seeks a Software Engineer to participate in the development and maintenance of its GNATcoverage product.
Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. For over 20 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 and Estonia all play a role in developing bleeding edge technologies to meet the highest grade of open-source 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.
GNATcoverage is AdaCore’s structural coverage analysis toolset, originally designed for applications with stringent certification requirements such as those mandated by avionics standards. The tool's competitive positioning benefits from its integration within the AdaCore ecosystem, where we have control of the compilation toolchain and a deep expertise in the safety critical area.
Two complementary variants of the technology are available:
A "non intrusive" variant, which relies on the execution environment to obtain information about what the programs do, without instrumenting the programs themselves,
A "source instrumentation" variant, introduced very recently, which relies on the instrumentation of program sources to produce coverage information data.
The engineer we are looking for would be involved in:
Help us complete and mature the source instrumentation based solution;
Help us develop a number of ideas we have to further augment the tool's value, with a possible research facet in some cases;
Participate in the collaboration with other teams and help maintain/improve the integration with other tools, in particular GNATtest, our Unit Testing framework, and GNAT Studio, our Integrated Development Environment.
Customer support, maintenance and “qualification” activities
Help us address queries from users, be they bug reports or more general questions on how to use the tool;
Help us improve our “qualification material” for actual certification projects where the tool is used.
These would entail, amongst other things, study of a large existing code base, participation in design and implementation activities, documentation and testing, occasionally research.
Strong software engineering skills (analysis, design, implementation, ability to abstract and formalize)
Sensitivity to software quality and testing
Good acquaintance with Python
Knowledge of Ada would be a plus
Written and verbal communication skills, ideally in both English and French
Strong teamwork abilities; willingness to communicate and improve, attention to procedures.
Ability to work in relative autonomy at some point
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 weekends, Christmas dinner 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.