Senior Software Engineer, Formal Verification Engineer
Seattle, WA, USA; Zürich, Switzerland
USD 174K-252K Senior-level Full Time
Tasks
- Apply formal verification to security critical code
- Collaborate with external teams to advance formal verification
- Contribute to formal verification tooling
- Improve design verification frameworks in Lean
- Verify Rust code using Lean
Perks/Benefits
- N/A
Skills/Tech-stack
Access Management | Cryptography | Formal verification | Identity and Access Management | Identity and access | Lean | Rust | Separation Logic | X64 ASM
Education
Regions
Countries
States
Related jobs
-
SYSTEM ENGINEER - Delinea Tools - 20+ yrs of Experience - TS/SCI w/Poly clearance is required - ID A USD 238K-245KAccess Control | Access Management | Accountability | Authentication | Certification and accreditationSenior-level Full TimeFort George G Meade, United States12h ago
-
Access Management | Data Privacy | Distributed Systems | Identity and Access Management | Identity and accessSenior-level Full TimeSunnyvale, CA, USA14h ago
-
Software Engineer Intern (R&D) - Bengaluru USD 112K-165KC plus plus | C# | Distributed tracing | Go | HTTPEntry-level InternshipIn-Office19h ago
-
Security Engineer - ICAM USD 161K-227KAWS | Access Management | Application Integration | Audit Readiness | AuthenticationSenior-level Full TimeRemote, United States R23h ago
-
Senior Software Engineer, Generalist USD 191K-253KBackend Development | C++ | CI/CD | Data Modeling | Data PipelinesSenior-level Full TimeCosta Mesa, California, United States1d ago
-
Senior Software Engineer, Security Engineering USD 150K-200KAWS | Applied cryptography | Authentication | Authorization | C++Senior-level Full TimeHouston, TX or San Francisco Bay …1d ago
-
Bitcoin Security Director USD 140K-217KBitcoin Protocol | Blockchain Security | Consensus Mechanisms | Cryptography | Custody DesignExecutive-level Full TimeTysons Corner, VIRGINIA, United States1d ago
-
Cybersecurity Engineer USD 100K-193K800-53 | AWS | Access Control | Access Management | AzureFederal holidays off | Flexible PTO | Health coverage | Professional development support | Tuition reimbursementMid-level Full TimeWashington, D.C. Metro1d ago
-
Security Engineering Lead USD 200K-300KAI Security | AWS | Access Management | Azure | Cloud SecuritySenior-level Full TimeNew York, NY, United States1d ago
-
Application Security Engineer USD 160K-195KAPI Security | Application Security | Application Security Testing | Authentication | AuthorizationSenior-level Full TimeLindon, Utah1d ago
-
Senior Infrastructure Security Engineer USD 170K-220KAccess Management | Admission control | Architecture Reviews | CI/CD | Cause analysisFlexible time tracking policy | Low bureaucracy culture | Ownership and autonomy | Remote-first workSenior-level Full TimeUnited States R1d ago
-
Systems Engineer III USD 115K-195KAPI Integration | Access Management | Active Directory | Ansible | BashTS SCI Clearance with PolygraphSenior-level Full TimeFort Meade, MD1d ago
-
Senior Security Engineer, Platform Security USD 185K-326KAWS | Access Management | Alert triage | CSPM | Cloud IAMFlexible time off | Medical insurance | Modern family planning | Remote work | Retirement savings plansSenior-level Full TimeBay Area, CA, United States of …1d ago
-
Senior Security Engineer USD 130K-163KAWS | Android security | Application Security | Azure | Blockchain technology401k matching | Accidental death and dismemberment insurance | Dental insurance | Flexible paid time off | Flexible spending accountSenior-level Full TimeNew York, New York1d ago
-
Cybersecurity Engineer USD 120K-160KAccess Control | Access Management | Azure AD | CI/CD | CISFree parking | Health, dental, and vision insurance | Hybrid work schedule | On-site gym | Paid HolidaysMid-level Full TimeSeattle, United States1d ago
-
Sr IAM Security Professional USD 100K-150KAWS Directory | AWS Directory Services | Access Management | Active Directory | Application MonitoringDental insurance | Education reimbursement | Flexible work arrangements | Health insurance | Maternity leaveSenior-level Full TimeUnited States1d ago
-
Enterprise Sales Engineer USD 220K-260KAccess Management | Active Directory | Cloud Security | Cybersecurity | Enterprise SalesDental insurance | Flexible vacation policy | Health insurance | Parental leave | Remote workMid-level Full TimeUS, Remote R1d ago
-
Systems Engineer III USD 144K-250KAPI Integration | Access Management | Active Directory | Ansible | BashSenior-level Full TimeFort Meade, MD1d ago
-
Senior Cybersecurity Engineer USD 140K-167KAPIs | Access Management | Active Directory | Adaptive Multi Factor Authentication | AutomationSenior-level Full TimePhoenix, Arizona, United States1d ago
-
Application Security Engineer USD 165K-295KADA | Assembly Language | Automated testing | C# | C++Health insurance | Holiday pay | Learning and development | Life insurance | Long-term disabilitySenior-level Full TimeUSA-MD-Hanover1d ago
-
Application Security Engineer USD 141K-236KADA | Application Security | Assembly Language | C# | C++Health insurance | Holiday pay | Learning and development | Life insurance | Long-term disabilitySenior-level Full TimeUSA-MD-Hanover1d ago
-
Senior Product Security Engineer USD 165K-230KAWS | Access Management | Ansible | CNAPP | Cloud Security401(k) plan matching | Flexible hours | Free professional training | Hybrid work model | Paid leaveSenior-level Full TimeBoston, MA, United States1d ago
-
Senior Security Engineer USD 147K-198KAWS | AWS Security | AWS Security Hub | Access Management | Active DirectoryHybrid work arrangement | Sponsorship available | Work from home flexibilitySenior-level Full TimeNew Haven, CT1d ago
-
Embedded Software Engineer USD 122K-153KAbstraction layer | C# | C++ | CAN | EtherCATCompetitive salary | Equity | Personal growth opportunitiesMid-level Full TimeLos Angeles1d ago
-
Senior Full-Stack Platform Engineer - Agentic AI USD 146K-234KAWS | Access Control | Authentication | Authorization | AzureSenior-level Full TimeBasking Ridge, NJ, United States1d ago