Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- Aarhus University
- Argonne
- University of Houston Central Campus
- University of Southern California
- University of Southern California (USC)
- ;
- Duke University
- NEW YORK UNIVERSITY ABU DHABI
- Stanford University
- University of Aveiro
- AbbVie
- Karolinska Institutet
- New York University
- Technical University of Munich
- University of Copenhagen
- University of Luxembourg
- Adam Mickiewicz University, Poznań
- CNRS
- Chalmers University of Technology
- Cornell University
- Durham University
- ETH Zurich
- INL
- Instituto Politécnico de Bragança
- Jagiellonian University
- Karolinska Institutet (KI)
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Northeastern University
- Oak Ridge National Laboratory
- Princeton University
- REQUIMTE - Rede de Quimica e Tecnologia
- Universidade de Aveiro
- Universitat de Barcelona
- University of Massachusetts
- University of Nevada Las Vegas
- University of Oxford
- University of Texas at Austin
- University of Virginia
- ; University of Copenhagen
- Adam Mickiewicz University
- CEA
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Carnegie Mellon University
- Columbia University
- Delft University of Technology (TU Delft)
- ETH Zürich
- FARM-ID - Faculty of Pharmacy Research and Development Association
- Faculty of Sciences of the University of Porto
- Florida International University
- Fundação Gaspar Frutuoso
- Heriot Watt University
- INESC ID
- Institute for Advanced Studies, University of São Paulo, São Paulo / FAPESP (BIOTA SYNTHESIS – Nucleus of Analysis and Synthesis of Nature-Based Solutions)
- Institute of Physical Chemistry, Polish Academy of Sciences
- Institute of Physics of the Czech Academy of Sciences
- Instituto Superior Técnico
- International Institute of Molecular and Cell Biology in Warsaw
- KTH Royal Institute of Technology
- LIST
- Leibniz
- Linköping University
- Linnaeus University
- MASARYK UNIVERSITY
- Masaryk University - Faculty of Arts
- Max Planck Institute for the Study of Crime, Security and Law, Freiburg
- Mohammed VI Polytechnic University
- Mälardalen University
- SciLifeLab
- Section for Computational and RNA Biology, Department of Biology, University of Copenhagen
- Télécom Paris
- University of Agriculture in Krakow
- University of Amsterdam (UvA)
- University of Antwerp
- University of California Berkeley
- University of Gdansk
- University of Glasgow
- University of London
- University of Minho
- University of Nebraska Medical Center
- University of Porto
- University of Silesia in Katowice
- University of Trás-os-Montes and Alto Douro
- University of Tübingen
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- University of Zurich Blockchain Center
- University of aveiro
- Virginia Tech
- 79 more »
- « less
-
Field
-
of formal theory or quantitative methods. The Term of appointment is based on rank. Positions at the postdoctoral rank are for one year with the possibility of renewal pending satisfactory performance and
-
post-doc in the field of formal methods at Irisa. The research project will focus on formal verification and testing of real-time systems using timed automata and techniques from game theory
-
The Department of Politics at Princeton University seeks applicants for postdoctoral research associates or more senior research positions in the fields of formal theory or quantitative methods
-
essentially new methods to automatically verify cyber-physical systems. Because none of the existing methods and tools for the formal verification of cyber-physical systems are fully automatic, these methods
-
live in. Your role Research related to the following areas: Mathematical statistics, Machine Learning, High-dimensional statistics, Robust estimation methods, Probabilistic foundations of mathematical
-
- Statistical learning and safe reininforcement learning - Simulation-based analysis - Explainability methods for AI/ML-based systems - Specification formalisms for learning-enabled systems We encourage
-
/forschung/gruppen/numerical-analysis/research/ Typical responsibilities you can expect: Mathematical derivation, analysis, and comparison of models, methods, and simulation approaches Formal proofs, e.g
-
assist with leading sectoral working groups to conduct formal gap analyses, solicit input from stakeholder groups, and lead the development of new methodologies for climate impact measurement. The project
-
possess the skills and experience required to join our 2025 Postdoctoral Program. By submitting your resume / CV via the below link, you will be notified directly once the postdoctoral positions formally
-
of TSN-based in-vehicle networks. These networks carry mixed-criticality traffic and use TSN with multiple traffic shapers and redundant communication. You will investigate methods for runtime analysis