23 formal-verification-computer-science PhD positions at University of Amsterdam (UvA) in Netherlands
Sort by
Refine Your Search
-
25 Oct 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage Researcher
-
and profile: Educational background: You should have a Master’s degree in mathematics or AI/computer science (with a strong mathematical component, including writing formal mathematical proofs), to be
-
5 Sep 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Educational sciences » Education Educational sciences » Learning studies Language sciences » Linguistics
-
commitment to team science; Participation in the ACLC and the national research school training program; Enthusiasm for communicating academic research to non-academic audiences; Excellent command of English
-
7 Oct 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Country Netherlands
-
training programme of the University of Amsterdam and the Dutch Experimental School of Plant Sciences (EPS); assist in teaching and supervising Bachelor and Master internships. You will get the opportunity
-
17 Sep 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage Researcher
-
30 Sep 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage Researcher
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in supramolecular chemistry, catalysis, and sustainable
-
3 Sep 2025 Job Information Organisation/Company University of Amsterdam (UvA) Research Field Computer science » Informatics Computer science » Programming Mathematics » Algorithms Mathematics