Lambda jobs

Software Development Engineer, ML Infrastructure Team Seattle, Washington, USA Want to help drive the success of Machine Learning technologies at AWS? We seek a Software Development Engineer II for the ML Infrastructure team to build the platforms that guarantee top performance of AWS ML and HPC technologies. Our performance data directly influences launch decisions for new EC2 instance types and has visibility at senior leadership. Join us as we expand the AWS offerings for AI, including Trainium, Neuron and the Elastic Fabric Adapter (EFA). You'll build CI/CD systems, orchestrate GPU clusters, create performance dashboards, and develop AI-powered automation - all to ensure latest ML networking software ships with confidence. Key job responsibilities Build and maintain infrastructure that monitors and reports on functionality and performance of massive testing workloads run at scale across multiple GPU instance types. Use Jenkins, internal Amazon CI/CD tools, Linux, and public AWS products to automate testing and delivery of ML networking libraries - including collective communication frameworks, network transport layers, and GPU communication libraries. Write Python code that orchestrates large clusters, runs benchmarks and ML applications across a matrix of instance types, operating systems, and software stack versions. Use AWS Managed Grafana and Athena to digest performance data and build dashboards that catch functional and performance regressions before they reach customers. Build automation using LLMs to analyze test failures and surface actionable insights to developers. Contribute to cross-team readiness for new instance type launches by delivering performance data that shapes go/no-go decisions. Manage the complexity of

Software Dev Engineer II (SDE2), Amazon Connect Santa Clara, California, USA As part of the AWS Solutions organization, we have a vision to provide business applications, leveraging Amazon's unique experience and expertise, that are used by millions of companies worldwide to manage day-to-day operations. We will accomplish this by accelerating our customers' businesses through delivery of intuitive and differentiated technology solutions that solve enduring business challenges. We blend vision with curiosity and Amazon's real-world experience to build opinionated, turnkey solutions. Where customers prefer to buy over build, we become their trusted partner with solutions that are no-brainers to buy and easy to use. Are you inspired to work with a team than launches products with direct and massive impact on Amazon's customers? Are you excited to join one of the newest and most exciting AWS services? Amazon Connect is a highly disruptive cloud-based contact center that enables businesses to deliver engaging, dynamic, and personal customer service experiences. Amazon Connect is the result of the ten years of development that went into building the tools Amazon uses to provide its award winning customer service at massive scale and launching it as a publicly available AWS service. With Amazon Connect, you can create your own cloud-based contact center and be taking calls in minutes. Amazon Connect leverages the power of Artificial Intelligence and the large ecosystem of AWS services such as Amazon Lex, Amazon Polly, AWS Lambda, Amazon S3 and Amazon Kinesis to provide a truly frustration free, easy-to-use, extensible, and natural

Applied Scientist, LLM Code Agents, Kiro Science Santa Clara, California, USA Amazon Web Services (AWS) is assembling an elite team of world-class scientists and engineers to pioneer the next generation of AI-driven development tools. Join the Amazon Kiro LLM-Training team and help create groundbreaking generative AI technologies including Kiro IDE and Amazon Q Developer that are transforming the software development landscape. Key job responsibilities As a key member of our team, you'll be at the forefront of innovation, where cutting-edge research meets real-world application: - Push the boundaries of reinforcement learning and post-training methodologies for large language models specialized in code intelligence - Invent and implement state-of-the-art machine learning solutions that operate at unprecedented Amazon scale - Deploy revolutionary products that directly impact the daily workflows of millions of developers worldwide - Break new ground in AI and machine learning, challenging what's possible in intelligent code assistance - Publish and present your pioneering work at premier ML and NLP conferences (NeurIPS, ICML, ICLR , ACL, EMNLP) - Accelerate innovation by working directly with customers to rapidly transition research breakthroughs into production systems About the team The AWS Developer Agents and Experiences (DAE) team is reimagining the builder experience through generative AI and foundation models. We're leveraging the latest advances in AI to transform how engineers work from IDE environments to web-based tools and services, empowering developers to tackle projects of any scale with unprecedented efficiency. Broadly, AWS Utility Computing (UC) provides product innovations - from foundational services such as Amazon's

Technical Account Manager, ES - EMEA - ISV London, England, GBR Would you like join one of the fastest-growing organizations within Amazon Web Services (AWS) and help customers of all industries and sizes gain the best value and service from AWS? At AWS Enterprise Support we're looking for a Senior Technical Account Manager (TAM) to support our customers' creative and transformative spirit of innovation across all technologies, including Compute, Storage, Database, Data Analytics, Application-level services, Networking, Serverless and more. This is not a sales role, but rather an opportunity to be the principal technical advisor and 'voice of the customer' to organizations ranging from start-ups to Fortune 500 enterprises. As a Senior TAM, you will help craft and execute strategies to drive customer adoption and use of AWS services, including EC2, S3, DynamoDB & RDS databases, Lambda, Cloud Front CDN, IoT and many more. Your technical acumen and customer-facing skills will enable you to effectively represent AWS within a customer's environment, and drive discussions with senior leadership regarding incidents, trade-offs and risk management. You will provide advocacy and strategic technical direction to help plan and build solutions using standard methodologies, and enthusiastically keep your customers' AWS environments operationally healthy. The close relationships developed with your customers will empower you to understand their business/operational needs and technical challenges, and help them achieve the greatest value from AWS. We are seeking individuals with strong backgrounds in I.T. operations and related areas such as Linux/Windows systems administration, DevOps, Data Analytics and more. The

Senior Data Scientist , Alexa AI Aurora Bellevue, Washington, USA The Alexa AI AURORA organization is seeking a passionate, talented, and resourceful Senior Data Scientist to define and solve complex, ambiguous problems in state-of-the-art conversational AI. You will lead large-scale data science initiatives across the fields of Large Language Models (LLMs), Natural Language Processing (NLP), and Artificial Intelligence (AI), selecting the ideal methodologies from a wide range of data science disciplines to drive measurable business impact for millions of Alexa customers. In this role, you will autonomously define problem spaces and solution approaches, working closely with business, science, and engineering teams to build consensus and influence strategy. You will advise senior leadership on data-driven decisions, identify blind spots in existing metrics, and propose new measurements that shape our product direction. You will actively mentor and develop other data scientists while setting standards for scientific rigor and operational excellence within the team. The ideal candidate has broad expertise across multiple data science disciplines and a deep understanding of how software systems, data pipelines, and business processes interact. They take the lead on complex projects with minimal guidance, make sound trade-offs between short-term customer needs and long-term technical investments, and deliver solutions that are scalable, reproducible, and actionable. A proven track record of launching data science solutions that drive significant business outcomes is essential. Strong communication skills, the ability to document and present technical findings to both technical and non-technical audiences, and a commitment to collaborative teamwork are absolute requirements. Join us

Neuron Runtime Software Development Engineer , Neuron Runtime Seattle, Washington, USA AWS Neuron is the complete software stack for the AWS Inferentia and Trainium cloud-scale machine learning accelerators and the servers that use them. As the Software Development Engineer for the Neuron Runtime Team, you will be responsible for working alongside a team of engineers to develop and maintain high-performance runtime libraries and drivers for machine learning applications and AI accelerators. You will work on design, development, and deployment of Neuron Runtime and other Neuron components. The profiler plays a crucial role to internal and external customers in optimizing AI workloads across hardware platforms such as Trainium and Inferentia devices, by providing deep insights into performance bottlenecks and system behavior. Improving performance of ML Kernels and ML Frameworks. In this role, you will manage the full development life cycle of the Neuron Runtime, ensuring scalability, reliability, and usability. You will collaborate with cross-functional teams to ensure that the our C++ compiler generates key information so customers can understand and optimize the performance of our custom hardware. Additionally, you will drive innovations that allow the profiler to support multiple frameworks, such as PyTorch, JAX, and XLA. A successful candidate will have experience in architecting, building, and operating distributed systems with a focus on high availability and fault tolerance, Hands-on experience with AWS services (e.g., EC2, ECS, CloudWatch, S3, Lambda) in production environments and track record in Owning services end-to-end including deployment, monitoring, alarming, on-call, and post-incident review. A day in the

