Componolit

#wearehiring ! Would you like to join the AdaCore team? Check out our open job positions: adacore.com/company/careers #developer #programmer #crossengineer #embeddedsoftware #softwareengineer #devsecops #softwareengineering

We are happy to announce that the GNAT Community 2021 release is now available! Check out the release highlights and new features: blog.adacore.com/gnat-commun… #Adaprogramming

Check out the blog post "Doubling the Performance of SPARKNaCl" by Rod Chapman, the continuation of the previous blog post "Performance analysis and tuning of SPARKNaCl". blog.adacore.com/doubling-th… #Adaprogramming #softwareengineering

Check out how JTEKT and NVIDIA are working to meet safety requirements for in-vehicle software. This article published in Nikkei Xtech, describes how they are using Ada/SPARK to meet these requirements. adacore.com/zero-defect-soft… #autonomousdrivingsystem

Join us today at the @risc_v Day Tokyo 2020! We are very happy to continue bringing the Ada & SPARK programming languages to the forefront of the technologies available to RISC-V developers. @riscv_a #Adaprogramming #riscv_day riscv-association.jp/en/risc…

#WeAreHiring : •Cross Engineer either in Paris or NYC •Technical Account Manager in NYC •Account Manager in Paris •Software Engineer #Python in Paris + all of our #internship opportunities Visit our #careers webpage to learn more: adacore.com/company/careers

Relaxing the Data Initialization Policy of #SPARKAda by our #formalverification expert, Claire Dross. This new feature enhances the verification of data initialization adding even better software assurance! #Adaprogramming blog.adacore.com/relaxing-th…

Did you know that programming in Ada has a positive impact on controlling #softwaredevelopment costs? The webinar 'Controlling Costs with Software Language Choice' based on a study by @VDC_Research shows just that. youtu.be/OL6EPPWuosE #Adaprogramming

#JTEKT Japan have adopted our tools to reduce development & verification costs for safe #autonomousdriving systems! Leveraging #SPARKAda & formal methods to ease unit testing & verification of the system’s C code to ensure correctness. adacore.com/press/jtekt-spar… @Automotive_News

Ada & SPARK are designed to emphasize readability, understanding & verification, all essential when developing cyber-secure software systems. Download this book to understand how Ada/SPARK & associated tools can contribute to the #cybersecurity sphere. adacore.com/books/adacore-te…

We are happy to announce that the #GNATCommunity 2020 release is now available to download! Check out the blog for this year's release highlights - blog.adacore.com/gnat-commun… @adaprogrammers #Adaprogramming #SPARKAda #embeddedprogramming

#Download this free white paper about how the Ada language fully supports state-of-the-art features & is helping developers of critical cyber systems to meet stringent software assurance requirements while reducing life cycle costs. #Adaprogramming adacore.com/papers/ada-meeti…

Check out our latest blog 'From Ada to Platinum SPARK: A Case Study for Reusable Bounded Stacks' for a deep dive into migrating to SPARK! blog.adacore.com/from-ada-to… #Adaprogramming #SPARKprogramming #FormalMethods

Interested in learning about #formalverification? Download our free book! A set of guidelines developed jointly by AdaCore & @thalesgroup about their adoption of the #SPARK language. adacore.com/books/implementa… #formalmethods

Contracts are a natural evolution of Ada’s core design principle, which encourages programmers to develop better code. Here's an introduction to contract-based programming in Ada - blog.adacore.com/the-case-fo… #Adaprogramming #contractprogramming #softwaredevelopment