Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- University of Aveiro
- NEW YORK UNIVERSITY ABU DHABI
- University of Luxembourg
- Technical University of Munich
- University of Kansas
- Aarhus University
- CNRS
- International Iberian Nanotechnology Laboratory (INL)
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- University of Minho
- Universidade de Aveiro
- University of Southern Denmark
- Adam Mickiewicz University, Poznań
- Argonne
- Cornell University
- Télécom Paris
- University of Southern California
- Adam Mickiewicz University
- Duke University
- Florida International University
- Inria, the French national research institute for the digital sciences
- Jagiellonian University
- Luxembourg Institute of Science and Technology
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Northeastern University
- Oak Ridge National Laboratory
- Peace Research Institute, Oslo (PRIO)
- University of Antwerp
- University of California Los Angeles
- University of Minnesota
- University of North Carolina at Chapel Hill
- University of Oregon
- University of Porto
- University of Texas at Austin
- University of Texas at Dallas
- University of Warsaw
- VIB
- ;
- AI4I
- Aix-Marseille Université
- Aridditive
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- Aveiro University
- Birkbeck, University of London;
- CIDMA
- Centre for Demographic Studies (CED)
- Chalmers University of Technology
- Chalmers tekniska högskola
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); yesterday published
- Durham University
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); 27 Sep ’25 published
- Erasmus University Rotterdam
- Faculty of Sciences of the University of Porto
- Heriot Watt University
- IMT Mines Albi
- Imperial College London
- Institute of Biochemistry and Biophysics 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
- Kennesaw State University
- Leibniz
- Linköpings universitet
- Lunds universitet
- Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig
- Max Planck Institute for Physics, Garching
- 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
- Princeton University
- REQUIMTE - Rede de Quimica e Tecnologia
- Rochester Institute of Technology
- SciLifeLab
- Stanford University
- Technical University Of Denmark
- UNIVERSITY OF SYDNEY
- Universidade Católica Portuguesa
- Universidade do Minho
- Universitat de Barcelona
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); Published 7 Nov ’25
- University of Amsterdam (UvA); Published today
- University of Bergen
- University of Copenhagen
- University of Houston
- University of Kansas Medical Center
- University of Kentucky
- University of Ljubljana, Faculty of Mechanical Engineering
- University of Lodz
- University of Lund
- University of Massachusetts Boston
- University of Oslo
- University of Sydney
- Uppsala universitet
- Virginia Tech
- 90 more »
- « less
-
Field
-
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 applications
-
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
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | about 24 hours ago
strategies in complex, uncertain environments. Methodology The methodological pathway follows a generic-to-specific progression: defining a model-agnostic formalism to couple black-box PBM with reinforcement
-
Responsibilities Conduct foundational research in adversarial machine learning, exploring novel attack vectors and defense mechanisms for AI agents and large language models. Develop formal verification methods and
-
the project “Modeling of optically excited states in periodic and molecular systems with the self-consistent Green's function methods” financed by the NAWA Returns grant awarded by Polish National Agency
-
Bayesian computational methods for such (ill-posed) inverse problems and aims both at increasing their validity and at reducing their computational cost. In this project, we will focus on increasing validity
-
research, teaching or mixed experience • documented experience in preparative organic synthesis • knowledge of polymer chemistry will be an advantage • hands-on experience in chromatographic methods (GC
-
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
-
scattering and by pump-and-probe methods of standard and topological phonons in silicon and 2D materials; Advance experimental methods to study topological phonon waveguides and their coupling to phonon