Gnat Sas: Improve Ada Static Analysis Within Infer
il y a 1 jour
Careers > GNAT SAS: Improve Ada Static Analysis within Infer Last modified 3 days ago **GNAT SAS: Improve Ada Static Analysis within Infer**: Internship AdaCore Paris, France **AdaCore: Helping Developers Build Software that Matters** Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. 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. **Context**: **Goals**: - Enrich our Infer based analysis framework with new abstract interpretation domains. In particular, we have a basic domain for Ada arrays that we would like to improve. The intern should refer to the literature to design and implement a state-of-the-art domain within our framework. - Add a new Type State Analysis. This requires the design of a workflow for the user to deploy the analysis in a friendly way, in addition to the implementation of the analysis inside our abstract interpretation framework. - Rewrite the Libadalang OCaml bindings. AdaCore added Ada support through a frontend for Infer using Libadalang. We are currently using OCaml bindings written using Ctypes to use Libadalang. This approach has worked well, but has some memory management drawbacks that we would like to lift by rewriting them using pure OCaml FFI (or some low level alternatives). - Runtime Support and User Definable Model. Our analysis doesn't generate code for the Ada runtime and treats them as 'unknown calls'. We would like to improve this by adding support for those functions in the form of models associated with the 'unknown' subprograms. The goal is to design a way to specify those models and test this specification by writing models for at least some runtime subprograms. - Tailored Fixed Point Engine. The Infer fixed point engine is limited for our use in the new abstract interpretation framework. The goal is to write a state of the art fixed point engine able to do loop unrolling/delayed widening/joining with period/narrowing and help the trace partitioning domain. **Skills required/nice to have**: - Experience/interest in static analysis and/or compilation - Some knowledge of OCaml would be a plus **Timeframe & Location**: During 2025 - 6 months - Paris office **Beyond the job**: We're a global organization driven by diverse backgrounds, fostering innovation through an open exchange of ideas. We welcome applicants of all backgrounds, celebrating diversity in ethnicity, nationality, gender, age, religion, abilities, sexual orientation, veteran or marital status. Our commitment is to help our teammates, wherever they are based, feel comfortable and satisfied, by encouraging flexibility to ensure them a healthy work-life balance. Additionally, we prioritize individual development by offering continuous training from day one with a personalized onboarding plan. J-18808-Ljbffr
-
Composite Stress Analysis Engineer
il y a 2 jours
Paris, France JMC Aviation Temps pleinAre you an experienced Aircraft Composite Stress Analysis Engineer seeking an exciting new role? JMC Aviation is currently looking for a highly skilled Composite Stress Analysis Engineer who is ready to elevate their career. Role Summary Dimension of Function The Composite Stress Analysis Engineer will be responsible for performing detailed stress analysis...
-
Sas Programmer I
il y a 3 jours
Paris, France PSI CRO Temps pleinCompany Description We are the company that cares - for our staff, for our clients, for our partners and for the quality of work we do. A dynamic, global company founded in 1995, we bring together more than 2,200 driven, dedicated and passionate individuals. We work on the frontline of medical science, changing lives, and bringing new medicines to those who...
-
Sas Programmer I
il y a 3 jours
Paris, France PSI CRO Temps pleinCompany Description We are the company that cares - for our staff, for our clients, for our partners and for the quality of work we do. A dynamic, global company founded in 1995, we bring together more than 2,200 driven, dedicated and passionate individuals. We work on the frontline of medical science, changing lives, and bringing new medicines to those who...
-
Paris, Île-de-France Analysis Group Temps pleinOverviewAbout Analysis Group's HEOR, Epidemiology, & Market Access Practice:Make an impact at Analysis Group, where we collaborate with our clients to develop and implement Health Economics and Outcomes Research (HEOR) strategies to support pharmaceutical products throughout their life cycles. Founded in 1981, Analysis Group is one of the largest...
-
Continuous Improvement Officer
il y a 2 semaines
Paris, France URGO Temps plein**The company**: URGO is an international family-owned group, founded in France, specializing in health and wellness. With 3,500 employees, it is present in more than 60 countries around the world and has a turnover of 750 million euros. URGO has developed a solid portfolio of very well-known brands such as JUVAMINE, ALVITYL, URGO, and MERCUROCHROME. URGO is...
-
Process Improvement Lead
il y a 3 jours
Paris 16e, France International Chamber of Commerce Temps plein**Responsibilities** - Work with cross-functional teams to identify, plan and execute operational improvement projects. - Based on identified improvement opportunities, work with various teams to create specific improvement project plans for senior management sponsors/owners, including basic cost-benefit analysis. - Calculate savings/benefits realized...
-
Paris, France AUTEL Automotive Intelligence – Europe Temps pleinADAS & Diagnostics Technical Trainer (Mandarin Speaker Preferred) 2 weeks ago Be among the first 25 applicants Direct message the job poster from AUTEL Automotive Intelligence – Europe Driven by Intelligence. Powered for the Future. Autel is a global tech innovator in automotive diagnostics and smart mobility. With 2,000+ talents across 70+ countries, we...
-
ADAS & Diagnostics Technical Trainer (Mandarin Speaker Preferred)
il y a 3 semaines
Paris, France AUTEL Automotive Intelligence – Europe Temps pleinDriven by Intelligence. Powered for the Future.Autel is a global tech innovator in automotive diagnostics and smart mobility. With 2,000+ talents across 70+ countries, we fuse AI, big data, and cloud to drive the next generation of intelligent vehicles.What You’ll DoDeliver expert technical training sessions on automotive diagnostics, ECU programming, and...
-
Paris, France AUTEL Automotive Intelligence – Europe Temps pleinDriven by Intelligence. Powered for the Future.Autel is a global tech innovator in automotive diagnostics and smart mobility. With 2,000+ talents across 70+ countries, we fuse AI, big data, and cloud to drive the next generation of intelligent vehicles.What You'll DoDeliver expert technical training sessions on automotive diagnostics, ECU programming, and...
-
Process Hazard Analysis
il y a 2 semaines
Paris, Île-de-France dss+ Temps pleinJob DescriptionAs a Process Safety Management (PSM) consultant, you will work with industry-leading clients across sectors to reduce risks and improve business continuity and asset productivity. You'll save lives, drive performance and improve the working lives of all your clients' employees.You will work with our team as a freelance specialist to deliver...
