-
, aligned with a model-based system engineering paradigm; Developing and curating reference asset architectures, threat and control catalogues for instantiating space system risk assessments; Deriving formal
-
, encryption/decryption and compression; use of microelectronics devices (including COTS); implementation, inference, verification and validation of algorithms** on processing hardware platforms for space
-
for artificial intelligence (AI). The Section supports the development and exploitation of future space missions focusing on AI technologies and techniques, development and verification methods for AI systems
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions