Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Denmark
- Nature Careers
- Aarhus University
- University of Luxembourg
- University of Aveiro
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- NEW YORK UNIVERSITY ABU DHABI
- Technical University of Munich
- Argonne
- Adam Mickiewicz University, Poznań
- CNRS
- Cornell University
- Duke University
- University of Bergen
- University of Kansas
- University of Southern Denmark
- Aix-Marseille Université
- Heriot Watt University
- International Iberian Nanotechnology Laboratory (INL)
- Linköping University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Northeastern University
- Peace Research Institute, Oslo (PRIO)
- Princeton University
- Télécom Paris
- Universidade de Aveiro
- University of Oslo
- University of Trás-os-Montes and Alto Douro
- University of Tübingen
- Aveiro University
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); 27 Sep ’25 published
- Erasmus University Rotterdam
- Florida International University
- Heriot-Watt University;
- INESC ID
- Institute of Physical Chemistry, Polish Academy of Sciences
- Institute of Physics of the Czech Academy of Sciences
- Jagiellonian University
- Leibniz
- Luxembourg Institute of Science and Technology
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute of Molecular Cell Biology and Genetics
- Max Planck Institute of Molecular Cell Biology and Genetics, Dresden
- NORCE
- Oak Ridge National Laboratory
- Radboud University
- Technical University Of Denmark
- UNIVERSIDADE DE ÉVORA
- UNIVERSITY OF SYDNEY
- Universidade do Minho
- University of Copenhagen
- University of Gdańsk, Intercollegiate Faculty of Biotechnology
- University of Houston Central Campus
- University of Lodz
- University of Oregon
- University of Oxford
- University of Porto
- University of Sydney
- University of Texas at Austin
- University of Twente (UT)
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- VIB
- Virginia Tech
- Wageningen University & Research
- 58 more »
- « less
-
Field
-
a collaboration between Inria and Mitsubishi Electric R&D Centre Europe (MERCE) within the FRAIME project on artificial intelligence and formal methods. The project explores, on the one hand, how
-
/ Deep Learning (particularly Computer Vision or 3D perception) Verification & Validation (V&V) of advanced algorithms, software or systems Formal Methods Safety Engineering / Safety-Critical Systems
-
: Verifiable world models. The research will focus on developing a new class of structured, verifiable world models that integrate the flexibility of deep learning with the rigor of formal methods and
-
focused on integrating generative AI (e.g., LLMs) with symbolic reasoning, where the latter can verify the output of the former is compliant with explicit and formal system constraints. The position is
-
propose to combine machine learning techniques with formal methods. We will focus on safe reinforcement learning of motion planning problems for autonomous vessels. Motion planning is particularly
-
research. Within this project, the postdoctoral researcher will assume a central role in the empirical implementation. The successful candidate will join the research group on non-formal education at
-
will join the research group on non-formal education at the Centre for Childhood and Youth Research (CCY) within the Department of Social Sciences. The CCY is a multidisciplinary research centre
-
, incorporating insights from the philosophy of language, the cognitive language sciences, linguistic pragmatics, and formal logic / epistemology. The main task of the post-doctoral researcher is to contribute to a
-
reviewed scientific publications. Your profile PhD in Computer Science, with specialization on applied machine learning, statistical methods, and/or software engineering Strong programming skills Strong
-
Arctic DTU and Security DTU. As a formal qualification, you must hold a PhD degree (or equivalent). We offer DTU is a leading technical university globally recognized for the excellence of its research