-
some experience with quantitative methods and statistical software like R, STATA, Python or similar Be enthusiastic about writing international, prestigious academic publications Dutch language is not
-
communication and writing skills in English. Other helpful competences include advanced statistical proficiency (ideally in the R software environment) and teamwork ability. Conditions of employment The preferred
-
Sciences or a related discipline Excellent academic writing skills in English Have some experience with quantitative methods and statistical software like R, STATA, Python or similar Be enthusiastic about
-
statistical proficiency (ideally in the R software environment) and teamwork ability. Organisation Conditions of employment The preferred starting date is between June and July 2025. We offer you in accordance
-
component-level specifications to system-level specifications. This PhD position will focus on the use of contracts for verification, i.e., aimed at guaranteeing system-level properties on the basis
-
for verification, i.e., aimed at guaranteeing system-level properties on the basis of component properties. The position is part of the recent large project “Contracts for Control System Design”, funded by
-
position will focus on the use of contracts for verification, i.e., aimed at guaranteeing system-level properties on the basis of component properties. The position is part of the recent large project
-
evaluation. In order to achieve this overall aim, our research team will collaborate closely with software company Eyra Leap BV for the Implementation of the instrument, after the research project has been