• About
    • Concept
    • Work Packages
    • Supply Chains
  • Consortium
  • Knowledge Hub
    • Deliverables
  • Dissemination
    • Publications
    • Press kit
    • Newsletters
    • Videos
    • Photo gallery
  • News & Blogs
    • News
    • Blogs
  • Follow
  • Follow
  • Follow
  • Follow
  • Follow
  • Follow
  • About
    • Concept
    • Work Packages
    • Supply Chains
  • Consortium
  • Knowledge Hub
    • Deliverables
  • Dissemination
    • Publications
    • Press kit
    • Newsletters
    • Videos
    • Photo gallery
  • News & Blogs
    • News
    • Blogs
Formal Methods: enhancing software engineering productivity and code correctness

Formal Methods: enhancing software engineering productivity and code correctness

Nov 21, 2025

Building Trustworthy Software with the Power of AI At Verum, we support engineers to build highly reliable software faster using a specialized branch of Artificial Intelligence known as symbolic AI (AKA formal methods). This is crucial for safety- and mission-critical...
Intelligent Systems for Road Monitoring and Search & Rescue within the Cynergy4MIE project

Intelligent Systems for Road Monitoring and Search & Rescue within the Cynergy4MIE project

Nov 17, 2025

Driving the Future of Connected, Safe and Sustainable Mobility The Cynergy4MIE project brings together 44 European partners from research, industry, and academia — coordinated by AVL List GmbH — to develop next-generation intelligent, connected mobility and...
Quantum Sensors: Towards Precise SoC and SoH Estimation in Battery Systems

Quantum Sensors: Towards Precise SoC and SoH Estimation in Battery Systems

Sep 29, 2025

Batteries are the backbone of our modern world designed to power everything from smartphones to electric vehicles. The trend for cleaner mobility and sustainable energy requires higher performance and longer lifespans going along with more accurate ways to monitor and...
A Unified Technology Stack Towards a More Competitive EU Industrial Landscape

A Unified Technology Stack Towards a More Competitive EU Industrial Landscape

Sep 1, 2025

Ms Athanasia Thraskia Project Manager Europe is at the forefront of cutting-edge innovation, yet its success depends on its capacity to reach into market-ready solutions. Currently, Europe’s industrial competitiveness is under threat from the rapid advancements in...
Next Entries »
Project Coordinator: Reiner John
Organisation: AVL
Start: 1 September 2024
Duration: 36 months
Participating Partners: 44
Number of countries: 17

The Cynergy4MIE project is supported by the Chips Joint Undertaking and its members, including the top-up funding by National Authorities under Grant Agreement No 101140226.

The website reflects only the view of the author(s) and the Commission is not responsible for any use that may be made of the information it contains.

© 2024 Cynergy4MIE. All Rights Reserved. Designed by ITML

  • Follow
  • Follow
  • Follow