Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- Aarhus University
- University of Minho
- Cornell University
- University of Luxembourg
- University of Oslo
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- CNRS
- Universidade do Minho
- University of Southern Denmark
- Luxembourg Institute of Science and Technology
- Technical University of Munich
- University of Aveiro
- University of Lund
- University of Oregon
- AALTO UNIVERSITY
- Adam Mickiewicz University, Poznań
- Argonne
- Faculty of Sciences of the University of Porto
- Institute of Biochemistry and Biophysics Polish Academy of Sciences
- Instituto de Engenharia Mecânica
- Lodz University of Technology
- NEW YORK UNIVERSITY ABU DHABI
- UNIVERSITY OF SYDNEY
- Universidade Católica Portuguesa - Porto
- University of Amsterdam (UvA)
- University of Minnesota
- Aix-Marseille Université
- Duke University
- Emory University
- FEUP
- Faculdade de Medicina da Universidade do Porto
- Fondazione Bruno Kessler
- ICETA - Instituto de Ciências, Tecnologias e Agroambiente da Universidade do Porto
- IMT Mines Ales
- INSTITUT MAX VON LAUE - PAUL LANGEVIN
- Idiap Research Institute
- Institute of Physical Chemistry, Polish Academy of Sciences
- Institute of Physics, Zagreb
- Itä-Suomen yliopisto
- Jagiellonian University
- Jagiellonian University Faculty of Philosophy
- LNEC, I.P.
- Leibniz
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Maj Institute of Pharmacology Polish Academy of Sciences
- Marquette University
- Medical Research Council
- Nencki Institute of Experimental Biology
- REQUIMTE - Rede de Quimica e Tecnologia
- Rochester Institute of Technology
- Télécom Paris
- Universidade Nova de Lisboa
- University of Agriculture in Krakow
- University of Antwerp
- University of Colorado
- University of Houston
- University of Kansas Medical Center
- University of Liverpool;
- University of Miami
- University of Nevada Las Vegas
- University of Silesia in Katowice
- University of Sydney
- University of Trás-os-Montes and Alto Douro
- University of Virginia
- University of Warsaw
- Warsaw University of Technology
- 58 more »
- « less
-
Field
-
complex and performance-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat
-
in theory of probability and statistics, machine learning, or formal methods. The post is available from 2 March 2026 until 1 March 2028. If you are still awaiting your PhD to be awarded you will be
-
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
-
the phenomenology of cognition (e.g. formalizing concepts such as reasoning, agency, meaning, or experience into testable computational models, skill acquisition, and affordances). The successful candidate will bring
-
methods for coating and stabilizing LFP cathodes often face limitations in durability and electrochemical efficiency. This research aims to overcome these challenges by applying innovative coating
-
methods to handle the expected large volume of patient experiences and comprehensively examine real-world psychotropic medication trajectories to better understand how endometriosis relates to neurological
-
chemistry is considered an advantage Ability to work independently and as part of a team Good written and spoken English As a formal qualification, you must hold a PhD degree (or equivalent). You should be a
-
position formally begins as a one-year appointment and is renewable contingent upon funding, available work and successful performance. Requirements The applicant must have a PhD or equivalent in
-
related to staff position within a Research Infrastructure? No Offer Description The Neuro-Symbolic AI Group at the IDIAP Research Institute operates at the interface between neural and symbolic AI methods