-
agreement. Starting date: January 2026. Job description: The postdoc project is focused on analysis or numerical methods for non-linear partial differential equations. The target applications include
-
analysis and visualization of typically large and complex information spaces, for example in biochemistry, humanities, or software engineering. Our vision is to attack the big data challenge by a combination
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions