Vacancy expired!
DESCRIPTION
Job summary
AWS Billing team enables AWS Services and partners to monetize their offerings globally, and AWS customers to commercially engage with AWS and get clear and timely data about their activities and costs in the cloud. This way AWS Billing is the one team that empowers not only every AWS service team but all AWS customers enabling them to move to and grow in the cloud with confidence, by building and operating a portfolio of highly scalable services that process quadrillions of transaction a month to generate millions of invoices worth billions of US dollars. As AWS continues to rapidly evolve, the AWS Billing services needs to keep up with the total aggregate growth of the cloud market, customer needs, and AWS, and must do so while confidently serving and building important new value for our customers.
Each day, hundreds of thousands of developers harness the power of the cloud to enable innovative applications, websites, and businesses. Using automated reasoning technology and mathematical proofs, AWS allows customers to answer questions about security, availability, durability, and functional correctness.
You will apply your knowledge to analyze the customer need patterns, monetization strategies, regulatory constraints, and will propose solutions, create software prototypes, and productize prototypes into production systems in the space of formalizing and optimizing how AWS prices cloud services and brings commercial value to AWS customers at scale.
As a Principal Applied Scientist and our AWS pricing formalization domain lead, you will drive shaping the definition and vision for applied science across teams within AWS. You have demonstrated leadership in automated reasoning positions in industry or academia, strong verbal and written communication skills, are self-driven and deliver high quality results in a fast-paced environment.
You will work in an agile, startup-like development environment, where you are always working on the most important things, and you will design, implement, test, deploy and maintain innovative software solutions to transform service performance, durability, cost, and security.
Basic qualifications
• Ph.D. degree in Computer Science, Mathematics, or related technical field
• 15+ years of industrial/academic experience in formal verification, program analysis, constraint-solving, and theorem proving
• 15+ years of experience with SMT/SAT solvers
• 15+ years of experience in design and analysis of algorithms and data structures
Preferred qualifications
• Demonstrated track record of project delivery for large, cross-functional projects with evolving requirements
• Excellent written and verbal technical communication with an ability to present complex technical information in a clear and concise manner to a variety of audiences
• Exceptional customer relationship skills including the ability to discover the true requirements underlying feature requests, recommend alternative technical and business approaches, and lead engineering efforts to meet aggressive timelines with optimal solutions
• At least 2 years of experience on Invariant Synthesis, Proof Repair, or Syntax-guided synthesis.
• Meets/exceeds Amazon's leadership principles requirements for this role
• Meets/exceeds Amazon's functional/technical depth and complexity for this role
BASIC QUALIFICATIONS
Basic Qualifications