Senior Formal Methods Engineer
MA - Cambridge, United States
USD 82K-220K Senior-level Full Time Found 6d ago
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
Language: en |
Views: 0 |
Clicks: 0
Related jobs
-
Cloud Engineer USD 150K-180KAutomation | Cloud Architecture | Cloud Design | Cloud Design Patterns | Cloud strategy401k matching | Health benefits | Holidays | Legal and Pet Insurance | Paid time offSenior-level Full TimeBoston, MA, United States18h ago
-
AI/IT Engineer I or II USD 70K-93KAgentic AI | Communication | Data pipeline | Data pipeline design | Development LifecycleMid-level Full TimeAtlanta, GA, United States18h ago
-
AI/IT Engineer I or II USD 70K-93KAgentic AI | Communication skills | Data Pipelines | Development Life Cycle | Distributed SystemsMid-level Full TimeAtlanta, GA, United States18h ago
-
Application Security Engineer USD 42K-44KCSS | Cybersecurity basics | Development Lifecycle | ETL | Full StackCareer growth | Community involvement | Diversity and inclusion | Learning environment | Ownership mindsetMid-level Full TimeRoseland, NJ, United States19h ago
-
Tactical Cyber Engineer USD 125K-210KAutomation | Azure | Cloud AWS | Cybersecurity | Digital forensicsContribute to national security efforts | Full-time | Onsite | Security Clearance | Work with elite teamSenior-level Full TimeUSA-VA-Herndon22h ago
-
Information System Security Engineer | Naples, Italy USD 93K-155KCommunication Protocols | Cybersecurity | Cybersecurity policies | EMASS | Energy managementBroad range of benefits | Inclusive culture | Professional development opportunitiesMid-level Full TimeArlington/Rosslyn, Virginia, United States22h ago
-
Fuzzing | Protocol Design | Reverse Engineering | Secure Protocol Design | Security TestingBenefits | Bonus | EquitySenior-level Full TimeWashington D.C., DC, USA1d ago
-
Solutions Engineer USD 144K-227KAWS | ActiveDirectory | Administration | AgileScrum | AzureBonus | HealthPlan | StockOptions | TravelSupport | WorkCultureSenior-level Full TimeTexas, United States1d ago
-
System Security Engineer USD 135K-145KAssessment tools | Cybersecurity | Cybersecurity Standards | Database security | DoD CybersecuritySenior-level Full TimeWoburn, MA1d ago
-
Senior Cloud Security Engineer – Cleared (Polygraph) USD 112K-238KAOAI | Azure Monitoring | Cloud Security | Copilot | CybersecuritySenior-level Full TimeReston, VA1d ago
-
Senior Cybersecurity Engineer USD 112K-180KManagement Framework | Network Protocols | Risk Management | Risk Management Framework | Security DocumentationSenior-level Full TimeSpringfield, VA1d ago
-
Computer Scientist - Telemetry Arbiter USD 127K-160KAPI Development | C++ | Data Serialization | Development lifecycles | Docker401k with match | Dental | Disability | HSA | Life insuranceMid-level Full TimeEdwards AFB, CA, United States1d ago
-
2026 Cyber Security Engineer (Air) - Hunt Valley, MD USD 102K-102KAnalysis | Compliance checks | Cybersecurity | Linux | Management FrameworkCareer development | Education assistance | Flexible work | Health benefits | Paid parental leaveEntry-level Full TimeUS-Maryland-Hunt Valley1d ago
-
Sr. Offensive Security Engineer USD 85K-150KCommunication | Cross-Functional Collaboration | Cross-functional | Cybersecurity | Functional collaborationDisability insurance | Employee discounts | Equity | Health insurance | Health savings accountSenior-level Full Time500 Woodward Avenue - Floors 11 … R1d ago
-
Information Systems Security Engineer USD 91K-153KAudit tools | Cloud systems | Configuration Management | Cybersecurity | DevOpsMid-level Full TimeUSA-FL-Eglin AFB1d ago
-
Cloud Operations Engineer USD 98K-163KAWS | Azure | Cloud Engineering | Cloud Security | Cyber DefenseGrowth opportunities | Hybrid work | Security clearance support | Supportive teamMid-level Full TimeUSA-VA-Virginia Beach1d ago
-
Information Systems Security Engineer USD 89K-148KA&A Packages | Cloud Security | Cybersecurity | Cybersecurity Research | Cybersecurity complianceDisability | Health insurance | Holiday pay | Learning and development | Life insuranceSenior-level Full TimeUSA-Remote Work R1d ago
-
Cloud Operations Engineer USD 125K-210KAWS | AWS SCCA | Ansible | Cloud Management | CybersecurityGrowth opportunities | Hybrid work | Support for certificationsSenior-level Full TimeUSA-VA-Virginia Beach1d ago
-
Senior Cyber Engineer USD 84K-172KCommunication | Critical Thinking | Cybersecurity frameworks | Hardware security | LeadershipSenior-level Full TimeDahlgren, VA, US2d ago
-
Support Engineer, Secure Tool Foundations USD 82K-143KAutomation Scripting | Automation tools | Cause analysis | Cross-team | Cross-team CollaborationCareer growth | Inclusive culture | Training opportunities | Work-life balanceEntry-level Full TimeNew York, New York, USA2d ago
-
Senior Information Assurance Engineer (USAF Cloud One) USD 107K-195K800-53 | Audit Readiness | Automated control | Automated control validation | Cloud SecuritySenior-level Full Time2683 Huntsville AL, United States2d ago
-
Information Assurance Engineer (USAF Cloud One) USD 87K-157K800-53 | Audit Readiness | Automation | Automation tools | Cloud SecurityMid-level Full Time2683 Huntsville AL, United States2d ago
-
Cause analysis | Cloud Security | Cybersecurity | EMASS | Management FrameworkMid-level Full TimeUSA AL Redstone Arsenal (5224 Martin …2d ago
-
Software Engineer (Mid Level) USD 85K-120KAutomation | Automation tooling | CI/CD | Chart creation | Data Management401k with matching | Comprehensive benefits | Educational assistance | Family culture | PTOMid-level Full TimeArlington, VA R2d ago
-
Senior Product Security Engineer USD 131K-216KBest practices | C/C++ | CI/CD | CI/CD Pipeline | CI/CD Pipeline SecurityEmployee stock plan | Family medical leave | Medical/Dental/Vision | Paid time off | Parental leaveSenior-level Full TimeRaleigh, United States R2d ago