Sr Manager, Applied Science, AWS Compliance & Security Assurance
Tasks
- Advance static program analysis research
- Collaborate with security privacy engineering and service teams
- Contribute to automated reasoning initiatives and academic partnerships
- Develop automated reasoning engine static analysis
- Develop novel analysis techniques
- Expand language support beyond Java
- Explore formal verification of analysis correctness
- Foster scientific rigor and operational excellence
- Hire develop and retain applied scientists
- Integrate security and privacy analysis capabilities
- Lead static analysis platform
- Own science roadmap
- Prototype novel program analysis
- Represent team in automated reasoning community
- Review technical artifacts
- Translate assurance needs into analysis capabilities
Perks/Benefits
Skills/Tech-stack
Abstract interpretation | Application Security | Automated Reasoning | Compositional heap analysis | Coq | Dafny | Dataflow Graph Generation | Dataflow graph | Encryption Verification | Formal verification | Graph generation | Heap analysis | Information flow | Information flow security | Java | Lean | Mechanical theorem proving | Modular method summarization | Privacy Compliance | Program analysis | Programming language | Programming language type systems | SAT | SMT | Static Program Analysis | Symbolic simulation | Taint analysis | Theorem Proving | Type Systems
Education
Roles
Regions
Countries
States
Cities
Related jobs
-
Senior AI Solutions Deployment Developer, Applied AI USD 152K-222KAPI tools | Agentic AI | Architecture | Cloud Architecture | Cloud platformSenior-level Full TimeWaterloo, ON, Canada; Cambridge, MA, USA2h ago
-
Senior Manager of Software Engineering - Databricks, AWS USD 176K-200KAWS Glue | Airflow | Apache Spark | Auto Scaling | Automated testingBackup childcare | Comprehensive health care coverage | Financial coaching | Mental health support | On-site health and wellness centersSenior-level Full TimePlano, TX, United States20h ago
-
Manager, Applied Science, International Seller Services USD 183K-248KAnalytics | C++ | Computer Vision | Deep learning | Information Retrieval401k matching | Employee Assistance Program (EAP) | Health insurance | Mental health support | Paid time offEntry-level Full Time InternshipSeattle, Washington, USA1d ago
-
Technical Program Manager III, Analytics, Google Beam USD 163K-237KBusiness acumen | Capacity Planning | Cross-Functional Collaboration | Cross-functional | DashboardsSenior-level Full TimeSeattle, WA, USA; Mountain View, CA, …2d ago
-
Sr Manager, Software Development Engineering USD 274K-296KAWS | Amazon S3 | Apache Kafka | Apache Spark | Cloud NativeHybrid work model | Partial telecommuting allowedSenior-level Full TimeUSA, CA, Pleasanton, United States2d ago
-
Principal AI Program Manager USD 145K-193KAI Governance | Artificial Intelligence | Change Management | Data Preparation | Enterprise Architecture401k matching | Paid sick leave | Paid vacation time | Tuition reimbursementSenior-level Full TimeSan Jose, CA, United States2d ago
-
Technology Mgr, Quality Systems, AI Lead USD 102K-204KAdvanced Analytics | Artificial Intelligence | Audit management | Continuous Improvement | DashboardsSenior-level Full TimeUS014 MA Raynham - 325 Paramount …3d ago
-
Android | Cloud Computing | Confluence | Embedded Linux | FirmwareHybrid work model | Remote work options | Work from home flexibilitySenior-level Full TimeSan Jose, United States R3d ago
-
Business Analytics Manager (Digital) USD 96K-181KBig Data | Business Intelligence | Data Mining | Data Modeling | Data VisualizationMid-level Full Time4910 Tiedeman Road, Brooklyn, OH, United …3d ago
-
Senior Manager, Data Engineering USD 75K-208KAzure | Azure Synapse | Azure Synapse Analytics | C# | Complex SQLCalm app subscription | Days of disconnect | EAP | EAP support | Flexible work location within United StatesSenior-level Full TimeTX Frisco 2600 North Dallas Parkway, …3d ago
-
Principal Engineer - Data Ingestion & AI Pipeline USD 122K-173KAI Document Intelligence | Access Control | Apache Airflow | Apache Kafka | Apache SparkFlexible benefitsSenior-level Full TimeCharlotte, United States3d ago
-
Sr. Operations Manager, Fulfillment Operations USD 135K-182KCoaching | Customer Experience | Employee Relations | Lean | Performance Metrics401k matching | Dental insurance | Health insurance | Paid time off | Parental leaveSenior-level Full TimeDallas, Texas, USA3d ago
-
Sr. Operations Manager, Fulfillment Operations USD 135K-182KCustomer Experience | Lean | Operations Management | Performance Metrics | Process Improvement401k matching | Employee assistance program | Flexible spending accounts | Medical/Dental/Vision insurance | Paid time offSenior-level Full TimeDallas, Texas, USA3d ago
-
Manager I, Engineering - Change Experience Platform USD 187K-240KAPI Design | CLI tooling | Cassandra | Data Modeling | Developer experienceCareer pathing | Community guilds | Continuous professional development | Inclusion talks | Inclusive company cultureMid-level Full TimeNew York, New York, USA5d ago
-
Operations Program Manager - Robotics Data Acquisition USD 207K-285KAudio Systems | Automation | Autonomous Vehicles | Camera systems | Capacity modelingMid-level Full TimeSan Francisco5d ago
-
Manager, Data Platform Operations USD 101K-131K.NET | AWS | AWS CloudFormation | Access Controls | Apache Airflow401k match | Company paid life insurance | Company-paid disability insurance | Dental insurance | Health insuranceMid-level Full TimeSaint Louis, Missouri, United States6d ago
-
APIs | Access Management | C++ | Cloud infrastructure | Code reviewSenior-level Full TimeNew York, NY, USA; Chicago, IL, …6d ago
-
C# | C++ | Cloud Computing | Computer Vision | Data ProcessingSenior-level Full TimeSunnyvale, CA, USA6d ago
-
Senior Manager, Data Engineering USD 75K-208KAzure | Azure Data | Azure Data Factory | Azure Synapse | Azure Synapse AnalyticsCalm app subscription | Days of disconnect | EAP | Employee assistance program | Medical, dental & vision coverageSenior-level Full TimeTX Frisco 2600 North Dallas Parkway, …6d ago
-
Benchmarking | Cause analysis | Change Management | Dashboards | Data Analysis401k match | Commuter and Flexible Spending Accounts | Employee assistance program | Health savings account | Health, dental, and vision insuranceSenior-level Full TimePhiladelphia, PA, US, 191046d ago
-
Sr Manager, Customer Data Governance USD 90K-180KAccess Management | Customer Data | Customer Data Enrichment | Customer Master | Customer Master DataCross-functional collaboration | Leadership development | Travel Less Than 10 PercentSenior-level Full TimeSTORE SUPPORT CENTER, ATLANTA - 9090, …6d ago
-
Advanced Excel | Agile | Artificial Intelligence | Asset Management | CLMInternational and domestic travel | Remote work optionSenior-level Full TimeFranklin, TN, United States R6d ago
-
Principal, Data Product Management USD 188K-276KAnomaly Detection | Artificial Intelligence | CCPA | Change Management | Cloud DataSenior-level Full TimeUSA - NY - 7 Hudson …7d ago
-
Senior Manager, Data Science USD 137K-235KAWS S3 | Access Control | Agile methodology | Amazon Redshift | Amazon Web ServicesGlobal cross functional leadership opportunities | Inclusive work environmentSenior-level Full TimeUS159 NJ Titusville - 1125 Trenton-Harbourton …7d ago
-
Algorithms | Apache Airflow | Apache Flink | Apache Spark | C++Senior-level Full TimeUS-WA-Bellevue7d ago