Principal Applied Scientist, Cloud Management

Amazon Web Services

Arlington, VA 22212

Posted 1 month ago

Job Description

Description


Job summary


The Automated Reasoning Group in AWS Cloud Management is looking for a Principal Applied Scientist with experience in building scalable formal verification solutions that delight customers. You will be part of a world-class team developing the next generation of tools and services to produce proofs AWS systems. You will apply your knowledge to propose solutions, create software prototypes, and transform prototypes into production systems using software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever-growing demands of customer use. You will have demonstrated leadership in the analysis of complex systems using automated reasoning though positions in industry or academia, have strong verbal and written communication skills, be self-driven, and have experience delivering high quality results in a fast-paced environment.


Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They 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. We call this provable security, absolute assurance in security of the cloud and in the cloud. https://aws.amazon.com/security/provable-security/


As a Principal Applied Scientist, you will play a pivotal role in shaping the definition and vision for applied science across teams within AWS. We have a diverse portfolio of projects that target protocol, code, and hardware verification, and leadership opportunities exist for:


* Scaling code-level automated reasoning and code synthesis and automate proofs of foundational AWS code,


* Building new engines and extending foundational proof engines such as SAT and SMT solvers to take advantage of the cloud,


* Improving integration and user experience of automated reasoning tools to support adoption and use of automated reasoning techniques.


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.


Inclusive Team Culture


Here at AWS, we embrace our differences. We are committed to furthering our culture of inclusion. We have ten employee-led affinity groups, reaching 40,000 employees in over 190 chapters globally. We have innovative benefit offerings, and host annual and ongoing learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences.


Work/Life Balance


Our team puts a high value on work-life balance. It isn’t about how many hours you spend at home or at work; it’s about the flow you establish that brings energy to both parts of your life. We believe striking the right balance between your personal and professional life is critical to life-long happiness and fulfillment. We offer flexibility in working hours and encourage you to find your own balance between your work and personal lives.


Mentorship & Career Growth


Our team is dedicated to supporting new members. We have a broad mix of experience levels and tenures, and we’re building an environment that celebrates knowledge sharing and mentorship. Our senior members enjoy one-on-one mentoring and thorough, but kind, code reviews. We care about your career growth and strive to assign projects based on what will help each team member develop into a better-rounded engineer and enable them to take on more complex tasks in the future.


Key job responsibilities


· MS or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field


· At least 10 years of industrial/academic experience in formal verification, program analysis, constraint-solving, and theorem proving


· At least 10 years of experience with SMT/SAT solvers


· At least 10 years of experience with programming languages such as C/C++, Dafny, Java, Go, Rust, Scala, Python


· At least 10 years of experience in design and analysis of algorithms and data structures


About the team


AWS has the most services and more features within those services, than any other cloud provider–from infrastructure technologies like compute, storage, and databases–to emerging technologies, such as machine learning and artificial intelligence, data lakes and analytics, and Internet of Things. AWS Systems Manager is the operations hub for the AWS cloud. Many customers from startups to enterprises are running their entire infrastructure or parts of it in AWS. Operating this infrastructure in the cloud in a reliable way is absolutely important to our customers and we are a core part of that story. Many IT administrators and DevOps engineers rely on Systems Manager to operate their infrastructure safely and securely at scale. Systems Manager provides a unified operational dashboard to view operational data from multipleR ARWS services, manage large fleet of instances, manage their distributed applications as a single unit and automate their


operational tasks/runbooks and define safe operational workflows.


You will be working with a team of formal verification specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of verified code and tools to accelerate code verification for our customer teams. Our vision is to provide solutions that are proven correct without compromising performance.


BASIC QUALIFICATIONS


· MS or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field


· At least 10 years of industrial/academic experience in formal verification, program analysis, constraint-solving, and theorem proving


· At least 10 years of experience with SMT/SAT solvers


· At least 10 years of experience with programming languages such as C/C++, Java, Go, Rust, Scala


· At least 10 years of experience in design and analysis of algorithms and data structures


PREFERRED QUALIFICATIONS


· Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field


· 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 formal verification or synthesis of complex hardware or software systems


· At least 8 years of professional software engineering practices for the full software development life cycle, including coding standards, code reviews, source control management, build processes, testing, and operations


· Experience developing/modifying compilers


· Meets/exceeds Amazon’s leadership principles requirements for this role


· Meets/exceeds Amazon’s functional/technical depth and complexity for this role


Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, or other legally protected status. For individuals with disabilities who would like to request an accommodation, please visit https://www.amazon.jobs/en/disability/us.



Related Jobs

    Browse Jobs | Terms & Conditions | Privacy Policy | Unsubscribe
    POWERED BY    

    POWERED BY