Sort by
Refine Your Search
-
Country
-
Employer
- DAAD
- Technical University of Munich
- Harvard University
- University of British Columbia
- Instituto Superior Técnico
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- University of Basel
- University of Melbourne
- Université de Limoges
- ELLIS Institute Finland
- ETH Zürich
- European Magnetism Association EMA
- Ghent University
- Heidelberg University
- IDIVAL
- Instituto Superior de Agronomia
- Johann Radon Institute for Comp. and Applied Mathematics
- Lunenfeld-Tanenbaum Research Institute
- Max Planck Institute for Chemistry, Mainz
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- OCAD University
- St. Anna Children's Cancer Research Institute (St. Anna CCRI)
- St. Anna Kinderkrebsforschung e.V.
- University Hospital Essen, Collaborative Research Centre 1752
- Université Lumière Lyon 2
- 15 more »
- « less
-
Field
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
18.09.2024, Academic staff We have several 𝐏𝐡𝐃 & 𝐏𝐨𝐬𝐭𝐃𝐨𝐜 𝐨𝐩𝐞𝐧𝐢𝐧𝐠𝐬 in our Visual Computing & AI Lab in Munich! Topics have a strong focus on GenAI, including 3DGs, NeRFs, Diffusion
-
Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description
-
parameters that determine energy fluxes and permafrost dynamics using inverse problems techniques. The developed algorithms and methods will be integrated into the LPJmL Dynamic Global Vegetation Model. Close
-
Karen Toffler Charitable Trust (KTCT) Scholar Grant program Eligibility: Early-career investigators (PhD candidates, Postdocs, Assistant Professors). Non-U.S. citizens with a valid U.S. visa are
-
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. The project’s overarching goal is the
-
1 Sep 2026 Job Information Organisation/Company ELLIS Institute Finland Research Field Computer science Researcher Profile Recognised Researcher (R2) First Stage Researcher (R1) Application Deadline
-
to guarantee user-defined error bounds of reachable sets for nonlinear and hybrid systems. This project will exactly close this research gap: We will develop essentially new methods to ensure that algorithmic
-
Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The post-doctoral fellow recruited will work as part of
-
21 Jul 2026 Job Information Organisation/Company University of Basel Research Field Computer science » Other Mathematics » Applied mathematics Physics » Other Researcher Profile Recognised