Senior Formal Methods Engineer
Tasks
- Assess hardware and software security vulnerabilities
- Create tools for vulnerability detection and exploitation
- Develop security and behavior-compliant software
- Document system functionality and changes
- Identify system risks and develop mitigation strategies
- Integrate software capabilities
- Mentor junior engineers
- Perform related duties
- Propose design modifications
- Solve complex technical problems
Perks/Benefits
Skills/Tech-stack
Automated solvers | Binary Code Analysis | Binary code | Code Analysis | Cybersecurity | Formal Methods | Functional Programming | Logic calculi | Low-level programming | Model Checking | Proof assistants | SMT | Software development | Static Analysis | System Integration | Theorem Proving | Tool Development | Vulnerability Assessment
Regions
Countries
States
Cities
Related jobs
-
Sr Principal Eng - Medical Device CyberSecurity USD 123K-185KAuthentication | By Design | Cybersecurity | Data Integrity | EncryptionDental | Health care | Paid time off | Retirement | Sick leaveSenior-level Full TimeIndianola, Pennsylvania, US4h ago
-
Robotics Application & Product Security Engineer USD 90K-300KAPI Security | Adversarial analysis | Application Security | Artifact signing | AuthenticationHybrid or remote optionSenior-level Full TimeIrvine, CA9h ago
-
Security Engineer USD 200K-330KAccess Control | Application Security | Authentication | Authorization | CI/CDDaily lunches and snacks | Disability benefits | Life insurance | Medical/Dental/Vision insurance | Paid time offMid-level Full TimeSan Francisco11h ago
-
SME Cyber Engineering USD 140K-190KCONOPS | Cybersecurity | Defensive security | Mission Planning | Offensive security401k match | Dental insurance | Disability insurance | Educational reimbursement | Health insuranceSenior-level Full TimeWashington, DC, United States18h ago
-
Senior Application Security Engineer USD 180K-225KAdmission control | Application Architecture | Application Security | Authentication | Code security401k plan | Disability insurance | In-home office setup | Internet stipend | Learning and developmentSenior-level Full TimeUnited States - Remote Opportunity R19h ago
-
Lead DevOps Engineer USD 157K-223KAWS | Ansible | ArgoCD | Artifact Repositories | ArtifactoryHybrid schedule | Remote workSenior-level Full TimeDenver, CO R23h ago
-
Lead DevOps Engineer USD 157K-223KAWS | Agile | Ansible | ArgoCD | Artifact RepositoriesHybrid work | On site security clearance access | Remote workSenior-level Full TimeArlington, VA R23h ago
-
AI | Authority to Operate | Continuous Diagnostics and Mitigation | Continuous diagnostics | Cyber SecurityMid-level ContractWoodlawn, United States1d ago
-
Software Engineering Leader - Security Assurance USD 187K-281KAccess Control | Authentication | Authorization | Black box testing | Black-boxSenior-level Full TimeSan Jose, California, United States1d ago
-
Security Engineer, Platform Security and Privacy USD 147K-211KApplication Security | Applied cryptography | Authentication Protocols | Bug Bounty | Code AnalysisMid-level Full TimeKirkland, WA, USA1d ago
-
Software Engineer, Security & Privacy USD 170K-230KAPI Security | AWS | AWS CDK | Authentication | AuthorizationCompany holidays | Flexible PTO | Hybrid work | Medical/Dental/Vision insuranceSenior-level Full TimeSan Francisco Bay Area, CA1d ago
-
ACAS | Assessment and Authorization | Assured compliance assessment solution | Authority to Operate | Continuous MonitoringMid-level Full TimeVirginia Beach, VA, United States1d ago
-
Senior Systems Engineer (Cybersecurity) USD 97K-185KAPI | AWS | Access Control | Agile | ArtifactoryHybrid work scheduleSenior-level Full TimeTwo Destiny Way, Westlake TX, United …1d ago
-
Engineer II - Information Security USD 70K-73KAccess Control | Antivirus | COBIT | Cause analysis | Cloud SecurityAdoption Assistance | Backup dependent care | Behavioral health solutions | Dental insurance | Employee resource groupsMid-level Full TimeUSA - TX - Carrollton - …1d ago
-
Principal Software Engineer USD 122K-207KCause analysis | Code review | Deployment Planning | Development Life Cycle | Feasibility studySenior-level Full TimeDublin, Ireland (Mountain View)1d ago
-
AWS | Cloud Native | Cloud Native Application Protection Platform | Cloud Security | Cloud Security PostureFlexible work hours | Learning and career growth resources | MentoringMid-level Full TimeArlington, Virginia, USA1d ago
-
Cyber Security Engineer I USD 68K-105KApplication Security | Audit Support | Cybersecurity | Desktop Support | Incident Response401k match | Career advancement | Health insurance | Hybrid work | Paid HolidaysEntry-level Full TimeJackson, Michigan, United States1d ago
-
Site Reliability Engineer, Discovery USD 166K-220KAWS | Ansible | Application development | Azure | Cause analysisCommuter benefits | Healthcare benefits | Life and disability insurance | Mental health resources | Professional development reimbursementMid-level Full TimeWashington, District of Columbia, United States1d ago
-
Site Reliability Engineer, Discovery USD 166K-220KAWS | Ansible | Application development | Azure | Cause analysisCommuter benefits | Dental benefits | Disability insurance | Healthcare benefits | Life insuranceMid-level Full TimeSeattle, Washington, United States1d ago
-
Senior Security Engineer USD 164K-228KAI-assisted coding | AI/ML | AI/ML Security | Access Control | Assisted coding401k match | Company holidays | Dental insurance | Employee assistance program | Employee stock purchase planSenior-level Full TimeUnited States | Remote R1d ago
-
SVVP Security Development Consultant USD 200K-250KAccess Control | Compliance Management | Control Validation | Cybersecurity | Data ClassificationExecutive-level Full TimeNYC, NY1d ago
-
Security Engineer USD 100K-203KCyber Operations | Cyber Threat | Cyber threat analysis | Cybersecurity | Enterprise SecuritySenior-level Full TimeChantilly, VA1d ago
-
Development Security Operations Engineer USD 130K-150KAPI Security | API authorization | Active Directory | Ansible | Application Security401k | Commuter benefit | Dental insurance | Education assistance | Health insuranceMid-level Full TimeCamden, New Jersey, United States1d ago
-
Cyber Technical Director USD 172K-360KAI integration | Anomaly Detection | Cloud infrastructure | Cybersecurity | DevSecOpsExecutive-level Full TimeWashington, DC1d ago
-
Senior Security Engineer USD 140K-180KAdversary simulation | Application Security | Application Security Testing | Burp Suite | Code AnalysisRemote workSenior-level Full TimeRemote, U.S. R1d ago