Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- University of Aveiro
- University of Luxembourg
- Aarhus University
- NEW YORK UNIVERSITY ABU DHABI
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Technical University of Munich
- CNRS
- Northeastern University
- University of Kansas
- University of Southern Denmark
- Adam Mickiewicz University, Poznań
- Argonne
- Chalmers University of Technology
- Cornell University
- Duke University
- Télécom Paris
- University of Houston Central Campus
- University of Southern California
- Aix-Marseille Université
- Heriot Watt University
- INESC ID
- International Iberian Nanotechnology Laboratory (INL)
- Leibniz
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Oak Ridge National Laboratory
- Peace Research Institute, Oslo (PRIO)
- Princeton University
- Universidade de Aveiro
- University of Bergen
- University of Kentucky
- University of Texas at Austin
- University of Trás-os-Montes and Alto Douro
- University of Tübingen
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- Aveiro University
- CIDMA
- Chalmers tekniska högskola
- 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;
- Institute of Physical Chemistry, Polish Academy of Sciences
- Institute of Physics of the Czech Academy of Sciences
- Instituto Politécnico de Bragança
- International Institute of Molecular and Cell Biology in Warsaw
- Jagiellonian University
- Linköping University
- Luxembourg Institute of Science and Technology
- Maj Institute of Pharmacology Polish Academy of Sciences
- 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
- New York University in Abu Dhabi
- New York University of Abu Dhabi
- Radboud University
- Technical University Of Denmark
- UNIVERSIDADE DE ÉVORA
- UNIVERSITY OF SYDNEY
- Universidade do Minho
- University of Agriculture in Krakow
- University of California Los Angeles
- University of Copenhagen
- University of Florida
- University of Gdańsk, Intercollegiate Faculty of Biotechnology
- University of Houston
- University of Kansas Medical Center
- University of Lodz
- University of Massachusetts Boston
- University of North Carolina at Chapel Hill
- University of Oregon
- University of Oslo
- University of Oxford
- University of Porto
- University of Sydney
- University of Texas at Dallas
- University of Texas at El Paso
- University of Twente (UT)
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- Université Savoie Mont Blanc
- VIB
- Virginia Tech
- Wageningen University & Research
- 77 more »
- « less
-
Field
-
Job Description The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites
-
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
-
benefits are in accordance with the German public sector scale, TV-L E13. Your Qualification: Strong mathematical background (e.g., linear algebra, optimization, formal methods, convex geometry). Master's
-
nuclear forces, determining the limits of nuclear stability, and identifying signatures of new physics beyond the Standard Model. Major Duties/Responsibilities: Develop formalism, methods, and algorithms
-
/ 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
-
-party research funding are expected. We are particularly interested in a candidate in any field of economics who leverages state-of-the-art machine learning and causal inference methods to innovative
-
The Department of Media and Journalism Studies within the School of Communication and Culture at Aarhus University invites applications for a postdoctoral position in digital methods and the creator
-
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
-
, or registration of the doctorate degree, under the applicable legislation. This formality must be fulfilled up to the date of signing the contract. 2 — Formalization of the applications: 2.1 — The Applications must