-
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 in Netherland