19 proof-checking-postdoc-computerscience PhD positions at Delft University of Technology (TU Delft); yesterday published
Sort by
Refine Your Search
-
requires systematic data handling to establish a clear link between distresses and causality. The ultimate goal of such a knowledge representation is to create a future-proof framework that enables FAIR data
-
close collaboration with the Netherlands Defence Academy. The CTE group is a dynamic team of researchers, including PhD candidates, postdocs, and faculty members. Our group focuses on understanding and
-
applications. As a PhD candidate at TU Delft, working in close collaboration with our industrial partner Delmic and academic partner AMOLF, you will develop a proof-of-concept prototype of a low-voltage multi
-
with experts from TU Delft and NXP. You'll apply hardware-aware AI techniques (quantization, pruning) to create ultra-efficient solutions that fit a tight power and area budget. Quantify real-world
-
framework that is now being developed in the Laan Lab. You will be part of a multi-disciplinary team, including another PhD student who focusses on the genomics of adaptation and a postdoc who will analyse
-
grid, which our faculty is helping to make completely sustainable and future-proof. At the same time, we are developing the chips and sensors of the future, whilst also setting the foundations
-
faculty is helping to make completely sustainable and future-proof. At the same time, we are developing the chips and sensors of the future, whilst also setting the foundations for the software technologies
-
grid, which our faculty is helping to make completely sustainable and future-proof. At the same time, we are developing the chips and sensors of the future, whilst also setting the foundations
-
. Experience working on inversion problems (e.g., MCMC type algorithms) Proficient in English. For information please check the Graduate Schools Admission Requirements. Familiarity or interested in using machine
-
content is created. Whether it is text, images, or music, generative AI can often produce results that match or surpass results created by humans. However, when it comes to engineering design, and