45 proof-checking-postdoc-computer-science-logic PhD positions at Utrecht University in Netherlands
Sort by
Refine Your Search
-
secondary supervisors that we choose to match your interests and strengths. Beyond membership of the FORECAST team, you will also be a member the wider Software Technology group led by Gabriele Keller . As
-
packages in the Adapt! programme, working effectively with principal investigators, PhD candidates, and postdocs on complex, interdisciplinary projects; expertise in crises related to radicalisation
-
people across disciplines and with a variety of perspectives and backgrounds. The Faculty external link has six departments: Biology, Pharmaceutical Sciences, Information & Computing Sciences, Physics
-
people across disciplines and with a variety of perspectives and backgrounds. The Faculty external link has six departments: Biology, Pharmaceutical Sciences, Information & Computing Sciences, Physics
-
(UTC) Type of Contract Temporary Job Status Not Applicable Hours Per Week 40.0 Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff
-
PhD Position: Physical Computing and Learning in Soft Matter Faculty: Faculty of Science Department: Department of Physics Hours per week: 36 to 40 Application deadline: 24 February 2025 Apply
-
simple building blocks can exhibit learning behavior. This fully-funded PhD position offers a unique opportunity to work at the forefront of physics, materials science, and computation. Your job
-
PhD Position in Probabilistic and Differential Algorithm Faculty: Faculty of Science Department: Department of Information and Computing Sciences Hours per week: 36 to 40 Application deadline
-
advance the knowledge-base of climate science communication. During the project, you will: analyse the effectiveness of the EMBRACER outreach programme, through surveys of high school teachers and other
-
secondary supervisors that we choose to match your interests and strengths. Beyond membership of the FORECAST team, you will also be a member the wider Software Technology group led by Gabriele Keller . As