Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- NTNU - Norwegian University of Science and Technology
- Aarhus University
- Ludwig-Maximilians-Universität München •
- Monash University
- Technical University of Denmark
- University of Luxembourg
- University of Oslo
- ; The University of Edinburgh
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Empa
- Technical University of Munich
- Universidade de Coimbra
- University of Münster •
- University of Nottingham
- University of Southern Denmark
- University of Tübingen
- Utrecht University
- ;
- ; The University of Manchester
- ; University of Bristol
- ; University of Cambridge
- Aalborg University
- Chalmers University of Technology
- Erasmus University Rotterdam
- Faculty of Sciences of the University of Porto
- Hannover Medical School •
- Instituto Superior Técnico
- Instituto Superior de Engenharia do Porto
- KINGS COLLEGE LONDON
- Leibniz
- Leiden University
- Leipzig University •
- Malmö universitet
- OsloMet
- REQUIMTE - Rede de Quimica e Tecnologia
- Swinburne University of Technology
- Umeå University
- University of Adelaide
- University of Antwerp
- University of Cambridge
- University of Florida
- University of Groningen
- University of Konstanz •
- University of Lund
- University of Potsdam •
- University of Regensburg •
- University of Stuttgart •
- University of Twente (UT)
- University of Warwick
- VIB
- 41 more »
- « less
-
Field
-
logical coherence in the formulation of the aim and the research questions stringency of legal reasoning and analysis adequate selection of methods and theory capacity for creativity and innovation in
-
Profile: We seek someone with strong mathematical maturity in control theory, dynamical systems, or applied mathematics. Familiarity with nonlinear systems analysis, graph theory, and formal methods (e.g
-
. The candidate will contribute to the development of empirically validated methods for identifying and mitigating such effects. The research will involve experimental studies, neurophysiological methods (e.g., eye
-
approach is a method that is both formally rigorous and practically efficient for the verification/validation of quantum devices. Candidate’s profile Knowledge of quantum computing and an understanding
-
. Strong knowledge of quantitative and/or computational research methods, ideally in econometric analysis or optimization and simulation models. Preferable knowledge in Python and STATA. A collaborative team
-
degrees in either the natural sciences (chemistry, physics, mathematical/computational biology) or in the formal sciences (statistics, computer science, mathematics), but must have a serious interest in
-
international backgrounds, BIPS’s research covers the full spectrum from methods development and identification of disease causes to prevention and implementation research. The work is supported by extensive
-
. The successful candidate will also have the opportunity and be expected to develop and conduct their own PhD research on how racism creates epistemic injustice and restricts formal and informal carers
-
about Automated Reasoning'. From a fundamental research perspective, this relates to the automation of meta-reasoning pertaining to general-purpose reasoning methods. Here, the intended focus is on
-
Prof. Daniel Merkle. The overall research project is based on the novel application of formalisms, algorithms, and computational methods from computer science to the design of microbial communities