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
-
AI Solutions Deployment Manager, Cloud Applied AI USD 183K-266KAPI Development | Agentic AI | Cloud Architecture | Cloud platform | Conversational AISenior-level Full TimeWaterloo, ON, Canada; New York, NY, …9h ago
-
AI Solutions Deployment Manager, Cloud Applied AI, Telco USD 183K-266KAPI tools | Agentic AI | Architectural Guidance | Cloud Architecture | Cloud platformSenior-level Full TimeWaterloo, ON, Canada; New York, NY, …9h ago
-
Software Engineering Manager II, AI/ML, Google Cloud USD 207K-301KC# | C++ | Cloud platform | Data Processing | DebuggingSenior-level Full TimeSunnyvale, CA, USA1d ago
-
Sr. Manager Data Engineering USD 125K-188KAutomated testing | Bitbucket | CI/CD | Cloud Functions | Cloud RunSenior-level Full TimeSouthlake, TX, United States1d ago
-
Sr Product Manager - Data Science USD 92K-167KData Analysis | Data Visualization | Distributed Computing | Healthcare | Hive401k savings plan | Annual incentive bonus plan | Disability insurance | Employee assistance program | Paid HolidaysSenior-level Full TimeChicago Illinois HQ (300 E. Randolph …1d ago
-
Senior Principal Product Manager - Gen AI Platforms CAD 182K-272KAI Agents | AI monitoring | AI platforms | APIs | AuditabilitySenior-level Full TimeDallas Infomart Office DAI, United States R1d ago
-
Manager, Marketing Analytics USD 115K-122KA/B | A/B Testing | Attribution Modeling | B testing | Dashboarding401k | Dental insurance | Equity | Health insurance | Hybrid work up to 5 daysMid-level Full TimeHQ, United States R1d ago
-
Sr Engineering Program Manager, AIML Foundation Models USD 165K-293KCo-design | Cross-Functional Collaboration | Cross-functional | Data Pipelines | Distributed TrainingSenior-level Full TimeCupertino1d ago
-
AI Full Stack Engineering Lead USD 122K-200KAWS | Agent Orchestration | Agile | Alerting | Architecture DiagramsSenior-level Full TimeCharlotte, United States2d ago
-
Process Manager, PULSE Fulfillment Team USD 122K-139KAgile | Audit Readiness | Business Process | Business Process Management | Data PrivacyMid-level Full TimeHouston, TX, United States2d ago
-
Director, Product & Data Governance USD 136K-252KAI Automation | API Standards | API contracts | Backward Compatibility | Data GovernanceExecutive-level Full TimeAlpharetta, GA (Alderman), United States2d ago
-
Senior Manager, Data Governance USD 122K-159KData Cataloging | Data Factory | Data Governance | Data Lineage | Data ManagementSenior-level Full TimeSchiller Park, IL2d ago
-
Engineering Manager, Enterprise Applied AI USD 300K-520KAPIs | Agent Orchestration | Benchmarking | Cloud Native | Data SourcesDental insurance | Equity grant | Free gym membership | Health insurance | Laundry reimbursementMid-level Full TimeSan Francisco4d ago
-
Analytics Product Manager USD 111K-138KAgile | Azure DevOps | Backlog Grooming | Backlog Management | Business Intelligence401k retirement plan | Bonding Leave | Dental insurance | Employee assistance program | Employee referral programMid-level Full TimeWI, United States5d ago
-
Associate Director, Commercial Data Science USD 194K-263KAWS | Amazon Web Services | Artificial Intelligence | Causal Inference | Cloud ComputingCareer development | Work-life balanceMid-level Full TimeUS - California - Thousand Oaks, …5d ago
-
Principal Supervisor - Data Science USD 101K-148KA/B | A/B Testing | AWS | Alteryx | Artificial IntelligenceSenior-level Full TimeDetroit, MI, US5d ago
-
Associate Director Supply Chain Analytics USD 170K-180KArtificial Intelligence | Business planning | Data Governance | Data Quality | Demand PlanningHybrid work arrangement | Onsite workMid-level Full TimeFort Collins, Colorado, United States; Buffalo …5d ago
-
Head of Marketing Operations & Analytics USD 206K-310KA/B | A/B Testing | Attribution | Automation orchestration | B testingExecutive-level Full TimeNew York6d ago
-
Director, Agentic AI Solutions – US Market Access USD 180K-300KArtificial Intelligence | Data Governance | Deep learning | HIPAA | Intelligent AutomationExecutive-level Full TimePhiladelphia Walnut Street, United States6d ago
-
Product Manager, Data Platform (Beeswax) USD 125K-187KAd-Tech | Apache Airflow | DBT | Data Infrastructure | Data infrastructure designNights and weekends availability | Variable scheduleMid-level Full TimeNY - New York, 1407 Broadway …6d ago
-
AWS | AWS Cloud | Artificial Intelligence | Azure | C#Senior-level Full TimeSan Jose, CA, United States7d ago
-
Advanced Analytics | Capability analysis | Change Management | Control Charts | Data Visualization401k matching | Career development opportunities | Employee resource groups | Fitness reimbursement | Mental wellbeing supportMid-level Full Time222 Chicago IL, United States R7d ago
-
Senior Forward Deployed AI Engineering Manager USD 157K-209KArtificial Intelligence | Automation | Cloud Computing | Data integration | Data platforms401k match | Health programs | Holiday schedule | Online discounts | PTOSenior-level Full TimeFramingham, MA, United States8d ago
-
Manager, Data Platform Engineering USD 160K-201KAmazon Redshift | Batch Processing | Cost Optimization | Data Modeling | Data WarehousingMid-level Full TimeBoston, Massachusetts, United States R8d ago
-
Apache Airflow | BigQuery | CI/CD | DBT | Data GovernanceSenior-level Full TimeSunnyvale, CA, USA; Atlanta, GA, USA8d ago