24 formal-verification-computer-science PhD positions at Wageningen University and Research Center
Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
Your job Would you like to help build a more sustainable North Sea by exploring how the rapid growth of offshore wind farms (OWFs) impacts the fisheries sector? Join the Environmental Economics and
-
and Learning Sciences chair group , a vibrant group of researchers and teachers. Our core mission is to understand and facilitate the unfolding of human potential in response to global challenges. You
-
will explore how institutions — formal rules, informal norms, and governance mechanisms — can better support the maintenance, adaptation, and transformation of public space. You’ll study how
-
collaborate with local stakeholders. You must also possess: A relevant MSc degree in environmental sciences, physical geography, earth system science, climate studies, agricultural studies, or similar with a
-
will explore how institutions — formal rules, informal norms, and governance mechanisms — can better support the maintenance, adaptation, and transformation of public space. You’ll study how
-
publish it as your PhD thesis. Your team Your WUR supervisors will be Dr. Paul Smeets and Prof. Dr. Ciarán Forde (Sensory Science and Eating Behaviour chair group). Dr. Davide Risso, external research
-
Your job The Knowledge, Technology and Innovation chair group at Wageningen University welcomes applications for a PhD position in the EXTRA consortium ‘From EXperiment to sustainable change
-
, including advice for next steps. Your qualities You have At least an MSc degree related to animal health sciences, animal sciences, veterinary sciences, including knowledge about animal feed and natural
-
Your job You will do your PhD research at the Laboratory of Food Chemistry, in context of a collaborative project of our group with Wageningen Research BU Greenhouse Horticulture, and Kraft Heinz
-
, Industrial Engineering, Computer Science, or Machine Learning. Solid experience with quantitative optimization methods, including (but not limited to) mathematical programming and stochastic dynamic