AdaCore is looking for its UK office a software engineer to work on the Ada/SPARK development tools and libraries.
Mission & Responsibilities:
You will join a team within AdaCore Product Engineering, working on the language library for code intelligence for Ada/SPARK, and developing tools and libraries. You will quickly grow to deal with all aspects of software development and be given autonomy and responsibilities in your work.
Your daily tasks will include:
Designing and implementing new features and bug fixes in development tools and libraries;
Integrating your changes into the toolchain and documenting them;
Monitoring the quality of the tools and libraries you will working on;
Contributing to the long term planning and roadmap of these tools and libraries;
Participating in collaborative research projects dealing with that technology.
Knowledge and experience of at least one high-level object-oriented programming language (C++, Ada, Java, etc);
Sound software engineering practices;
Very strong general interest in the world of coding, with a desire to learn;
Good communication skills;
Autonomy on the usual software development environments.