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
-
Bitcoin Security Director USD 160K-240KBitcoin | Bitcoin Custody | Blockchain Security | Cryptography | Digital signaturesExecutive-level Full TimeTysons Corner, VIRGINIA, United States6h ago
-
Research Engineer USD 108K-147KAuthentication | Authorization | C# | C++ | CryptographyCompetitive benefits | Hybrid work scheduleMid-level Full TimeReston,Virginia,United States9h ago
-
DevSecOps Engineer USD 151K-170KAPI Management | Access Management | Amazon Web Services | Bash | BigQuery401k with employer match | Dental insurance | Federal holiday off | Flexible PTO | Flexible Spending Account (FSA)Senior-level Full TimePatrick SFB, FL11h ago
-
Cybersecurity Engineer USD 125K-170K800-53 | AWS | Access Management | Azure | CI/CD401k employer match | Dental insurance | Disability insurance | Flexible PTO | Flexible spending accountSenior-level Full TimePatrick SFB, FL11h ago
-
Staff Security Engineer, Detection and Response USD 200K-250KAWS | Access Management | Cloud Security | Detection engineering | EDR401k company match | Annual Holiday Shutdown | Equipment provisioning | Flexible time off | Medical, dental & vision coverageSenior-level Full TimeSan Francisco12h ago
-
Staff Product Security Engineer USD 106K-197KAPI Security | Access Management | Cloud Security | Cybersecurity | Data ProtectionSenior-level Full TimeSunnyvale, CA, United States16h ago
-
Senior Product Security Engineer USD 152K-224KAI Model Access Control | AI model | ASPM | AWS | Access Control401k match | Employee assistance program | Flexible PTO | Medical/Dental/Vision insurance | Mental wellness programSenior-level Full TimeRemote, USA R16h ago
-
Senior Security Engineer USD 128K-166KAccess Control | Access Management | Access Reviews Automation | Access reviews | As-a-ServiceHybrid work model | Mentorship | Professional growthSenior-level Full TimeAustin17h ago
-
Principal Security Engineer USD 145K-209KAPI Security | AWS | Application Security Testing | Automation | C++Senior-level Full TimeLehi, Utah19h ago
-
Senior-level Full TimeNeedham, Massachusetts, United States21h ago
-
Staff Software Development Engineer (Microservices) USD 129K-185KAPI Design | AWS | Amazon SQS | Azure | Behavior-Driven DevelopmentEducation reimbursement | Health plans | Hybrid work environment | Parental leave options | Retirement optionsSenior-level Full TimeSan Jose, California, USA21h ago
-
Staff Infrastructure Security Engineer USD 220K-330KAWS | Admission controllers | Attack surface | Attack surface management | AzureSenior-level Full TimeSan Francisco22h ago
-
Security Engineer, Application Security USD 109K-114KABAC | AES | AWS Security | Angular | Application SecurityTelecommutingEntry-level Full TimeBoston, MA, United States R22h ago
-
Corporate Security Engineer USD 116K-130KAccess Management | Application control | Bash | BitLocker | CIS Benchmarks401k | Flexible time off | Home office stipend | Medical, dental, and vision insurance | Paid Company HolidaysMid-level Full TimeRemote, US R1d ago
-
Principal Security Engineer USD 135K-194KAccess Management | Cloud Security | Cloud security controls | Data Protection | Entra ID401k profit sharing | Dental insurance | Health insurance | Holidays | Life insuranceSenior-level Full TimeBoston, MA1d ago
-
Access Management | Enterprise Network | Enterprise Network Security | Identity and Access Management | Identity and accessSenior-level Full TimeAustin, TX, USA; Sunnyvale, CA, USA1d ago
-
Systems Engineer USD 155K-205KAccess Control | Agile methodology | Authentication | CI/CD | Chaos TestingSenior-level Full TimeAnnapolis Junction, MD1d ago
-
ACAS | COMSEC | Cryptography | Cyber Security | EVSSLimited supervisionSenior-level Full TimeChantilly, VA1d ago
-
API Design | AWS | Amazon SQS | Azure | Azure CosmosEducation reimbursement | Hybrid work model | Parental leave options | Retirement options | Time off plansSenior-level Full TimeSan Jose, California, USA1d ago
-
Senior Security Engineer USD 167K-219KAWS | AWS Security | AWS Security Hub | Access Management | Active DirectoryHybrid work | Sponsorship | Work from home flexibilitySenior-level Full TimeNew Haven, CT1d ago
-
Blockchain Security | Cryptography | Golang | Python | Risk Assessment401k match | Accidental death insurance | Dental insurance | FSA | Flexible paid time offSenior-level Full TimeUS / Remote R1d ago
-
Sr. Security Engineer (Penetration Testing) USD 100K-180KAWS | Application Security | Azure | Bash | Blockchain Security401k matching | Accidental death and dismemberment insurance | Dental insurance | FSA | Flexible paid time offSenior-level Full TimeUS / Remote R1d ago
-
Capability Development Specialist USD 190KAgile | Anti-forensics | Artificial Intelligence | C# | C++Senior-level Full TimeAnnapolis Junction, MD, United States1d ago
-
Senior Cybersecurity Engineer USD 135K-216K800-53 | API Development | Access Management | Automation | Capacity PlanningSenior-level Full TimeWashington, DC, United States1d ago
-
Security Engineer USD 64K-95KAWS | Access Controls | Access Management | Azure | CIS ControlsDental insurance | Disability insurance | Hybrid work schedule | Life insurance | Medical insuranceMid-level Full TimeChicago, IL, United States R1d ago