AWS Utility Computing (UC) provides product innovations from foundational services such as our Simple Storage Service (S3) and our Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWSs services and features apart in the industry. As a member of the UC organization, youll support the development and management of Compute, Database, Storage, Internet of Things (Iot), Platform, and Productivity Apps services in AWS. Within AWS UC, our Dedicated Cloud (ADC) roles engage with AWS customers who require specialized security solutions for their cloud services.
We are a division at our Web Services (AWS), develops innovative hardware and software for AWS cutting-edge cloud infrastructure.
Working for our Labs is thrilling, fast-paced, and a constant learning experience.
We are is looking for a leader to join the Formal Verification team. This team takes a central part of the verification effort, and vision. Goals are shared with other verification teams.
Requirements:
BASIC QUALIFICATIONS:
– Bachelors degree in Computer Science, Electrical Engineering, or a related field.
– Please include a grade sheet/academic transcript along with your CV in a single PDF when submitting your application.
– Available for 2-3 work days per week.
BASIC QUALIFICATIONS:
– Bachelors degree in Computer Science, Electrical Engineering, or a related field.
– Please include a grade sheet/academic transcript along with your CV in a single PDF when submitting your application.
– Available for 2-3 work days per week.
PREFERRED QUALIFICATIONS:
– Fluent English.
– Team player, highly motivated and willing to work in dynamic environment.
– Knowledge in digital logic systems, computer networks and computer architecture.
This position is open to all candidates.
