Senior Applied Scientist, AWS Science of Security
Portland, Oregon, USA
USD 167K-226K Senior-level Full Time
Tasks
- Develop strategic plans for new business solutions
- Lead solution design implementation and delivery
- Mentor others on advanced technical topics
- Provide technical influence across organizations
- Share technical knowledge to improve productivity
- Solve complex security problems
Perks/Benefits
Skills/Tech-stack
Coq | Dafny | Formal verification | Haskell | Isabelle | Kotlin | Lean | Mathematical logic | Mechanical theorem proving | Model Checking | OCaml | Program analysis | Proof assistants | Rust | SAT | SMT | Satisfiability Solving | Scala | Software development | Theorem Proving
Education
Roles
Applied Scientist | Scientist | Security | Security Scientist
Language: en
Views: 0
Clicks: 0
Saves: 0
Related jobs
-
Applied Scientist, Navigation USD 171K-222K3D Perception | Artificial Intelligence | C++ | Computer Vision | Depth Estimation401k matching | Dental insurance | Employee assistance program | Health insurance | Paid time offSenior-level Full TimeSan Francisco, California, USA1d ago
-
Data Science (Master’s degree) (2027 Grads) USD 85K-115KC++ | Data Analysis | Deep learning | Exploratory Data Analysis | Feature EngineeringEntry-level Full TimeCINCINNATI GENERAL OFFICES, United States1d ago
-
Data Scientist (Master's Degree) Internship USD 58K-100KC++ | Data Analysis | Data Management | Data Processing | Data VisualizationMentorshipEntry-level Full Time InternshipCINCINNATI GENERAL OFFICES, United States1d ago
-
Computational Scientist, Psychiatry USD 108K-108KBioinformatics | Data Visualization | Database Administration | GPU Computing | GenomicsPaid parental leave | Paid time off | Public service loan forgiveness | Tuition reimbursement | Wellness programsEntry-level Full TimeTexas-Dallas-5323 Harry Hines Blvd3d ago
-
Computer Scientist III USD 103K-142KC++ | Computer networks | Configuration Management | Deployment | Development Lifecycle401k match | Dental insurance | Disability insurance | Health savings account | Life insuranceSenior-level Full TimeNorth Las Vegas, NV, United States4d ago
-
Computer Scientist III USD 127K-145KDevelopment Lifecycle | Hardware Design | Integration Testing | Software Design | Software Development Lifecycle401k plan | Dental insurance | Disability insurance | Flexible spending account | Health savings accountSenior-level Full TimeEdwards AFB, CA, United States4d ago
-
2026 Computer Scientist Opportunities in Las Vegas, NV USD 101K-142KConfiguration Management | Design reviews | Development Lifecycle | Hardware Design | Integration Testing401k match | Dental insurance | Disability insurance | Flexible spending account | Health insuranceNone Full TimeLas Vegas, NV, United States4d ago
-
Computer Scientist I USD 85K-107KDevelopment Lifecycle | Integration Testing | Requirements Analysis | Software Development Lifecycle | Software coding401k plan | Dental insurance | Disability insurance | Flexible spending account | Health savings accountMid-level Full TimeLas Vegas, NV, United States4d ago
-
Sr. Data Scientist, tvScientific USD 139K-287KA/B | A/B Testing | AWS Athena | Adtech | Apache BeamSenior-level Full TimeSan Francisco, CA, US; Remote, US R4d ago
-
Manager, Data Scientist, Data Solutions and Modeling USD 179K-204KAI Agent | AWS | Apache Spark | Conda | Data analyticsMid-level Full TimeChicago, IL, United States4d ago
-
Senior-level Full TimeCategory Data Location Mountain View, California …4d ago
-
Principal Data Scientist USD 142K-274KA/B | A/B Testing | B testing | Big Data | Business IntelligenceSenior-level Full TimeUnited States, Washington, Redmond5d ago
-
Principal AI Scientist - AI Foundation USD 273K-369KBayesian learning | Bayesian optimization | Causal Inference | Combinatorial Optimization | Data MiningSenior-level Full TimeCategory Data Location Mountain View, California …6d ago
-
Research Scientist- Robotics AI USD 165K-185K3D Reconstruction | 3D Scene | 3D Scene Understanding | BEV grid | Behavior planning401k match | Conference participation | Disability protection | Financial planning support | Health insuranceMid-level Full TimeSunnyvale, CA, United States6d ago
-
Senior Data Scientist (Auto Loan Pricing) USD 76K-159KAWS | Data Analysis | Data Science | Data Storytelling | Data VisualizationEmployee Referral Program eligibleSenior-level Full TimeVienna, VA, United States6d ago
-
Research Engineer / Scientist - Storage for LLM USD 162K-387KBatching | C++ | CUDA | CUDA Networking | CUDA aware Networking401k match | Conference attendance | Life insurance | Long-term disability | Medical/Dental/Vision insuranceMid-level Full TimeSan Jose, California, United States R6d ago
-
Senior Research Engineer / Scientist - Storage for LLM USD 207K-368KAutoregressive decoding | Batched decoding | C++ | CUDA | CUDA aware Networking401k savings plan with company match | Conference attendance | Life insurance | Long-term disability | Medical/Dental/Vision insuranceSenior-level Full TimeSeattle, Washington, United States R6d ago
-
Data Scientist USD 78K-131KAWS | Automated reporting | Data Analysis | Data Modeling | Data PresentationMid-level Full TimeVienna, VA, United States6d ago
-
Research Engineer / Scientist - Storage for LLM USD 153K-300KBatching | C++ | CUDA | CUDA Networking | CUDA aware Networking401k matching | Life insurance | Long-term disability | Medical, dental, and vision insurance | Paid HolidaysMid-level Full TimeSeattle, Washington, United States R6d ago
-
Data Scientist (Multiple Positions) USD 174K-240KA/B | A/B Testing | B testing | Data Visualization | ExcelMid-level Full TimeSan Jose, California, United States6d ago
-
Data Scientist - Perception Verification and Validation USD 180K-278KA/B | A/B Testing | Apache Spark | B testing | Computer VisionMid-level Full TimeBoston, MA7d ago
-
Data Analysis | Data Pipelines | Exploratory Data Analysis | Forecasting | Machine Learning401k matching | Adoption reimbursement | Dental insurance | Employee assistance program | Flexible spending accountsMid-level Full TimeBellevue, Washington, USA7d ago
-
Senior Principal DSX Data Scientist, AI USD 207K-385KAutomation | Clinical data | Data Science | Data Visualization | Enterprise ArchitectureSenior-level Full TimeSouth San Francisco, United States7d ago
-
Machine Learning Scientist 6 - Ads Member Understanding USD 388K-619KData Processing | Data strategy | Deep learning | Embeddings | Identity resolution401k retirement plan | Disability programs | Family-forming benefits | Flexible spending accounts | Flexible time offSenior-level Full TimeUSA - Remote, United States R7d ago
-
Cryptologic Computer Scientist, Level 2 USD 108K-145KAlgorithms | Automation | Data Analysis | Data Structures | Jupyter NotebooksCareer development | Mentorship | Ongoing training | Work-life balanceMid-level Full TimeFort Meade, MD8d ago