Ada compilation toolchain targeting WebAssembly System Interface API

il y a 7 jours

France AdaCore, Inc. Temps plein

Ada compilation toolchain targeting WebAssembly System Interface APIAdaCoreGrenoble or Toulouse, FranceAdaCore: Helping Developers Build Software that MattersEverything we do at AdaCore is centered around helping developers build safe, secure and reliable software.For 30 years, we've partnered with global leaders in aerospace & defense, air traffic management, space, railway and financial services. We've developed tools and services simplifying high-integrity software development through a subscription-based model. As demand for secure applications grows in industries like automotive, medical, energy, and IoT, we're adapting our proven technologies to assist a new generation of developers.Our 150 global experts based in the US, France, Germany, the UK, and Estonia, collectively develop cutting-edge technologies to address the challenges of high-grade 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.ContextWebAssembly (Wasm) is a portable binary-code and text format for executable programs, including software interfaces for communication with their host environment. Its primary purpose is to enable high-performance web applications, but it can also be used in non-web environments. Wasm is an open standard designed to support various programming languages across different operating systems.To provide certain functionalities (I/O, tasking, etc.), the code generated by compilers relies on runtimes. These are function libraries that link to OS services or are specific drivers in bare metal systems.Missions & GoalsThe main goal of the internship is to have an Ada compiling toolchain targeting WebAssembly including the Ada runtime to provide a minimum set of functionalities using the WASI (WebAssembly System Interface) API.In cooperation with our experts, the purpose of this internship is to:Be able to compile Ada sources to WebAssembly using GNAT-LLVMAdapt our light Ada runtime to WebAssembly.Select a WebAssembly emulation third-party that supports WASI to validate the toolchainIntegrate the solution into our production and validation cloud facilities.Document this design and its usage.Qualifications/Skills Required or Nice to HaveThe work will require interacting closely with engineers from AdaCore (mostly in English).Ada and C programmingPython programmingTimeframe & LocationDuring 2026 - 6 months - Grenoble or Toulouse officeWe are a global organization with a commitment to diversity and inclusion. We welcome applicants of all backgrounds and prioritize a healthy work-life balance, with ongoing training and a personalized onboarding plan.Apply by submitting your details and CV through our standard application process. #J-18808-Ljbffr

  • System Railway Engineer

    il y a 7 jours

    France Teoresi Group Temps plein

    Get AI-powered advice on this job and more exclusive features.International HR Specialist @ Teoresi Group | PsychologistWe are looking for a:The ideal candidate is an Engineering graduate who has gained at least 3-4 years of experience in the role of TCMS System Engineer.Main Activities and Responsibilities:Knowledge of Train Vehicle functionalities and be...

  • Chef(fe) du service dépense ADA H/F

    il y a 7 jours

    Rue de Patay - Europe, France, Île-de-France, Paris () Choisir le Service Public Temps plein

    Informations générales Organisme de rattachement Office français de l'immigration et de l'intégration   Référence OFII_ Date de début de diffusion /12/2025 Date de parution /01/2026 Intitulé long de l'offre Chef du pôle contrôle dépenses et indus au sein de l'Agence comptable Date limite de candidature31/07/2024 EmployeurOffice Français...

  • Développeur·se Sénior Front-End Blazor

    il y a 2 semaines

    Rue de Miromesnil, Paris, France Coptis Temps plein

    Vous souhaitez rejoindre une entreprise innovante, à taille humaine, qui développe des applications web utilisées par les plus grands laboratoires de formulation cosmétique à travers le monde ? Vous aimez concevoir des interfaces performantes, élégantes et robustes ? Alors, vous êtes au bon endroit.Coptis conçoit, depuis plus de 25 ans, une suite...

  • API Solution Architect

    il y a 2 semaines

    France - Issy les Moulineaux - E-Quarter Edenred Temps plein

    Take a step forward and let Edenred surprise you.Every day, we deliver innovative solutions to improve the life of millions of people, connecting employees, companies, and merchants all around the world. We know there are hundred ways for you to grow. With us, you will expand your skills in a multicultural, challenging, and dynamic environment. Dare to...

  • Chef(fe) du service dépense ADA H/F

    il y a 1 semaine

    Rue de Patay - Europe, France, Ile-de-France, Paris () Office Francais D'Immigration Et D'Integration Temps plein

    Informations générales Organisme de rattachement L'Office Français de l'Immigration et de l'Intégration (OFII) est un établissement public administratif placé sous la tutelle du Ministère de l'Intérieur, dont les cinq missions principales sont :L'accueil et l'intégration des immigrés autorisés à séjourner durablement en France et...

  • Architecte Solution CoE APIs et EventsArchitecte Solution CoE APIs et Events

    il y a 7 jours

    square Max Hymans - Ile-de-France, Paris MGEN Temps plein

    MGEN Connaissez-vous MGEN ?• Un employeur de l'ESS qui réconcilie éthique et économie, solidarité et performance • Un acteur majeur en santé et prévoyance avec plus de 4 millions de personnes protégées • salariés et 250 métiers diversifiés (assurance, soins, fonctions support, IT…) • Une implantation nationale forte avec plus de 200...

  • Consultant API Management H/F

    il y a 5 jours

    Avenue de Villiers, Paris, France Nexworld Temps plein

    Description de l'entreprise Vous ne savez pas encore qui nous-sommes ? Cela ne devrait plus tarder Notre société est comme qui dirait un OVNI sur le marché Nexworld est un cabinet de conseil IT positionné entre l'ESN et le client final, spécialisé dans la transformation SI et la disruption des activités Business, nous accompagnons nos clients...

  • Senior Full Stack Engineer

    il y a 2 semaines

    France Ubby AI Temps plein

    Senior **Full Stack Engineer - React/FastAPI** - JOB AVAILABLE FOR FRENCH RESIDENT ONLY **PROFIL RECHERCHÉ - MENTION SPÉCIALE** **Nous recherchons prioritairement des profils entrepreneuriaux**: - Entrepreneurs ayant créé leur propre entreprise ou startup - Anciens membres d'équipes de startups early-stage (premiers employés) - Développeurs ayant...

  • Preuve d'équivalence fonctionnelle de programmes binaires pour la cyber-sécurité

    il y a 7 jours

    France Université Grenoble Alpes Temps plein

    cf. summary in english. This Ph.D. thesis takes place in the general context of cyber-security in embedded systems. The research background of this thesis is tied to the automatic application of counter-measures against so-called physical attacks: observation attacks (side-channel attacks\autocite{MangardPoweranalysisattacks2007}) and perturbation attacks...

  • Lead System Engineer

    il y a 4 jours

    Rue du Faubourg Saint-Martin, Paris, France MARSO Robotics Temps plein

    Your missionAs Lead System Engineer, you will own the general system architecture of our robot – from high-level functional decomposition to interface definitions and certification strategy.You will play a central role in aligning hardware, software, and safety requirements into a coherent, robust, and certifiable product. You will also be the primary...