-
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
-
national and European projects that focus on both fundamental and applied research. The Linnaeus University Centre for Data Intensive Sciences and Applications (DISA) addresses data-driven methods to gain
Searches related to formal method
Enter an email to receive alerts for formal-method positions