50 software-formal-method-phd PhD scholarships at University of Groningen in Netherlands
Sort by
Refine Your Search
-
challenges holding back an even wider usage. This PhD position is part of the national NanoMedNL consortium that aims to counter these challenges and thereby accelerate and support the development of novel
-
We are looking for a keen and bright candidate for a PhD position that is available for a four-year term as part of the recently awarded ELSA Lab for Technical Industry (ELSA4TI) (funded within
-
engineering and biotechnology. A PhD position is available in the Advanced Production Engineering (APE) research group that deals with the development, optimization and implementation of advanced production
-
Organisation Job description PhD position: ML based implementation of constitutive behavior of stainless steel Metal forming is a widely used method to form steel products efficiently in mass
-
of Science and Engineering, a 4-year interdisciplinary PhD position is available at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence. The candidate will become a member of
-
Akyürek (Experimental Psychology). The successful candidate should have: a keen interest in the human brain, cognition, and formal methods to investigate these. a master’s degree or equivalent in cognitive
-
Organisation Job description PhD position: ML based implementation of constitutive behavior of stainless steel Metal forming is a widely used method to form steel products efficiently in mass
-
Organisation Job description Project and job description This PhD position is dedicated to advancing autonomous robotic manipulation and control within a textile-sorting cell, where garments arrive
-
We are looking for a talented and enthusiastic candidate for a fully funded 4-year PhD position. The PhD candidate for this project will be working at the RNA Structural Ensemble Dynamics group led
-
garments into recycle, reuse, and manual-review streams; this PhD project tackles the core challenge of designing and optimizing a high-throughput hyperspectral imaging system, fused with complementary