Sort by
Refine Your Search
-
Gantner on a project dedicated to advancing the field of adaptive methods for time-dependent partial differential equations (PDEs). The position is funded by the Dutch Research Council (NWO) via the Vidi
-
interdisciplinary and brings together methods and techniques from philosophy, logic and linguistics. You will be conducting research within the Provability work package. The overall goal of this work package is to
-
together methods and techniques from philosophy, logic and linguistics. You will be conducting research within the Propositions work package. The overall goal of this work package is to develop an account of
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions