Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
theoretical research, algorithm design, and the development of software tools that demonstrate the applicability of the new methods. Research environment The positions are hosted by the Department
-
on the strengths of the successful candidate, in either the broad direction of principle-based meta-reasoning (formal focus) or applications of automated meta-reasoning to large-scale software systems (engineering
-
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
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions