Sort by
Refine Your Search
-
computación y comunicaciones. 4-Diseño y validación de casos de uso de co-simulación híbrida de tiempo real. 1-Design and development of a modeling, simulation, and optimization framework based on DEVS. 2
-
grids, and develop scripts to automate scraping, exploitation, analysis and reporting. Possible tasks also include threat modelling, risk analysis, Zero-Trust architecture creation, traffic monitoring
-
days. Flexible Remuneration Program (including dining checks, health insurance, transportation and more) Corporate Benefits: platform through which you can obtain significant discounts on travel, culture
Searches related to model checking
Enter an email to receive alerts for model-checking positions