Sort by
Refine Your Search
-
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
Enter an email to receive alerts for formal-methods-"https:" positions