Sort by
Refine Your Search
-
both the project direction and your own research profile. The project involves a collaboration with the propeller specialist Everllence. Relevant competencies • Boundary Element Method
-
or optimization method. Strong system-level modelling and optimization competence, together with the ability to work across component and system boundaries, is particularly important. Who we are The
-
research groups within NLP, AI, ML, Databases, Formal Methods, Human-Centred Computing, and others, and is uniquely characterised by an open, friendly, and supportive atmosphere. Daily life in the section is
Searches related to formal method
Enter an email to receive alerts for formal-method positions