Sort by
Refine Your Search
-
the following activities: Conduct highly innovative research in the intersection of cybersecurity and safety-critical systems, in dependability methods and solutions and in architectures and systems that support
-
(XAI) methods to improve the understanding of key drivers controlling peatland conditions and ecosystem functioning. The research project will primarily focus on implementing and merging analyses
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions