Sort by
Refine Your Search
-
with 25–30 active PhD students at the department. Work duties We are now looking for teaching assistants in FRTF05 Automatic control, basic course (study periods 1 & 2), FRTN65 Modeling and learning from
Searches related to model checking
Enter an email to receive alerts for model-checking positions