Sr Manager, Applied Science, AWS Compliance & Security Assurance
Tasks
- Collaborate with security and privacy stakeholders
- Foster scientific rigor and operational excellence
- Generate dataflow graph
- Hire develop and retain applied scientists
- Integrate security and privacy analysis capabilities
- Lead compositional heap analysis
- Lead modular method summarization
- Lead taint analysis
- Own static analysis science roadmap
- Prototype novel security analyses
- Represent team in automated reasoning community
- Review technical artifacts
- Translate security assurance needs into analysis features
Perks/Benefits
Skills/Tech-stack
Automated Reasoning | Cloud Security | Compliance | Compositional heap analysis | Coq | Dafny | Dataflow graph | Formal verification | Heap analysis | Java | Lean | Machine Learning | Modular method summarization | Program analysis | Security Automation | Static Analysis | Taint analysis
Education
Regions
Countries
States
Cities
Related jobs
-
Forward Deployed Engineer USD 150K-230KAI | Automation | Cloud Security | Data Engineering | Data PipelinesGrowth opportunities | Health benefits | Professional developmentMid-level Full TimeKansas City, MO SOC8h ago
-
Forward Deployed Security Engineer USD 150K-220KAI Security | CMMC | Cloud Security | Endpoint Security | ISO 27001Mid-level Full TimeKansas City, MO SOC9h ago
-
Vendor Security Manager USD 200K-350K800-53 | API Integration | AWS IAM | Access Control | Adversarial MLMid-level Full TimeSan Francisco, CA9h 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. Metro11h ago
-
Security Engineering Lead USD 200K-300KAI Security | AWS | Access Management | Azure | Cloud SecuritySenior-level Full TimeNew York, NY, United States13h ago
-
Security Engineer IC-03 USD 40K-268KAWS | Application Security | Artificial Intelligence | Cloud platform | Containerization401k plan | Company bonus | Equity | Full remote work permitted | Medical, dental, and vision benefitsMid-level Full TimeSouth San Francisco, CA and US-Remote R13h ago
-
Security Engineer IC-02 USD 40K-238KAWS | Azure | C# | Cloud Security | CloudFormation401k plan | Company bonus | Equity | Medical, dental, vision benefits | Remote workMid-level Full TimeSeattle, WA13h 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 R14h ago
-
Manager, Information Security, CX USD 112K-150K800-53 | AWS | Audit evidence | CIS Benchmarks | Cloud SecurityMid-level Full TimeUSA - Sandy, UT14h ago
-
Solutions Engineer, Security & Privacy USD 86K-197KAPI Security | CCPA | CDN | Cloud Security | Data PrivacyComprehensive health benefits | Donation matching | Employee stock purchase plans | Equal Paid Parental Leave | Flexible paid time offMid-level Full TimeSan Francisco14h ago
-
Solutions Engineer, Security & Privacy USD 86K-197KAPI Security | At Rest Encryption | CCPA | CDN | CDPEmployee stock purchase plan | Flexible paid time off | Hybrid work | Learning stipend | Professional developmentMid-level Full TimeAustin14h ago
-
Solutions Engineer, Security & Privacy USD 86K-197KAPI Security | CCPA | CDN Security | Cloud Security | Data PrivacyDonation matching | Employee resource groups | Equal Paid Parental Leave | Flexible paid time off | Hybrid workMid-level Full TimeChicago14h ago
-
Senior-level Full TimeMcLean, VA15h ago
-
API Integration | Artificial Intelligence | Asset Inventory | Bash | CIS-18401k matching | Dental insurance | Medical insurance | Paid time off | Vision insuranceMid-level Full TimeAustin, TX, United States15h ago
-
800-53 | API Integration | Artificial Intelligence | Bash | CIS Critical Security401k | Dental insurance | Medical insurance | Paid time off | Short-term incentive programsSenior-level Full TimeNorth Chicago, IL, United States15h ago
-
AI Security | Access Management | CIS Top 18 | CIS Top 18 Controls | CIS Top?401k | Health insurance | Paid time off | Short Term Incentive ProgramMid-level Full TimeAtlanta, GA, United States15h ago
-
Senior Web Application Penetration Tester USD 100K-150KAPI Security | Active Directory | Active Directory Security | Application Security | Attack Path401k employer contribution | Dental & vision coverage | Disability insurance | Flexible PTO | Flexible remote workSenior-level Full TimeAnnapolis, Maryland16h ago
-
Sr. Cybersecurity Engineer II (6625) USD 174K-202K800-53 | Acunetix | Cloud Security | Cloud compute | Container Security401k match | Dependent care | Employee Assistance and Wellness Programs | Flexible work arrangements | Health, dental, and vision insuranceMid-level Full TimeWashington, DC16h ago
-
Access Control | Access Management | CASB | Cloud Security | Competitive AnalysisMid-level Full TimeSeattle, Washington19h ago
-
Director of IT, Information Security & Data Privacy USD 175K-190KAccess Management | Application Security | Automation | Business Continuity | CCPA401k match | Health care premium contribution | PTO | Professional coaching | Professional developmentExecutive-level Full TimeExton, PA19h 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-Hanover22h ago
-
Staff Product Security Engineer USD 200K-290KApplication Security | CI/CD | Cloud Security | Cloud platform | Endpoint SecuritySenior-level Full TimeUS - San Francisco1d 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
-
SIEM Specialist USD 104K-170KAWS | Azure | Bash | Cloud Security | Correlation rulesCompetitive base | Flexible work model | Growth opportunities | Hybrid work model | In-office work optionMid-level ContractColombia; Argentina; Brazil; Remote (United States) R1d ago
-
Security Engineer - Detection & Response USD 180K-440KCloud Security | Digital forensics | Elastic | Linux | MacOS24/7 on-call rotation | 401k retirement plan | Dental insurance | Disability insurance | Discounts and perksMid-level Full TimeNew York, NY; Palo Alto, CA1d ago