Sort by
Refine Your Search
-
conducted in close collaboration with Everllence (formally known as MAN Energy Solutions). The developed methods have to be tested in simulation and on real engines. Previous Work https://openreview.net/pdf
-
/11250664 https://www.jmlr.org/papers/v26/25-1161.html Job Specifications For PhD applicants: Excellent Master’s degree (or equivalent) in engineering, computer science, or related disciplines (typically
-
20.02.2026, Academic staff Are you passionate about using AI to solve the world’s most pressing challenges? Do you believe that technology should serve a higher purpose? Are you passionate about
-
System Modelling group at TUM (https://www.asg.ed.tum.de/esm/home/) and will be closely involved in the Schmidt Sciences project MountAInWater, coordinated by the Institute for Science and Technology
-
06.09.2021, Academic staff The Institute for Communications Engineering is currently offering seven positions for PhD or postdoctoral candidates for the project "6G-life" which is funded by
-
quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky
-
data from the European XFEL facility at DESY. Project website: https://www.mpinat.mpg.de/628848/SM-Ultrafast-XRay-Diffraction Your profile Eligible candidates have strong skills in computational physics
-
, which might include analysis and comparisons with the dynamics in tropical countries (VBD-mode, funded by BMFTR; https://clinicalepi.de/projects/vbd-mode.html) Collaborating closely with national and
-
and are not yet used regularly in industrial development processes. We believe that fully automating the verification process is a crucial step towards a broad acceptance of this technology. Our pre
-
11 37077 Göttingen Germany https://www.mpinat.mpg.de/grubmueller Social Media: CompBioPhys Information pursuant to Article 13 DS-GVO on the collection and processing of personal data during