68 formal-verification-computer-science PhD positions at Delft University of Technology (TU Delft)
Sort by
Refine Your Search
-
13 Dec 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Neurosciences » Neurobiology Neurosciences » Neurochemistry Researcher Profile First Stage
-
24 Nov 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Mathematics » Computational mathematics Physics » Applied physics Physics » Quantum
-
15 Nov 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Informatics Computer science » Programming Engineering » Computer
-
15 Nov 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Informatics Computer science » Programming Engineering » Computer
-
15 Nov 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage
-
15 Nov 2025 Job Information Organisation/Company Delft University of Technology (TU Delft) Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage
-
-generation semiconductor materials for quantum technology. Our team has pioneered advanced semiconductor materials for spin-based quantum computing, and with this project we aim to take a bold step forward. As
-
computational design. Good programming skills with experience in reduced-order modelling techniques and data-driven symbolic regression tools is a plus. TU Delft (Delft University of Technology) Delft University
-
computational facilities. The powerful computational facilities enable us to develop advanced numerical models. The Department of Engineering Structures focuses on the development of resilient, smart and
-
Problems in Finite Geometry" Job requirements Strong Background: A master's degree (or equivalent) in Mathematics or Computer Science, with a solid foundation in Combinatorics, especially algebraic and