Sort by
Refine Your Search
-
of nonlinear PDEs or the development of new solver- or coupling-methods incl. their convergence analysis, but also modeling and simulation aspects across a wide range of fields - from biomechanics and geophysics
-
the phenomenology of cognition (e.g. formalizing concepts such as reasoning, agency, meaning, or experience into testable computational models, skill acquisition, and affordances). The successful candidate will bring
-
many-body physics and space-time; quantum programming languages and formal methods; mathematical and computer science foundations and connections. Please see here for more information about the positions
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions