Formal Verification Engineer

Detalles de la oferta

AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon's Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS's services and features apart in the industry.
As a member of the UC organization, you'll support the development and management of Compute, Database, Storage, Internet of Things (IoT), Platform, and Productivity Apps services in AWS.
Within AWS UC, Amazon Dedicated Cloud (ADC) roles engage with AWS customers who require specialized security solutions for their cloud services.

Annapurna Labs, a division at Amazon Web Services (AWS), develops innovative hardware and software for AWS cutting-edge cloud infrastructure.
Working for Annapurna Labs is thrilling, fast-paced, and a constant learning experience.
Annapurna Labs 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.

BASIC QUALIFICATIONSBachelor's 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.Knowledge in digital logic systems, computer networks, and computer architecture.PREFERRED QUALIFICATIONSTeam player, highly motivated, and willing to work in a dynamic environment.Our inclusive culture empowers Amazonians to deliver the best results for our customers.
If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit here for more information.
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.

#J-18808-Ljbffr


Salario Nominal: A convenir

Fuente: Jobleads

Requisitos

(Quedan 3 Días) Ingeniero/A De Software, Hibrido - Px-347

Ingeniero/a de software Si eres de los que sueña con salvar el mundo pero el traje de licra no termina de convencerte... ¡Tu sitio está con nosotros! Estamos...


GMV - Madrid

Publicado 7 days ago

Ingeniero/A Hvac (H/M/X) 1609 | Sma983

En Vèringer Engineering, nos comprometemos con proyectos de innovación, el desarrollo de trayectorias profesionales individuales y la creación de un futuro m...


Ares Consultores - Madrid

Publicado 7 days ago

Ingeniero/A De Software De Sensores - Vyh-308

¿Te apasiona el desarrollo de software embebido y sueñas con contribuir al futuro de la energía renovable? Desde Akkodis, un partner global en tecnología e i...


Ares Consultores - Madrid

Publicado 7 days ago

(Ug689) Ingeniero/A Estudios Geológicos/Geotécnicos

Como parte esencial de nuestro equipo de San Fernando de Henares buscamos un/a Ingeniero/a de Estudios de Geológicos y Geotécnicos para la estabilización de ...


Ares Consultores - Madrid

Publicado 7 days ago

Built at: 2025-01-16T08:58:04.125Z