-
reliability (e.g., through formal methods) Experience in software development will be seen as an advantage. Preference may be given to candidates who develop themes complementary to research currently being
-
paradigms Software reliability (e.g., through formal methods) Experience in software development will be seen as an advantage. Preference may be given to candidates who develop themes complementary
-
systems, or formal methods and programming language research applied to security. The targeted application areas include, but are not limited to, security of cyber-physical systems, interactions between
-
efficiency, but also to integrate disassembly, reuse, or recycling. Multi-physics applications, involving mechanical, electr(on)ic, thermal phenomena, etc. You will supervise PhD theses in your field