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 Copenhagen
- University of Texas at Austin
- University of Texas at Dallas
- University of Trás-os-Montes and Alto Douro
- University of Tübingen
- Adam Mickiewicz University
- 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 Florida
- University of Gdańsk, Intercollegiate Faculty of Biotechnology
- University of Houston
- University of Kansas Medical Center
- University of Kentucky
- 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 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
- Warsaw University of Technology - Centre for Credible AI
- 79 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
-
. Róża Szweda at the Centre for Advanced Technologies, Adam Mickiewicz University in Poznań. Project Overview: The project focuses on developing innovative synthesis methods for polymers with precisely
-
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
-
particular focus on digital methods and tools. The C²DH's ambition is to venture off the beaten track and find new ways of doing, teaching and presenting contemporary history of Luxembourg and the history
-
histories in Central Eurasia by applying palaeoproteomic methods to a selected number of archaeological sites in the region. The position is based in a research group composed of evolutionary and molecular
-
/ 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
-
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 be accompanied
-
: 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