Java Programming, Python Programming, C++, C Programming, SQL, Apache Hadoop, Scala Programming, Machine learning techniques, Data science techniques, PyTorch, TensorFlow, MapReduce, R Programming
The Automated Reasoning Group in AWS Platform is looking for a Senior Applied Scientist to formally verify systems code that will run on millions of servers world wide.
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. You will be part of the team that creates mathematical proofs of the systems code that underlies the infrastructure of the cloud and deliver strong security guarantees to our customers.
Key job responsibilities
As a Senior Applied Scientist in the Automated Reasoning Group you will
A day in the life
Working closely with other formal verification experts and hardware designers you will create models of the hardware that underpins our cloud instances. You will work with experienced systems software developers to define security and correctness properties of low-level software, and develop programming and design practices to enable formal reasoning about this code. With other formal verification expects in the Automated Reasoning Group you will develop the necessary infrastructure to carry out the proofs of correctness of the systems code and drive these proofs to completion.
About the team
As a member of the Automated Reasoning Group you will be joining the largest assembled team of automated reasoning experts in the world. We bring automated reasoning to bear on problems from across the many business domains in which Amazon operates. You are encouraged to interact with teams in other areas and to seek out new opportunities for automated reasoning in the company. The group is distributed across North America and Western Europe
BASIC QUALIFICATIONS
You will have a PhD in Computer Science, Mathematics, or Computer Engineering, and five years of experience in formally verifying software or hardware systems of industrial significance. You will have specific experience in the following:
PREFERRED QUALIFICATIONS
The ideal candidate have
Amazon is an equal opportunities employer. We believe passionately that employing a diverse workforce is central to our success. We make recruiting decisions based on your experience and skills. We value your passion to discover, invent, simplify and build. Protecting your privacy and the security of your data is a longstanding top priority for Amazon.
Amazon Web Services, Inc. (AWS) is a subsidiary of Amazon providing on-demand cloud computing platforms and APIs to individuals, companies, and governments, on a metered pay-as-you-go basis. These cloud computing web services provide a variety of basic abstract technical infrastructure and distributed computing building blocks and tools. One of these services is Amazon Elastic Compute Cloud (EC2).
Canberra ACT, Australia
2-4 year
Sydney NSW, Australia
2-4 year
Vancouver, BC, Canada
2-4 year
Vancouver, BC, Canada
2-4 year
Vancouver, BC, Canada
2-4 year
Vancouver, BC, Canada
2-4 year
Vancouver, BC, Canada
2-4 year
Vancouver, BC, Canada
2-4 year
Shenzhen, Guangdong Province, China
2-4 year
Shenzhen, Guangdong Province, China
2-4 year
Berlin, Germany
2-4 year
Dublin, Ireland
2-4 year
Dublin, Ireland
2-4 year
Dublin, Ireland
2-4 year
Tel Aviv, Israel
2-4 year
Tel Aviv, Israel
2-4 year
Tel Aviv, Israel
2-4 year
Tel Aviv-Yafo, Israel
2-4 year
Bangalore, Karnataka, India
2-4 year
Bangalore, Karnataka, India
2-4 year
Gurgaon, Haryana, India
2-4 year
Gda?sk, Poland
2-4 year
Bay Area, CA, USA
2-4 year
Cupertino, CA, USA
2-4 year
Arlington, VA, USA
2-4 year
Arlington, VA, USA
2-4 year
Arlington, VA, USA
2-4 year
United States
2-4 year
Arlington, VA, USA
2-4 year
Bellevue, WA, USA
4-6 year
Berlin, MD, USA
2-4 year
Bellevue, WA, USA
2-4 year
California, USA
2-4 year
Charlotte, NC, U.S.
2-4 year
Charlotte, NC, USA
2-4 year
Charlotte, NC, USA
2-4 year
Chicago, IL, USA
2-4 year
Chicago, IL, USA
2-4 year
Chicago, IL, USA
2-4 year
Denver, CO, USA
2-4 year
East Palo Alto, CA, USA
2-4 year
Herndon, VA, USA
2-4 year
Irvine, CA, USA
2-4 year
New Jersey, USA
2-4 year
Pasadena, CA, U.S.
2-4 year
Pasadena, CA, USA
2-4 year
Portland, OR, USA
2-4 year
San Francisco Bay Area, CA, USA
2-4 year
Santa Clara, CA, USA
2-4 year
Santa Clara, CA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, Washington, USA
2-4 year
Seattle, Washington, USA
2-4 year
Seattle, Washington, USA
2-4 year
Seattle, Washington, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
United States
2-4 year
United States
2-4 year
United States
2-4 year
United States
2-4 year
Virginia Beach, VA, USA
2-4 year
Washington D.C., DC, USA
2-4 year
East Palo Alto, CA, USA
2-4 year
Florida, USA
2-4 year
Santa Clara, CA, USA
2-4 year
Santa Clara, CA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
United States
2-4 year
United States
2-4 year
United States
2-4 year
United States
2-4 year
Cape Town, South Africa
2-4 year
London, UK
2-4 year
United States
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Seattle, WA, USA
2-4 year
Santa Clara, CA, USA
2-4 year
Vancouver, BC, Canada
2-4 year
Vancouver, BC, Canada
4-6 year
Dallas, TX, USA
2-4 year
London, UK
2-4 year
New York, NY, USA
2-4 year
New York, NY, USA
2-4 year
New York, NY, USA
2-4 year
New York, NY, USA
2-4 year
New York, NY, USA
2-4 year
San Francisco, CA, USA
2-4 year
San Francisco, CA, USA
2-4 year
San Francisco, CA, USA
2-4 year
Vancouver, BC, Canada
2-4 year
United States
2-4 year
Cupertino, CA, USA
2-4 year
Austin, TX, USA
4-6 year
Vancouver, BC, Canada
10-12 year
Toronto, ON, Canada
8-10 year
Arlington, VA, USA
6-8 year
Herndon, VA, USA
6-8 year
San Francisco, CA, USA
6-8 year
Santa Clara, CA, USA
6-8 year
New York, NY, USA
4-6 year
New Jersey Turnpike, Kearny, NJ, USA
4-6 year
Arlington, VA, USA; Atlanta, GA, USA; Austin, TX, USA; Ballston, NY, USA; Boston, MA, USA; Chicago, IL, USA; Cupertino, CA, USA; Dallas, TX, USA; Denver, CO, USA; Detroit, MI, USA; East Palo Alto, CA, USA; Herndon, VA, USA; Houston, TX, USA; Irvine, CA, USA; Minneapolis, MN, USA; New York, NY, USA; Pittsburgh, PA, USA; Portland, OR, USA; San Diego, CA, USA; San Francisco, CA, USA; Santa Monica, CA, USA; Seattle, WA, USA; Sunnyvale, CA, USA; Tempe, AZ, USA; Washington D.C., DC, USA
2-4 year
Arlington, VA, USA; Atlanta, GA, USA; Austin, TX, USA; Boston, MA, USA; Chicago, IL, USA; Cupertino, CA, USA; Dallas, TX, USA; Detroit, MI, USA; East Palo Alto, CA, USA; Herndon, VA, USA; Houston, TX, USA; Irvine, CA, USA; Minneapolis, MN, USA; Nashville, TN, USA; New York, NY, USA; Pittsburgh, PA, USA; Portland, OR, USA; San Diego, CA, USA; San Francisco, CA, USA; Santa Monica, CA, USA; Seattle, WA, USA; Sunnyvale, CA, USA; Tempe, AZ, USA; Washington D.C., DC, USA
2-4 year
Atlanta, GA, USA; Austin, TX, USA; Boston, MA, USA; Chicago, IL, USA; Herndon, VA, USA; Minneapolis, MN, USA; New York, NY, USA; San Diego, CA, USA; San Francisco, CA, USA; Seattle, WA, USA
4-6 year
Austin, TX, USA; Chicago, IL, USA; Dallas, TX, USA; Detroit, MI, USA; Houston, TX, USA; Minneapolis, MN, USA; Nashville, TN, USA; Phoenix, AZ, USA; Salt Lake City, UT, USA; Tempe, AZ, USA
2-4 year
Chicago, IL, USA; Los Angeles, CA, USA; Miami, FL, USA; Mountain View, CA, USA; New York, NY, USA; San Francisco, CA, USA; Seattle, WA, USA
4-6 year
Arlington, TX, USA; Atlanta, GA, USA; Austin, TX, USA; Boston, MA, USA; Chicago, IL, USA; Dallas, TX, USA; Nashville, TN, USA; New York, NY, USA; Phoenix, AZ, USA; San Francisco, CA, USA; Seattle, WA, USA
2-4 year
Chicago, IL, USA; Mono Hot Springs, CA, USA; New York, NY, USA; San Francisco, CA, USA; Santa Clara, CA, USA; Seattle, WA, USA
4-6 year
Arlington, VA, USA; New York, NY, USA; San Francisco, CA, USA; Santa Clara, CA, USA; Seattle, WA, USA; Washington D. C., DC, USA
4-6 year
Arlington, VA, USA; New York, NY, USA; San Francisco, CA, USA; Santa Clara, CA, USA; Seattle, WA, USA; Washington D.,C., DC, USA
4-6 year
Arlington, VA, USA; Dallas, TX, USA; Herndon, VA, USA; Houston, TX, USA; Seattle, WA, USA
6-8 year
Arlington, VA, USA; Atlanta, GA, USA; Austin, TX, USA; Houston, TX, USA; Seattle, WA, USA
2-4 year
Bellevue, WA, USA
2-4 year
Bellevue, WA, USA; East Palo Alto, CA, USA; Pasadena, CA, USA; Santa Clara, CA, USA; Seattle, WA, USA
2-4 year
Austin, TX, USA; Irvine, CA, USA; Nashville, TN, USA; New York, NY, USA; Seattle, WA, USA
6-8 year
Chicago, IL, USA; New York, NY, USA; San Francisco, CA, USA; Santa Clara, CA, USA; Seattle, WA, USA
4-6 year
Arlington, VA, USA; Atlanta, GA, USA; Boston, MA, USA; Dallas, TX, USA
2-4 year
Austin, TX, USA; Irvine, CA, USA; Los Angeles, CA, USA; San Francisco, CA, USA; Seattle, WA, USA
4-6 year
Boston, MA, USA; New York, NY, USA; Quincy, MA, USA; Washington D.C., DC, USA
2-4 year
Boston, MA, USA; New York, NY, USA; Quincy, MA, USA; Washington D.C., DC, USA
6-8 year
New York, NY, USA; San Francisco, CA, USA; Santa Clara, CA, USA; Washington D. C., DC, USA
6-8 year
Chicago, IL, USA; New York, NY, USA; Santa Clara, CA, USA; Seattle, WA, USA
4-6 year
Arlington, VA, USA; Boston, MA, USA; Jersey City, NJ, USA; Seattle, WA, USA
2-4 year
Boston, MA, USA; New York, NY, USA; Washington D.C., DC, USA
4-6 year
Bengaluru, Karnataka, India; Mumbai, Maharashtra, India
6-8 year