e tecnologie di Cyber Difesa (es. Advanced Threat Protection, SIEM, IAM, Data Protection e DLP, Cloud Application Security, CASB, Security Access, SOAR).
• Conduzione di gap analysis e security assessment.
• Project management (PMO) di progetti tecnologici...
apartmentFondazione Bruno KesslerplaceTrentolanguagefbk.euevent_available
FBK Cyber Security Centre (CS) develops digital technology and cyber security to foster collaboration between the various stakeholders through a combination of IT risk management techniques (in order to develop highly innovative security solutions that...
apartmentFondazione Bruno KesslerplaceTrentolanguagefbk.euevent_available
and constraint solving Model Checking or other formal verification techniques First-order logic and SMT solvers Formal analysis of hybrid systems Runtime verification and diagnosis Formal safety assessment.
Employment
Type of contract: Fixed-term...
connect internal systems and external services - Identify standards to be applied to current integration patterns with the aim of ensuring compliance with security standards' regulatory requirements' and internal best practices - Collaborate with business...
apartmentFondazione Bruno Kessler - FBKplaceTrentolanguageeuspert.comevent_available
order logic and SMT solvers
Formal analysis of hybrid systems
Runtime verification and diagnosis
Formal safety assessment.
Employment
Type of contract : Fixed-term contract
Working hours : Full time (38 h per week)
Start date : February 2026
Duration...