Sort by
Refine Your Search
-
to 708 000 SEK over two years. The scholarships are tax-free. Application deadline September 18, 2025. Start between January and April 2026 (exact start date according to agreement). Formal
-
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