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
-
Technical Manager – AI & Data Risk Management USD 134K-265KAlation | Alteryx | Amazon Redshift | Analytics | Apache SparkMid-level Full TimeJersey City, New Jersey, United States; …16h ago
-
C# | C++ | Cloud platform | Code review | Distributed SystemsSenior-level Full TimeSeattle, WA, USA17h ago
-
Engineering Group Manager, AI/ML for Chassis Controls USD 217K-333KAgile | C++ | Computer Vision | Control Systems | Deep learningCompany vehicleSenior-level Full TimeMountain View Technical Center - Mountain …1d ago
-
AI Governance | AWS | AWS Ultraclusters | Artificial Intelligence | C#Health and wellness benefits | Incentive compensationSenior-level Full TimeSan Jose, CA, United States1d ago
-
Senior Engineering Manager USD 129K-166KAWS | Agile | Amazon Aurora | Amazon Aurora MySQL | Amazon ECSHybrid RemoteSenior-level Full TimeUnited States, UNITED STATES, United States1d ago
-
API Design | Apache Flink | Apache Pinot | Automated reporting | CI/CD401k | Dental insurance | Disability insurance | Flexible spending account | HSAMid-level Full TimeSeattle, WA2d ago
-
Senior-level Full TimePlano, United States2d ago
-
Data Sci - Tech Con - AI and Data - Govt and Public Sector - Manager - Multiple Positions - 1714802 USD 196K-196KA/B | A/B Testing | APIs | Amazon S3 | B testing401k plan | Dental coverage | Domestic Travel up to 30% | Flexible vacation policy | Medical coverageMid-level Full TimeSeattle, WA, US, 98104 R2d ago
-
Business Analytics Manager, Commercial Bank USD 96K-181KBusiness Intelligence | Data Pipelines | Data Visualization | Data Warehousing | JavaMid-level Full Time127 Public Square, Cleveland, OH, United … R2d ago
-
Project Management Specialist - AI Products USD 83K-124KComputer Vision | Confluence | Figma | Generative AI | Human-Computer InteractionEntry-level Full Time Internship底特律2d ago
-
AI machine learning | AWS | Agile | Analytics | As-a-ServiceMid-level Full TimePhoenix, AZ, United States2d ago
-
Sr. Manager/ Manager, Business Analytics USD 100K-135KCRM | Customer Segmentation | Data Governance | Data Modeling | Data Quality401k match | Community volunteer opportunities | Complimentary event tickets | Dental insurance | Discount merchandiseSenior-level Full TimeCincinnati, OH2d ago
-
Cloud Architecture | Data Architecture | Data Catalog | Data Governance | Data LakesSenior-level Full TimeAustin, Texas, United States; Dallas, Texas, …2d ago
-
Senior AI Product Manager - Distribution and Enablement USD 160K-200KAcceptance criteria | Agile | Analytics | Backlog Management | Brand governanceHybrid work | One day per week remote workSenior-level Full TimeBaltimore, Maryland, United States2d ago
-
Senior Manager-Software Engineering - EDAI USD 123K-215KAPI Design | Agile | Code review | Data Governance | Data PrivacySenior-level Full TimeSunrise, FL, United States3d ago
-
Process Optimization Manager USD 86K-130KAI | Agile | Analytics | Business Analysis | Business TransformationMid-level Full TimeJacksonville, FL, United States3d ago
-
Machine Learning Engineer USD 150K-260KAWS | Agile | Algorithms | Apache Spark | Artificial IntelligenceSenior-level Full Time420 National Business Parkway, Jessup, MD, …3d ago
-
Engineering Manager USD 163K-241KAI machine learning | Analytics | BI reporting | Cloud Data | Cloud data platformSenior-level Full TimeUSA - CA - 820 S …3d ago
-
Engineering Manager, Data Platform and Governance USD 123K-173KAWS | Access Controls | Analytics engineering | Azure | CCPADental insurance | Disability insurance | Employee assistance program | Employee discount programs | Family leaveSenior-level Full TimeDetroit, Michigan, United States - Remote R3d ago
-
Ecommerce Fulfillment & Operations Manager USD 20K-26KADA compliance | AI tools | Amazon MCF | Automation | BASEFlexible schedule | Free Access to Products | Remote-first environment | Training and continuous learningSenior-level Full TimeUnited States - Remote R3d ago
-
AI Foundry | Azure | Azure AI | Azure AI Foundry | Azure DataEducation Related Programs | Health insurance | Life and disability insurance | No Relocation Support Available | Paid HolidaysSenior-level Full TimePlant - Chicago, USA, United States R3d ago
-
Lead Machine Learning Engineer (Manager IC) USD 179K-225KAI Governance | AWS | Agentic AI | Azure | BedrockSenior-level Full TimeCambridge, MA, United States4d ago
-
Manager, Inventory & Analytics USD 94K-117KData Visualization | ERP | Excel | Forecasting | IBPFlexible work policy | Hybrid work | Remote work optionMid-level Full TimeUS - Rabbit Hole - Office, … R4d ago
-
A/B | A/B Testing | Artificial Intelligence | B testing | Data ScienceMid-level Full TimeUS159 NJ Titusville - 1125 Trenton-Harbourton …4d ago
-
Data & Analytics Sr Data Delivery Manager USD 75K-105KAPI | AWS | Advanced Analytics | Business Intelligence | Cyber Security401k | Paid Holidays | Paid time off | Sick leaveSenior-level Full TimeCharlotte NC - 214 North Tryon …4d ago