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; …14h ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewExciting projects | Professional growth | Work-life balanceMid-level Full TimeFort Lauderdale, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewExciting projects | Flexible work environment | Mentorship | Professional growth | Work-life balanceMid-level Full TimeTallahassee, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | CI/CD | Cloud Security | Code Scanning | Code reviewProfessional growth | Work-life balanceMid-level Full TimeRichmond, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewExciting projects | Flexible work environment | Professional growth | Work-life balanceMid-level Full TimeTexas City, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | CI/CD | Cloud Security | Code review | Continuous DeliveryProfessional growth | Work-life balanceMid-level Full TimeBlacksburg, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewFlexible work environment | Mentorship | Professional growthMid-level Full TimeJacksonville, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code ScanningProfessional growth | Work-life balanceMid-level Full TimePort Charlotte, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewFlexible work environment | Professional growth | Techtalks | Work-life balanceMid-level Full TimeBoston, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewFlexible work environment | Mentorship | Personalized growth roadmaps | TechtalksMid-level Full TimeBoca Raton, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewProfessional growth | Work-life balanceMid-level Full TimeAtlanta, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewFlexible work environment | Mentorship | Personalized growth roadmaps | Professional growth | TechtalksMid-level Full TimeTampa, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewFlexible work environment | Mentorship | Professional growth | Work-life balanceMid-level Full TimeAustin, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | CI/CD | Cloud Security | Code review | DevSecOpsProfessional growth | Work-life balanceMid-level Full TimeWest Palm Beach, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewExciting projects | Flexible work environment | Mentorship | Professional growth | Work-life balanceMid-level Full TimeLos Angeles, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | CI/CD | Cloud Security | Code review | DevSecOpsProfessional growth | Work-life balanceMid-level Full TimeHouston, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewExciting projects | Professional growth | Work-life balanceMid-level Full TimeIrving, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewExciting projects | Flexible work environment | Personalized growth roadmaps | Professional growth | TechtalksMid-level Full TimeOrlando, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | CI/CD | Cloud Security | Code review | DevSecOpsFlexible work environment | Mentorship | Professional growth | Work-life balanceMid-level Full TimeDallas, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewExciting projects | Flexible work environment | Professional growthMid-level Full TimeSan Francisco, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KCI/CD | Cloud Security | Code review | DevSecOps | JavaProfessional growth | Work-life balanceMid-level Full TimeChicago, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewFlexible work environment | Mentorship | Professional growth | Work-life balanceMid-level Full TimeBaltimore, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code reviewProfessional growth | Work-life balanceMid-level Full TimeNew York, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | Application Security Posture Management | CI/CD | Cloud Security | Code ScanningProfessional growth | Work-life balanceMid-level Full TimeJersey City, United States1d ago
-
Engineering Manager ID70129 USD 133K-180KApplication Security | CI/CD | Cloud Security | Code review | DevSecOpsMentorship | Professional growth | Work-life balanceMid-level Full TimeMiami, United States1d ago