Position Details

Type Not Specified

Experience mid

Exp. Years 5+ years

Education Bachelor's in Electrical Engineering, Computer Science, or Computer Engineering, or equivalent experience

Category Cybersecurity

About this role

This role involves researching and applying formal verification methods to enhance the security and safety of networking hardware and protocols, collaborating across teams to improve security standards.

Key Responsibilities

Research formal verification methods
Develop architecture solutions for security
Collaborate on network security improvements
Validate security protocols using formal methods
Work with hardware and software teams

Technical Overview

The technical scope includes formal verification techniques, model checking, symbolic execution, and networking protocols such as RDMA and PCIe, with a focus on Linux security features and confidential computing environments.

Ideal Candidate

The ideal candidate is a mid-level security researcher with 5+ years of experience in formal verification, model checking, and symbolic execution, with a strong background in networking protocols like RDMA and PCIe, and familiarity with Linux security and confidential computing.

Must-Have Skills

5+ years experienceFormal verification methodsModel writingModel checkingSymbolic executionPythonARM assemblyC/C++Networking protocolsRDMAPCIe devicesLinux security featuresConfidential computingTLA+

Nice-to-Have Skills

High-bandwidth networking protocolsRDMAPCIe devicesSwitchesLinux security featuresConfidential computingTLA+

Tools & Platforms

LinuxTLA+

Required Skills

Formal verification methodsModel writingModel checkingSymbolic executionNetworking protocolsRDMAPCIe devicesSwitchesLinux security featuresConfidential computingTLA+

Hard Skills

Formal verification methodsModel writingModel checkingSymbolic executionNetworking protocolsRDMAPCIe devicesSwitchesLinux security featuresConfidential computingTLA+

Soft Skills

CollaborationCommunicationTeamworkProblem-solvingAnalytical thinking

Industry & Role

Industry Technology / AI & High-Performance Computing

Job Function Research and develop formal verification techniques to improve network security

Keywords for Your Resume

Senior Security Research ArchitectFormal verification methodsModel writingModel checkingSymbolic executionNetworking protocolsRDMAPCIe devicesSwitchesLinux security featuresConfidential computingTLA+

Deal Breakers

Less than 5 years of experience, Lack of formal verification or model checking background, No experience with networking protocols like RDMA or PCIe, No knowledge of Linux security features

Apply for this Position →

Get matched to jobs like this

Luna finds roles that fit your skills and career goals — no endless scrolling required.

Create a Free Profile