Sort by
Refine Your Search
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Post-doc on formal verification and algorithm discovery for numerical analysis About us and our
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoctoral position in microfluidic RNAseq-based screening for optimal T-cell expansion
-
energy systems and datasets. Validate and benchmark the developed models using building measurements, physics-based simulations and energy-system optimization models. Investigate how tabular foundation
-
optimization models. Investigate how tabular foundation models can support energy-system modelling and optimization, including applications such as prediction, surrogate modelling, uncertainty quantification
-
improve high-throughput experimental workflows including closed-loop thin-film optimization Apply AI and Machine Learning for data analysis and modelling Develop, improve and implement HW/SW concepts and
-
system serving as a real-world lead-optimization case study. The successful candidate will play a central role in the computational and AI components of the project and work closely with our international
-
experimental workflows including closed-loop thin-film optimization Apply AI and Machine Learning for data analysis and modelling Develop, improve and implement HW/SW concepts and components to automate
-
only supports your professional development, but also actively contributes to positive change in society You can expect numerous benefits, such as public transport season tickets and car sharing, a wide
-
projects focusing on OLED science and chemical synthesis, providing an excellent opportunity for scientific exchange and collaboration across disciplines. Your tasks Fabrication, optimization, and
-
on their background, expertise and affinities. Possible directions include: Formalizing GPU kernel semantics (e.g., PTX/Triton) in a proof assistant and verifying high-performance inference kernels (numerical accuracy