Sort by
Refine Your Search
-
Category
-
Field
-
. The verification of distributed systems, however, is notoriously difficult. This PhD research is envisioned to broadly follow one of three directions, but can be adapted to suit the interests of an excellent
-
difficult. This PhD research is envisioned to broadly follow one of three directions, but can be adapted to suit the interests of an excellent applicant. The use of formal languages to specify and reason
-
mathematical methods, algorithms, and applications are required. Simulators are a recognized method for architectural design explorations and the implementation of software development platforms. The goal
-
require the design of architectures suitable for real-life problems. Moreover, appropriate mathematical methods, algorithms, and applications are required. Simulators are a recognized method for
-
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
-
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 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 In the Engineering and Technology Institute Groningen (ENTEG), we are looking for a talented and motivated PhD candidate on electrochemical ammonia synthesis in Protonic