EDUCATION-19144 - USA (Arlington, Virginia) - RFI for Heterogeneity Formal Learning and Abstractions Service - Deadline November 30,2026

– Vendor needs to provide heterogeneity formal learning and abstractions service to the government authority located in Arlington, VA. – Provide Formal Learning and Abstractions for System Heterogeneity (FLASH).– National–security applications that could benefit in terms of robustness and other operational properties resulting from heterogeneous engineering solutions.– Potential techniques, informed by current research and practice, for the automated synthesis and understanding of high–assurance cyber–physical engineering systems from formal specifications.