-
be a plus. Data analysis, modeling and applied ML experience is recommended, given the need to identify patterns in large-scale behavioral logs. Software reverse engineering (Frida, IDA Pro) experience
-
deployed. The research will therefore combine qualitative fieldwork with computational modelling to develop approaches that operate under uncertainty, adapt as the landscape changes, and generalise beyond
Searches related to model checking
Enter an email to receive alerts for model-checking positions