Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Oslo
- National University of Singapore
- LINGNAN UNIVERSITY
- Nanyang Technological University
- Zintellect
- Indiana University
- Integreat -Norwegian Centre for Knowledge-driven Machine Learning
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- University of Sheffield
- ;
- Cori Institute of Molecular and Computational Metabolism
- Cornell University
- Harvard University
- Macquarie University
- Research Center for Molecular Medicine (CeMM), ÖAW
- Singapore University of Technology & Design
- Universidade de Coimbra
- University of British Columbia
- University of Lethbridge
- University of Sheffield;
- University of South-Eastern Norway
- 11 more »
- « less
-
Field
-
background in formal methods, logic, theoretical computer science, or related areas Strong background in computer science and mathematics Demonstrated interest in formal modelling, verification, or knowledge
-
equations, stochastics and risk, algebra, geometry, topology, operator algebras, complex analysis and logic. We have almost 50 persons in permanent academic positions and a large number of post docs and Ph.D
-
logic. We have almost 50 persons in permanent academic positions and a large number of post docs and Ph.D. students. We also have an administrative and technical staff. The department represents a leading
-
, stochastics and risk, algebra, geometry, topology, operator algebras, complex analysis and logic. We have almost 50 persons in permanent academic positions and a large number of post docs and Ph.D. students. We
-
logic. We have almost 50 persons in permanent academic positions and a large number of post docs and Ph.D. students. We also have an administrative and technical staff. The department represents a leading
-
, statistics and data science, computational mathematics, combinatorics, partial differential equations, stochastics and risk, algebra, geometry, topology, operator algebras, complex analysis and logic. We have
-
analysis and logic. We have almost 50 persons in permanent academic positions and a large number of post docs and Ph.D. students. We also have an administrative and technical staff. The department represents
-
of Philosophical Logic, Mind, Noûs, Philosophers’ Imprint, Philosophical Quarterly, Philosophical Studies, Philosophy and Phenomenological Research, and Philosophy of Science. More information on the research centre
-
, topology, operator algebras, complex analysis and logic. We have almost 50 persons in permanent academic positions and a large number of post docs and Ph.D. students. We also have an administrative and
-
envisioned as progressing critical steps along a pathway to longer-term impact, please simply describe your theory of change (i.e., where your proposed work logically fits into a realistic chain of events you