Sort by
Refine Your Search
-
Listed
-
Employer
- Delft University of Technology (TU Delft); today published
- Maastricht University (UM)
- Delft University of Technology (TU Delft)
- Maastricht University (UM); Maastricht
- University of Amsterdam (UvA)
- Amsterdam UMC
- Amsterdam UMC; Amsterdam
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); yesterday published
- Erasmus University Rotterdam
- Erasmus University Rotterdam (EUR)
- Maastricht University (UM); 27 Sep ’25 published
- Radboud University
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- Tilburg University
- Tilburg University; today published
- University of Amsterdam (UvA); Amsterdam
- University of Groningen
- University of Twente
- Utrecht University
- Wageningen University and Research Center
- 12 more »
- « less
-
Field
-
strong expertise in the application of artificial intelligence for cybersecurity (prof. dr. Harald Vranken and dr. Mina Sheikhalishahi) as well as formal methods and software testing (prof. dr. Tanja Vos
-
. dr. Harald Vranken and dr. Mina Sheikhalishahi) as well as formal methods and software testing (prof. dr. Tanja Vos and dr. Tim Steenvoorden). The PhD project will be carried out in close cooperation
-
authors, such as human developers and AI assistants interact correctly, safely, and securely? The project aims to create synergy between verification, analysis, and testing to repair faulty software and, in
-
to maintain a healthy lifestyle and participate fully in society. We will test how virtual reality (VR) can be employed to assist individuals with hemianopia in training their functional vision. We intend
-
software development practice. SERG is known for its research on software testing, program analysis, mining software repositories, and empirical software engineering with close collaboration with industry
-
strong focus on empirical research, conducted in close collaboration with software development practice. SERG is known for its research on software testing, program analysis, mining software repositories
-
the near-term and in the fault-tolerant setting, developing new protocols in quantum error correction, finding more efficient ways to classically simulate quantum computations, or prove new foundational
-
do Data collection – Include patients, conduct MRI measurements, administer cognitive tests, collaborate with a software engineer to create a smartphone app Analyses – Follow up patients and process
-
Interviews (IDIs), and Key Informant Interviews (KIIs); strong skills in quantitative data collection and analysis, including designing and conducting surveys, and using statistical software such as SPSS, R
-
assays to quantify STXBP1 mRNA and analyze the regulation of STXBP1 expression. To test candidate intervention strategies that upregulate STXBP1 expression. To establish cellular phenotypes in patient