Senior Security Research Architect
Tasks
- Collaborate with networking teams on formal methods
- Integrate formal verification for security features
- Perform architectural modeling and validation
- Research formal verification methods
- Work with customers to identify security issues
Perks/Benefits
- N/A
Skills/Tech-stack
ARM Assembly | C plus plus | Confidential Computing | Formal verification | Linux | Model Checking | PCI Express | PCIe | Python | RDMA | Security Protocols | Symbolic Execution | TLA plus
Education
Related jobs
-
Mid-level Full TimeZurich - Switzerland2d ago
-
C# | C++ | Code review | Compiler mitigations | Design reviewMid-level Full TimeZürich, Switzerland5d ago
-
Agile | Auditing | Cloud Security | Collaboration platform security | ContainersCollaborative team | Company social benefits | Flexible work environment | Homeoffice | Innovative teamSenior-level Full TimeZug, Switzerland15d ago
-
Security Engineer CHF 124K-186KAWS | Alerting | Application Security | Change Management | Cloud SecurityMid-level Full TimeVirtual Office (Switzerland) R16d ago
-
Senior-level Full TimeVirtual Office (Switzerland) R16d ago
-
Entry-level Full Time InternshipGeneva, Switzerland16d ago
-
Security Engineer (DevSecOps) CHF 110K-165KComputer Security | Deep-Dive | Deep-dive design reviews | Design reviews | DevSecOpsCo-working days | Company-wide events | International team | Remote work | Yearly education budgetSenior-level Full TimeZürich, Zurich, Switzerland - Remote R30d ago
-
Staff Security Engineer CHF 190K-236KAWS | Application Security | Authentication | Authorization | Bash401k match | Catered team events | Company bonus | Flexible work policy | Global team cultureSenior-level Full TimeGeneva R1mo ago