Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Technical University of Munich
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- DAAD
- University of British Columbia
- Harvard University
- Max Planck Institute (MPI) for Psycholinguistics
- Nature Careers
- Singapore Institute of Technology
- Université de Limoges
- INESC TEC
- Aarhus University
- Dementia Australia Grant
- ETH Zurich
- ETH Zürich
- FAPESP - São Paulo Research Foundation
- Florida Atlantic University
- Fritz Haber Institute of the Max Planck Society, Berlin
- Ghent University
- Instituto Politécnico de Bragança
- J. Paul Getty Trust
- KNAW
- KTH Royal Institute of Technology
- Lund University
- Max Planck Institute for Demographic Research (MPIDR)
- Max Planck Institute for Mathematics in the Sciences
- Max Planck Institute for Multidisciplinary Sciences, Göttingen
- NATIONAL LAND SURVEY OF FINLAND
- Universidade do Minho - ISISE
- University of California, Berkeley
- University of Glasgow
- University of Lille
- University of Melbourne
- University of Montpellier
- University of Victoria
- 24 more »
- « less
-
Field
-
at the University of Limoges to conduct joint research on the theme of business and, more broadly, organizations and the assets of business actors. Recruited for one year, the postdoctoral researcher will work
-
technologies to fundamental physics questions. The advertised positions will be part of the project “QS-Gauge: quantum simulation of lattice gauge theories”, funded by the Emmy Noether programme of the DFG
-
verification problem compared to verifying a neural network with millions of neurons. We will also use the feedback of the safety layer to improve the learning rate by excluding provably unsafe actions during
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
excellent, with a dedicated and competent staff. Relevant initiatives (conferences, workshops, etc) can be funded. While the central topic of the research group is cluster algebra theory, we take special
-
for relaxed memory models; guarded cubical type theory; and Rocq formalizations. Tasks and Qualifications Applicants are expected to have a strong background in semantics, type theory, and Rocq formalization
-
employees in 5 scientific departments conduct and facilitate top-level research on historic grounds in Berlin-Dahlem, which is unique worldwide. The FHI Theory department is currently looking to fill a PhD
-
. OBJECTIVES: The interest in direct current (DC) power distribution systems has been growing significantly, driven by the increasing use of power electronics-based loads and the rise of distributed energy
-
Mathematics (analysis, numerics, modeling) or in a comparable program with a strong mathematical focus and knowledge in, for example, functional analysis as well as the theory and numerics of PDEs. Strong
-
and control system for real-time control and operation at autonomy level 3 as defined by the International Maritime Organization (IMO 1). The control system to be developed will almost completely avoid