31 proof-checking-postdoc-computer-science-logic PhD positions at Eindhoven University of Technology (TU/e) in Netherlands
Sort by
Refine Your Search
-
a strong background in computational modeling, optimization, and systems engineering, eager to develop advanced design and simulation frameworks for battery pack topology and e-powertrain integration
-
9 Oct 2025 Job Information Organisation/Company Eindhoven University of Technology (TU/e) Research Field Educational sciences » Education Educational sciences » Teaching methods Engineering » Design
-
28 Oct 2025 Job Information Organisation/Company Eindhoven University of Technology (TU/e) Research Field Engineering » Computer engineering Engineering » Electrical engineering Researcher Profile
-
5 Oct 2025 Job Information Organisation/Company Eindhoven University of Technology (TU/e) Research Field Chemistry » Analytical chemistry Chemistry » Biochemistry Researcher Profile First Stage
-
by nanobubble ultrasound imaging. The research on these three topics will be carried out by 2 PhD students and a postdoc at Eindhoven University of Technology and the University of Twente. The whole
-
contributing to the next generation of computing technology. You will work on CVD and MOCVD growth of 2D materials (e.g. transition metal dichalcogenides, metal oxylselenides), focusing on achieving both n-type
-
30 Nov 2025 Job Information Organisation/Company Eindhoven University of Technology (TU/e) Research Field Engineering » Civil engineering Engineering » Computer engineering Environmental science
-
of Mechanical Engineering, as well as the departments of Electrical Engineering and Mathematics and Computer Science. You will have the chance to collaborate with a semiconductor company, ASML to apply
-
the department of Mechanical Engineering, as well as the departments of Electrical Engineering and Mathematics and Computer Science. You will have the chance to collaborate with ASML to apply the developed results
-
a multidisciplinary problem centered around computational mechanics and engineering, potentially involving (i) multiphysics problems, (ii) multiscale methods, (iii) uncertainty quantification and (iv