-
focused on analysis or numerical methods for non-linear partial differential equations. The target applications include modelling of ecosystems, e.g. spreading of forest diseases and alien invasive species
-
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