Software Development Engineer, Ring Neighbors Hawthorne, California, USA Ring Neighbors is looking to add a Software Development Engineer to our rapidly growing development team. Ring Neighbors (https://ring.com/neighbors), launched in 2018, is a hyperlocal social networking app providing real-time crime and safety alerts from neighbors and public safety agencies. With Neighbors, you can always know when and where things are happening in your area, and share updates to keep you and your community informed. The Neighbors app is available on iOS (4.8 stars), Android (4.6 stars), recently launched on Web, and is also included as an embedded experience within the Ring app. Neighbors is used by millions of people each month. Key job responsibilities As a Software Development Engineer, you will play a pivotal role in shaping the definition, vision, design, roadmap and development of core services at Ring. This role involves design, architecture, implementation, and operation of the large-scale cloud systems that make our neighborhood safer. You will be given the opportunity to autonomously deliver the technical direction of these services, and the feature roadmap. You will work with extraordinary talent and have the opportunity to hire and shape the team to best execute on the product. The ideal candidate: - Has a strong foundation in software development, design patterns, and cloud computing. - Has experience working with large-scale cloud systems, understanding how to architect and build them - Is highly effective and thrives in a dynamic environment with multiple, changing priorities - Knows what is important when shipping products

System Product Q&R Engineer Haifa, Haifa, ISR 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. Key job responsibilities Development of DFQR and DFT methodologies and BKMs. DFQR and DFT activities during the product design stage. Product quality & reliability validation (QRV) and ongoing quality & reliability monitoring (OQRM). Q&R engineering of volume manufacturing: yield monitoring, SPC; DOE, analysis, risk assessment and disposition of non-conformance events/non-conforming material. RMAs: failure analysis, disposition, reporting and follow-up (CAP and implementation). About the team Diverse Experiences AWS values diverse experiences. Even if you do not meet all of the qualifications and skills listed in the job description, we encourage candidates to apply. If your career is just starting, hasn't followed a traditional path, or includes alternative experiences, don't let it stop you from applying. Why AWS? Amazon Web Services (AWS) is the world's most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating - that's why customers from the most successful startups to Global 500 companies trust

Software Development Engineer, Elastic Load Balancing (ELB) Seattle, Washington, USA Do you want to help lead the cloud revolution and build software that thrives at immense scale? AWS Elastic Load Balancing enables customers to build large scale highly available services. ELB automatically distributes incoming application traffic across multiple targets, such as Amazon EC2 instances, containers, IP addresses, and Lambda functions. ELB provides the entry point for building hyper scale, fault tolerant applications. While ELB has seen tremendous growth since launch we are still in the early stages of realizing our full potential. Why you should join the Amazon ELB team? We are building and launching new services and features on a regular basis. Application load balancer(ALB), Network load balancer(NLB), Gateway Load Balancer (GWLB) and Privatelink are a few examples. We ship software frequently, get fast feedback from real customers around the globe and see the results of our work come to fruition. The Amazon ELB service is deployed globally to over 30 regions today and is growing at an extremely rapid rate. There are real-world problems to solve that you won't find ready-made answers for. For example, how do you ensure customers can scale their application quickly to handle traffic spikes and then back down in a matter of minutes? How do you design a load balancing solution that allows customers to quickly and easily achieve the highest levels of fault tolerance using Amazon EC2? We are now designing and building the next generation of ELB services capable of handling

Lead Java Cloud Developer Karlsruhe, Germany posted: Posted 30+ Days Ago

Sr Applied Scientist, Generative AI/ML Seattle posted: Posted 24 Days Ago

Snr Partner Insights Manager, Global Fleet and Products London, England, GBR Global Fleet and Products (GFP) are seeking a Senior Partner Insights Manager to develop actionable, data-driven insights that help deliver meaningful improvement to Delivery Service Partners (DSPs) experience of operating fleet on the Amazon contract. In this role you will develop and lead new data led solutions (dashboards, metrics, analytics) that supports insight, critical decision making and process improvement across the GFP organisation. To be successful in this role, you'll need to be a diligent time/project manager, strong communicator, and problem solver. You'll work on large, complex initiatives with a high degree of ambiguity, and you'll also advocate on behalf of our DSPs. The successful candidates will use data and analytic engineering to drive changes across multiple organizations. Key job responsibilities - Developing and maintaining performance dashboards with key metrics for review with senior leadership and business teams; synthesizing large quantities of data to help create new, step-change initiatives for the organization. - Onboarding data from our WW data warehouse to build automated data pipelines utilizing eg Python in Lambda or Sagemaker to invoke API calls. - Using statistical techniques and tools for strategic deep dives; generating actionable insights and effectively communicating recommendations to senior leadership. - Inventing new ways to analyze data to identify the trends and gaps in the experience and services we provide to our delivery service partners. - Partnering with other data engineers and analysts to build and automate central tools that will improve and

Senior Applied Scientist, LLM Code Agents, Kiro Science Santa Clara, California, USA Amazon Web Services (AWS) is assembling an elite team of world-class scientists and engineers to pioneer the next generation of AI-driven development tools. Join the Amazon Kiro LLM-Training team and help create groundbreaking generative AI technologies including Kiro IDE and Amazon Q Developer that are transforming the software development landscape. Key job responsibilities As a key member of our team, you'll be at the forefront of innovation, where cutting-edge research meets real-world application: - Push the boundaries of reinforcement learning and post-training methodologies for large language models specialized in code intelligence - Invent and implement state-of-the-art machine learning solutions that operate at unprecedented Amazon scale - Deploy revolutionary products that directly impact the daily workflows of millions of developers worldwide - Break new ground in AI and machine learning, challenging what's possible in intelligent code assistance - Publish and present your pioneering work at premier ML and NLP conferences (NeurIPS, ICML, ICLR , ACL, EMNLP) - Accelerate innovation by working directly with customers to rapidly transition research breakthroughs into production systems About the team The AWS Developer Agents and Experiences (DAE) team is reimagining the builder experience through generative AI and foundation models. We're leveraging the latest advances in AI to transform how engineers work from IDE environments to web-based tools and services, empowering developers to tackle projects of any scale with unprecedented efficiency. Broadly, AWS Utility Computing (UC) provides product innovations - from foundational services such as

Systems Development Manager, Managed Operations Berlin, Berlin, DEU AWS is set to introduce the inaugural European Sovereign Cloud (ESC), marking a significant development in utility computing (UC). To spearhead this initiative, we are actively seeking experienced development engineering leaders with a strong background in both development management and operations expertise. As part of the AWS Managed Operations team, you will play a pivotal role in building and leading operations and development teams dedicated to delivering high-availability AWS services, including EC2, S3, Dynamo, Lambda, and Bedrock, exclusively for EU customers. For more information on ESC please check out our blog: https://aws.amazon.com/blogs/aws/in-the-works-aws-european-sovereign-cloud/ Your responsibilities will encompass overseeing the launch of the ESC in 2025, working closely with AWS global teams and influencing the evolution of AWS services and technology. A typical day in this role involves collaborating with technology leaders, contributing to the enhancement of day-to-day operations, and ensuring improvements in availability, reliability, latency, performance, and efficiency of the ESC. As a leader, you will manage teams in both systems operations and development, emphasizing automation and engineering efficiency. The overarching goal is to deliver scalable services and ensure a high-availability experience for EU customers. If you are an experienced professional ready for a challenging and impactful opportunity, we invite you to join our efforts in building a best-in-class development engineering and operations team that aligns with AWS' commitment to customer satisfaction and continual innovation. European Sovereign Cloud (ESC) is a part of AWS Utility Computing (UC). AWS Utility Computing (UC) provides product

Principal/Senior Data Scientist - Cloud Team AI&ML (Cortex) Office - Israel - Tel Aviv posted: Posted 30+ Days Ago

ITS Systems Engineer, Corporate Infrastructure Services, IT Bengaluru, Karnataka, IND Corporate Infrastructure Services (CIS) builds and operates the systems that power Amazon's corporate offices globally - the networks, compute platforms, audio-visual systems, and operational tooling that every Amazonian depends on. Our Systems Engineering function owns the operational standards, fleet governance, observability, and engineering practices that keep this infrastructure reliable, secure, and cost-effective across a worldwide footprint. We are looking for a Systems Engineer with a focus on fleet management and operational excellence. You will own the operational health, compliance, and lifecycle management of infrastructure fleets - ensuring that our infrastructure device estates are accurately inventoried, properly governed, and operating within defined standards. You will be the person who knows what we have, where it is, what state it's in, and what needs attention. This role combines hands-on systems engineering with fleet-level operational thinking. You will troubleshoot difficult systems problems across hardware, software, networking, and cloud platforms. You will build automation that scales fleet operations - replacing manual processes with repeatable, reliable mechanisms. You will create and maintain the SOPs, runbooks, and documentation that enable consistent operations across a global footprint. You will identify patterns that affect fleet health, performance, and compliance, and drive improvements that deliver measurable results. You will work autonomously, taking ownership of problems even when they cross domain boundaries. You will be proficient across multiple technology areas - operating systems, networking, compute hardware, cloud platforms, and monitoring tools. You will use AWS services (EC2, Lambda, Systems Manager,

Software Engineering Manager, AWS CloudFormation Seattle, Washington, USA AWS Infrastructure as Code helps customers to easily and efficiently adopt AWS services while ensuring that their applications run safely in the cloud. We develop services, including CloudFormation and Cloud Control API, that empower customers to spin up infrastructure across AWS at unprecedented scale. The CloudFormation Core organization develops and maintains the Control Plane and Asynchronous Workflow Engine that powers provisioning operations at scale. We design and deliver features that support large-scale traffic volume and deliver experiences that help customers deploy infrastructure safely. This role will lead the CloudFormation Stack Sets space, with the goal of driving the next level customer experience for infrastructure provisioning operations and scaling the service to meet an ever growing volume of operations. Basic Qualifications: - 3+ years of engineering team management experience - 7+ years of working directly within engineering teams experience - 3+ years of designing or architecting (design patterns, reliability and scaling) of new and existing systems experience - 8+ years of leading the definition and development of multi tier web services experience - Knowledge of engineering practices and patterns for the full software/hardware/networks development life cycle, including coding standards, code reviews, source control management, build processes, testing, certification, and livesite operations - Experience partnering with product or program management teams Preferred Qualifications: - Experience in communicating with users, other technical teams, and senior leadership to collect requirements, describe software product features, technical designs, and product strategy - Experience in recruiting, hiring, mentoring/coaching and

Principal Product Manager, Tech, Amazon Connect Seattle, Washington, USA As part of the AWS Applied AI Solutions organization, we have a vision to provide business applications, leveraging Amazon's unique experience and expertise, that are used by millions of companies worldwide to manage day-to-day operations. We will accomplish this by accelerating our customers' businesses through delivery of intuitive and differentiated technology solutions that solve enduring business challenges. We blend vision with curiosity and Amazon's real-world experience to build opinionated, turnkey solutions. Where customers prefer to buy over build, we become their trusted partner with solutions that are no-brainers to buy and easy to use. Amazon Connect is an innovative cloud-based contact center that enables businesses to deliver engaging, dynamic, and personal customer service experiences. With Amazon Connect, you can create your own cloud-based contact center and be taking calls in minutes. Amazon Connect leverages the power of Artificial Intelligence and AWS services such as Amazon Lex, Amazon Polly, AWS Lambda, Amazon S3 and Amazon Kinesis to provide a truly frustration free, easy-to-use, extensible, and natural customer experience. With this technology, we are transforming an industry and the way customers interact with businesses and how agents service them. We have a rapidly growing customer base and an exciting charter in front of us that includes solving highly complex engineering and algorithmic problems while designing beautiful, simple user experiences. We are looking for a passionate, talented, and experienced Product Manager to join Amazon Connect's Interactive AI team, responsible for the capabilities that help

Applied Scientist, Alexa Smart Properties Seattle, Washington, USA Are you looking for an opportunity to build an LLM-based enterprise-grade, highly available, large scale solution? Does it excite you to find patterns and build generic, composable solutions to solve complex problems? Are you looking for inventing newer and simpler ways of building solutions? If so, we are looking for you to fill a challenging position in Alexa Enterprise (AE) team. AE brings the power of Alexa voice assistant to enterprise partners in industries such as hospitality and senior living. We are inventing Large Language Models (LLM)-driven interactions to create memorable moments for users while simultaneously boosting partner revenues and reinforcing brand identity. Beyond managed properties, AE extends Alexa's reach to premium third-party electronic devices. AE team is looking for a highly skilled and inventive Applied Scientist, with a strong machine learning background, to lead the development and implementation of state-of-the-art ML systems for Alexa Enterprise use cases. As an Applied Scientist in the team, you will play a critical role in driving the development of conversational assistants, in particular those based on Large Language Models (LLM's), that meet enterprise standards. You will handle Amazon-scale use cases with significant impact on our customers' experiences. Key job responsibilities . You will analyze, understand and improve user experiences by leveraging Amazon's heterogeneous data sources and large-scale computing resources to accelerate advances in artificial intelligence. . You will work on core LLM technologies, including developing best-in-class modeling, prompt optimization algorithms to enable Conversation AI use

Software Development Engineer, Device OS Bengaluru, Karnataka, IND This Job is for a most challenging, complex, high volume and large scale project having all possible AWS services+Integrations involved, CI/CD pipeline creation and management, CDK development, Cloud application development, deployment across number of AWS regions, Tools development for monitoring and operational excellence. Key job responsibilities The Engineer in this job is expected to make the design (High level and Low level) decisions, own end to end (depth) for specific set of features while having breadth on rest of the features and provide technical guidance for the Junior members in the team. A day in the life The following are the day to day activities: 1. Feature development 2. Peer Code and design review 3. Interact with internal and external stakeholders (Dev and QA) on clarifying the requirements, resolving the dependencies etc. 4. Oncall rotation About the team Team is working on a most business critical, high visibility, large scale & high device volume project involving embedded development (Device side), Cloud development (AWS services, API, CDK, Pipelines, Container management) etc. Basic Qualifications: - 8+ years of non-internship professional software development experience - 7+ years of programming with at least one software programming language experience - 7+ years of leading design or architecture (design patterns, reliability and scaling) of new and existing systems experience - Experience as a mentor, tech lead or leading an engineering team - In depth knowledge and working experience AWS services (EC2, RDS, S3, IAM, EBS, Lambda, CloudWatch, CloudFront,

Software Engineer II, Cloud Engineering Sterling, Virginia, United States Join Axon and be a Force for Good. At Axon, we're on a mission to Protect Life. We're explorers, pursuing society's most critical safety and justice issues with our ecosystem of devices and cloud software. Like our products, we work better together. We connect with candor and care, seeking out diverse perspectives from our customers, communities and each other. Life at Axon is fast-paced, challenging and meaningful. Here, you'll take ownership and drive real change. Constantly grow as you work hard for a mission that matters at a company where you matter. Your Impact We're seeking a Cloud Infrastructure Engineer to design, build, and maintain the AWS-based backbone of our drone detection and analytics platform. You'll enable our analysts and agents to deliver actionable insights at scale, ensuring our data pipelines, alerting systems, and compute environments are secure, reliable, and efficient. You'll work closely with the Decisions and Insights team to operationalize data workflows and automate alerting, applying best practices in DevOps and cloud-native architecture. This is a hands-on engineering role focused on systems that directly support Dedrone's global airspace security mission. What You'll Do - Design, deploy, and manage AWS infrastructure (S3, EC2, Lambda, Fargate, SNS, CloudWatch, IAM, Code Pipelines etc). - Build and maintain data ingestion and processing pipelines, ensuring reliability and scalability. - Set up and monitor notification and alerting systems for data processing and model operations. - Manage Dockerized workloads across Fargate and EC2 for compute-heavy analytics

Director, Cloud Engineering Greece-Thessaloniki Chortiatis posted: Posted 18 Days Ago

Formal Verification Engineer, Annapurna Labs Cupertino, California, USA Amazon Web Services provides a highly reliable, scalable, low-cost infrastructure platform in the cloud that powers hundreds of thousands of businesses in 190 countries around the world. We have data center locations in the U.S., Europe, Singapore, and Japan, and customers across all industries. We are seeking experienced Hardware Design Engineers to work with partners and vendor and build the next generation of our cloud server infrastructure. Our success depends on our world-class server infrastructure; we're handling massive scale and rapid integration of emergent technologies. As a member of the Cloud-Scale Machine Learning Acceleration team you'll be responsible for the design and optimization of hardware in our data centers including technologies such as AWS Inferentia which is a machine learning inference product designed to deliver high performance at low cost. Responsibilities: - Develop formal verification plans, implement and verify state-of-the-art IP architectures. - Work with block designers to gain deep micro-architectural understanding. - Develop checking algorithms, assertions, and FV models. - Perform state of the art formal methods and abstraction techniques. - Participate in test plan and coverage reviews. - Promote assertions to simulation and contribute to overall simulation strategy. - Communicate and work with team members across multiple disciplines. About the team 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

Kernel / Hypervisor Engineer, Firecracker Dublin, IRL Join us at AWS Lambda in Dublin, Ireland, building Firecracker - the open-source virtual machine monitor (VMM) purpose-built for serverless and container workloads. Firecracker runs at global scale as the foundation of AWS Lambda, Aurora D-SQL, and other AWS services, and is integrated by 10+ external teams as part of their platforms. We are looking for a Kernel / Hypervisor Engineer who is passionate about low-level systems programming and wants to push the boundaries of virtualization technology. In this role, you will work at the intersection of hardware and software - designing and implementing hypervisor components, device emulation, memory management, and guest-host interfaces in Rust on Linux/KVM. Your work will directly impact the security, performance, and efficiency of compute infrastructure serving millions of customers. Key job responsibilities * Design, develop, and maintain hypervisor and VMM components in Rust, including virtual device emulation, memory management, and vCPU scheduling. * Optimize boot latency, memory footprint, and I/O throughput for ephemeral microVM workloads at global scale. * Harden the security boundary between guest and host, contributing to threat modeling and implementing isolation mechanisms. * Contribute to the upstream Linux kernel where needed to support Firecracker's roadmap. * Mentor and coach junior engineers, drive code quality through reviews, and champion best practices. * Participate in on-call rotation to ensure operational excellence of Firecracker-based services. A day in the life Your day might start by reviewing pull requests on the Firecracker open-source repository, providing feedback to community contributors