Strong Compute jobs

Software Dev Manager, SCOT - AIM Hyderabad, Telangana, IND Amazon Supply Chain Optimization Technology(SCOT) is looking for Software Development Managers to join the Automated Inventory Management Team. As a leader of the team you will have the opportunity to work with complex algorithms, Distributed Computing Technology, Big-Data computing space to build highly scalable services handling thousands of requests per second that manage inventory plans for millions of items on Amazon.com. We are looking for a Software Development Manager with a strong sense of ownership and a passion for delivering creative solutions for complex problems on an unprecedented scale. As part of leading a team of engineers, you will have the opportunity to create significant impact on our systems, our business and most importantly, our customers as we take on challenges that can reshape the e-commerce industry. We are seeking someone who has strong technical, project and people skills with a can-do attitude and a focus on delivering high quality software. We move at a fast pace and deliver software iteratively using AGILE best practices and the latest technologies. Key job responsibilities Key job responsibilities We are seeking someone who has strong technical, project and people skills with a can-do attitude and a focus on delivering high quality software. We move at a fast pace and deliver software iteratively using AGILE best practices and the latest technologies. The Ideal Candidate: Must be technically credible to lead teams of world-class software engineers and technical program managers. Must be able to make the

Applied Scientist, Device Team, AWS Center for Quantum Computing Pasadena, California, USA The Amazon Web Services Center for Quantum Computing (CQC) in Pasadena, CA, is looking to hire an Applied Scientist. You will join a multi-disciplinary team of experimental and theoretical physicists, materials scientists, and hardware and software engineers working at the forefront of quantum computing. You should have a solid foundation in experimental physics and deep and broad knowledge of experimental measurement techniques. Candidates should have a track record of original scientific contributions, and those with deep knowledge and experience in low temperature condensed matter physics (superconductivity, Josephson junctions, phononics, TLS physics etc.) will be preferred. We are looking for candidates with strong engineering principles, resourcefulness and a bias for action, superior problem solving, and excellent communication skills. Working effectively within a team environment is essential. You will be expected to work on new ideas and stay abreast of the field of experimental quantum computation. Key job responsibilities In this role, you will be part of the Physical Metrology and Exploration (PME) subgroup within the Device team. You will work with the basic building blocks of quantum processors, ranging from superconducting films and resonators to junctions and qubits. There are two core missions for the PME team. The first is to support the CQC's central activities through the development of devices, both existing and novel, that fall within this complexity range. This involves understanding their physical principles, identifying performance limitations, and collaboratively enhancing their capabilities. In many cases though,

Senior Systems Engineer BENGALURU, KARNATAKA, India, IN At Oracle Cloud Infrastructure (OCI), we build the future of the cloud for Enterprises as a diverse team of fellow creators and inventors. We act with the speed and attitude of a start-up, with the scale and customer-focus of the leading enterprise software company in the world. Compute is one of the core organisations within OCI. We are responsible for providing Compute power i.e. VMs and BMs. Cloud pretty much cannot exists without our org. The Compute org comprises of a family of critical foundational infrastructure services that drive OCI's hardware lifecycle activities Work with product team on the shared full stack ownership of a collection of services and/or technology areas. Understand the end-to-end configuration, technical dependencies, and overall behavioural characteristics of production services. Responsible for the mitigating critical customer incidents, or deployments or testing required to improve security, performance, availability, and scalability of service. Authority for end-to-end performance and operability. Partner with development teams in meeting SLA to unblock customers. Articulate technical characteristics of services and technology areas and guide Development Teams to engineer and add premier capabilities to the Oracle Cloud service portfolio. Understand and communicate the scale, capacity, security, performance attributes, and requirements of the service and technology stack. Demonstrate clear understanding of automation and orchestration principles. Act as ultimate escalation point for complex or critical issues that have not yet been documented as Standard Operating Procedures (SOPs). Utilise a deep understanding of service topology and their dependencies required to

Machine Learning SDE, Scanless Technologies Westboro, Wisconsin, USA Are you inspired by invention? Is problem solving through teamwork in your DNA? Do you like the idea of seeing how your work impacts the bigger picture? Answer yes to any of these and you'll fit right in here at Amazon Robotics. We are a smart team of doers who work passionately to apply industry leading advances in robotics and software to solve real-world challenges that will transform our customers' experiences. We invent new improvements every day. We are Amazon Robotics and we will give you the tools and support you need to invent with us in ways that are rewarding, fulfilling, and fun. The Scanless Technologies team at Amazon is eliminating manual barcode scanning across one of the world's largest fulfillment and delivery networks using computer vision, machine learning, and advanced sensor systems. Our technology, Amazon Robotics Identification (AR-ID), reads multiple barcodes in real time and powers innovations like Vision-Assisted Package Retrieval (VAPR) inside Amazon's electric delivery vans. Our platform spans sensors, edge inference, cloud training, and robust observability, and it's deployed across thousands of workcells shipping millions of packages daily. We are looking for Software Engineers with a strong focus on real-world Robotics, Signal Processing and Computer vision, to bring new product ideas to life and reimagine how we delight our customers with the help of Machine Learning and computer-vision-based solutions. Familiarity with theoretical foundations is equally important as a builder mindset with strong coding and practical problem solving skills.

Data Architect/Lead Engineer OH - Strongsville posted: Posted 9 Days Ago

Senior Machine Learning Compiler Engineer Seattle, Washington, USA The Product: Annapurna Labs Machine Learning accelerators are at the forefront of Amazon's innovation and one of several Amazon's tools used for building Generative AI on Amazon. The Inferentia chip delivers best-in-class ML inference performance at the lowest cost in cloud. Trainium will deliver the best-in-class ML training performance with the most teraflops (TFLOPS) of compute power for ML in the cloud. This is all enabled by cutting edge software stack, the Amazon Neuron Software Development Kit (SDK), which includes an ML compiler, runtime and natively integrates into popular ML frameworks, such as PyTorch, TensorFlow and MxNet. Amazon Neuron and Inferentia are used at scale with customers like Snap, Autodesk, Amazon Alexa, Amazon Rekognition and more customers in various other segments. The Team: As a whole, the Amazon Annapurna Labs team is responsible for silicon development at Amazon. The team covers multiple disciplines including silicon engineering, hardware design and verification, software and operations. The Amazon Neuron team works to optimize the performance of complex neural net models on our custom-built Amazon hardware. More specifically, the Amazon Neuron team is developing a deep learning compiler stack that takes neural network descriptions created in frameworks such as TensorFlow, PyTorch, and MXNET, and converts them into code suitable for execution. As you might expect, the team is comprised of some of the brightest minds in the engineering, research, and product communities, focused on the ambitious goal of creating a toolchain that will provide a quantum

Member of Technical Staff, Artificial General Intelligence Sunnyvale, California, USA The Artificial General Intelligence (AGI) team is looking for a passionate, talented, and inventive Member of Technical Staff with a strong deep learning background, to build industry-leading Generative Artificial Intelligence (GenAI) technology with Large Language Models (LLMs) and multimodal systems. Key job responsibilities As a Member of Technical Staff with the AGI team, you will support the development of algorithms and modeling techniques, to advance the state of the art with LLMs. You will support the foundational model development in an applied research role, including model training, dataset design, and pre- and post-training optimization. Your work will directly impact our customers in the form of products and services that make use of GenAI technology. You will leverage Amazon's heterogeneous data sources and large-scale computing resources to accelerate advances in LLMs. About the team The AGI team has a mission to push the envelope in GenAI with LLMs and multimodal systems, in order to provide the best-possible experience for our customers. Basic Qualifications: - PhD, or Master's degree and 1+ years of CS, CE, ML or related field experience - Experience with neural deep learning methods and machine learning - 1+ years of building models for business application experience - Experience programming in Java, C++, Python or related language Preferred Qualifications: - PhD in Computer Science, Computer Engineering, Machine Learning or related field - Strong experience with Generative Artificial Intelligence (GenAI) technologies and Large Language Models (LLMs) - Experience with patents

ASIC Design Verification Engineer, TPU Compute Sunnyvale, CA, USA In this role, you'll work to shape the future of AI/ML hardware acceleration. You will have an opportunity to drive cutting-edge TPU (Tensor Processing Unit) technology that powers Google's most demanding AI/ML applications. You'll be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's TPU. You'll contribute to the innovation behind products loved by millions worldwide, and leverage your design and verification expertise to verify complex digital designs, with a specific focus on TPU architecture and its integration within AI/ML-driven systems. As an ASIC Design Verification Engineer, you will be part of a team developing cutting-edge ASICs used to accelerate computation in data centers. You will have dynamic, multi-faceted responsibilities in areas such as project definition, design verification and silicon bring-up. You will participate in the architecture, documentation, and verification of the next generation of data center accelerators. The AI and Infrastructure team is redefining what's possible. We empower Google customers with breakthrough capabilities and insights by delivering AI and Infrastructure at unparalleled scale, efficiency, reliability and velocity. Our customers include Googlers, Google Cloud customers, and billions of Google users worldwide. We're the driving team behind Google's groundbreaking innovations, empowering the development of our cutting-edge AI models, delivering unparalleled computing power to global services, and providing the essential platforms that enable developers to build the future. From software to hardware our teams are shaping the future of world-leading hyperscale computing, with key teams

Environmental Digital Engineer, AWS Environmental Herndon, Virginia, USA For over 15 years, Amazon Web Services (AWS) has been the world's most comprehensive and broadly adopted cloud computing platform. What is cloud computing? Cloud computing is the on-demand delivery of IT resources over the Internet. In 2019, Amazon announced The Climate Pledge, which includes our commitment to power our operations with 100% renewable energy by 2025, on the path to achieving net zero carbon across our businesses by 2040. To learn more about AWS, visit https://aws.amazon.com and https://sustainability.aboutamazon.com/environment/the-cloud. Amazon is looking for a talented and self-motivated Environmental Digital Solutions Engineer to support the AWS Environmental global programs team. The successful candidate will join the AWS Environmental team, an expanding and dynamic team that is critical to enabling AWS's growth around the world, as well as ensuring regulatory compliance and highest-level environmental performance of AWS's data center global operations. The Environmental team has responsibility for managing Environmental requirements and risk from site selection through to decommissioning. This role requires a highly skilled professional to manage complex, ambiguous digital tooling initiatives across organizational boundaries. The ideal candidate must lead on Smartsheet's development, integration and enhancements and be strong in data analytic capabilities, influence stakeholders, and work independently while seeking guidance when needed. Strong strategic and tactical skills are essential, including balancing short and long-term needs, mitigating risks, and delivering simplified solutions. Excellent communication skills are crucial, with the ability to present to senior leadership and write strategic narratives. The role involves driving key

Senior Cloud Operations Engineer BENGALURU, KARNATAKA, India, IN At Oracle Cloud Infrastructure (OCI), we build the future of the cloud for Enterprises as a diverse team of fellow creators and inventors. We act with the speed and attitude of a start-up, with the scale and customer-focus of the leading enterprise software company in the world. Compute is one of the core organisations within OCI. We are responsible for providing Compute power i.e. VMs and BMs. Cloud pretty much cannot exists without our org. The Compute org comprises of a family of critical foundational infrastructure services that drive OCI's hardware lifecycle activities Work with product team on the shared full stack ownership of a collection of services and/or technology areas. Understand the end-to-end configuration, technical dependencies, and overall behavioural characteristics of production services. Responsible for the mitigating critical customer incidents, or deployments or testing required to improve security, performance, availability, and scalability of service. Authority for end-to-end performance and operability. Partner with development teams in meeting SLA to unblock customers. Articulate technical characteristics of services and technology areas and guide Development Teams to engineer and add premier capabilities to the Oracle Cloud service portfolio. Understand and communicate the scale, capacity, security, performance attributes, and requirements of the service and technology stack. Demonstrate clear understanding of automation and orchestration principles. Act as ultimate escalation point for complex or critical issues that have not yet been documented as Standard Operating Procedures (SOPs). Utilise a deep understanding of service topology and their dependencies required

Computational Scientist III South San Francisco, CA, United States The Computational Scientist III is member of the research team and contributes to design, development, maintenance, and validation of molecular assays and analytical pipelines working closely with molecular biologists, lab directors and software engineers. Responsibility Make critical contributions to wide range of products in a cutting-edge clinical genomics laboratory. Use rigorous data science and modern software best practices to create efficient, reliable, and optimized bioinformatics tools. Work closely with molecular biologists, clinical scientists, software engineers, automation engineers, and data scientists. Characterize data resulting from novel molecular assays and guide molecular protocol development from a statistical perspective. Mentor junior scientists and research associates, guiding the overall path and success of key projects. Author posters and publications demonstrating the scientific prowess of our products and algorithms that power the products. Work with legal staff to secure intellectual property rights for inventions pertaining to our products. Communicate results to stakeholders across the organization. Qualifications PhD in Computational Biology, Statistics, Molecular Biology, Genetics, Computer Science, Systems Biology, Biophysics, Physics, or a related discipline. 3+ years of experience developing methods to analyze large, noisy real-world data sets (in the context of molecular biology and/or human genetics, a plus). Experience developing custom analysis methods and algorithms and analysis pipelines. Experience working with CLIA-validated assays and authoring CLIA validation plans, Illumina Next Generation Sequencing (NGS), and other sequencing platforms. Strong computation skills, fluency in Python and a workflow definition language, and knowledge of software engineering best practices. Multiple

Principal fullstack engineer - PMTS California - Redwood City Are you a seasoned engineer who wants to reshape how the world's largest enterprises harness their data? The Informatica IDMC team-a strategic pillar of Salesforce-is building what comes next: an AI-native data integration platform where Generative AI, LLMs, and Agentic architectures don't just assist workflows-they fundamentally reinvent them. We're talking petabyte-scale data movement that thinks, adapts, and self-optimizes. This is a principal-level engineering role where you'll own the technical direction for one or more teams, making architectural bets at the frontier of data integration and AI. You won't just design systems-you'll define the patterns that thousands of enterprise customers depend on to run their businesses. We need a high-performing hybrid engineer who leads from the front: shipping production-grade code that powers intelligent data pipelines one day, and elevating an entire team's craft through architectural vision and mentorship the next. If you want to work at the intersection of massive-scale distributed systems and cutting-edge AI-where your decisions directly shape a platform processing more data than most engineers will see in a career-this is the role. Responsibilities AI & LLM Proficiency - Experience with Generative AI, LLMs, and AI-assisted development tools (Claude Code, Cursor). Interest in applying AI to automate data integration workflows. Technical Leadership & Architecture - Act as the Technical Leader for one or more teams, serving as the go-to technical authority for cross-team plans and problems. - Write architectural documents and design specifications for multi-team projects; negotiate interfaces and resolve

Specialist Strategy & Sales Operations Lead, Specialist Strategy & Sales Operations Seattle, Washington, USA AWS is seeking a Specialist Strategy & Sales Operations Lead, to drive data-driven decision-making and operational excellence for the AWS Specialist and Partner organization, focused on the Compute and Advanced Computing Domain. As a strategic business partner to Domain leadership, the Sales Operations Lead serves as a trusted advisor who translates complex data into actionable insights, drives operational excellence, and shapes the strategic direction of sales initiatives through deep business acumen and consultative partnership. This role is crucial in leading and scaling mission-critical frameworks, including territories and quota, goal setting, key initiatives, business reviews, forecasting, and data analysis, to inform strategic recommendations in a rapidly growing, complex environment. Serving as a strategy partner to Compute and Advanced Computing leadership, the Sales Operations Lead develops, implements, and manages sales processes, systems, and metrics to help the Compute and Advanced Computing Go-to-Market team and those involved in the sales process to increase revenue growth and customer acquisition. Proactively analyzes sales performance data and customer dynamics to identify growth opportunities and provide forward-looking strategic recommendations to leadership. Partners with stakeholders to achieve day-to-day operational excellence through sales process management, performance analysis, technology support, business reviews, operational planning, and communicating actionable insights, both verbally and in writing, while fostering strong stakeholder relationships. As the AI-powered sales landscape continues to evolve, this role will be instrumental in leveraging the latest artificial intelligence and machine learning technologies to enhance sales processes and

Computer Scientist ( Python ) Bangalore posted: Posted Today

System Engineer, Managed Operations Madrid, Community of Madrid, ESP AWS has successfully launched the European Sovereign Cloud (ESC), marking a significant development in Utility Computing (UC). To spearhead this initiative, we are actively seeking experienced systems engineers with a strong background in cloud operations. As part of the AWS Managed Operations team, you will play a pivotal role in building, operating and evolving 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 ongoing operations and expansion of the ESC, working closely with global AWS 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 continuous improvements in availability, reliability, latency, performance, and efficiency of the ESC. 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 operating and scaling a best-in-class development engineering and operations team that aligns with AWS' commitment to customer satisfaction and continual innovation. Utility Computing (UC) European Sovereign Cloud (ESC) is a part of AWS Utility Computing (UC). AWS Utility Computing (UC) provides product innovations - from foundational services such as Amazon's Simple Storage Service (S3) and Amazon Elastic Compute

Software Engineer, TPU Compiler Development Infrastructure Sunnyvale, CA, USA Our team develops the Accelerated Linear Algebra (XLA) compiler which enables TPUs, Google's in-house custom designed processor, to accelerate machine learning and other scientific computing workloads for both internal Google customers and external Cloud customers. The XLA TPU team is reaching a critical threshold of complexity at a time when the demand for rapid iteration has never been higher. This role is designed to manage the infrastructure friction that compiler engineers face daily, effectively multiplying output of the entire team. In concrete terms we need to pull down the average team presubmit latency from the current 1.5. hours to 20 min and minimize Changelist (CL) rollback (catch issues early). While this position does not require prior experience with compilers, hardware, or deep ML expertise, bout it does require someone who genuinely enjoys the craft of building great infrastructure unblocking developer productivity. Individual pay is determined by factors including job-related skills, experience, and relevant education or training. US: $147000 - $211000 (USD) + 15% bonus target + bonus + equity + benefits Learn more about benefits at Google . Reduce CL time to submit for a CL and minimize CL rollback for the whole XLA TPU team. Drive infrastructure improvements that remove friction from the daily development of the XLA TPU Compiler team. Develop tools supporting compiler engineers as they work through stages of new TPU introduction (e.g., testing when hardware is not yet available or very limited). Modernize and simplify build/test

Sr. Technical Program Manager, Managed Operations Berlin, Berlin, DEU AWS has recently launched the inaugural European Sovereign Cloud (ESC), marking a significant development in utility computing (UC). To spearhead this initiative, we are actively seeking experienced Technical Program Managers with a strong background in program management and working with Software Engineers. As part of the AWS Managed Operations team, you will play a pivotal role in 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/ European Sovereign Cloud (ESC) is a part of AWS Utility Computing (UC). 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, Managed Operations engineers engage with AWS customers who require specialized security solutions for their cloud services. Eligibility requirement * Fluency in written and spoken English is required. * Candidate must be a national of an EU member state and residing in the EU to operate the AWS European Sovereign Cloud. * Amazon will provide relocation support for successful applicants relocating within the European Union. * Employees will participate in an On-Call rota Key

Principal Member of Technical Staff United States, US Designing, implementing, and delivering software, firmware for managing GPU based AI infrastructure. As a senior member of the AI Infrastructure engineering division, you will take an active role in the definition and evolution of standard practices and procedures. You will be responsible for defining and developing software for tasks associated with the developing, designing and debugging of software, firmware for managing GPU based AI infrastructure. Minimum Qualifications BS or MS degree in Computer Science or relevant technical field involving coding or equivalent practical experience Deep understanding of operating systems, computer networks, and high-performance applications 6+ years' experience delivering and operating large-scale production systems (1000+ server instances) Proficient in one programming language(java/python/c/c++ scripting) Systematic problem-solving approach, strong communication skills, a sense of ownership, and drive. Proven ability to deliver products and experience with the full software development lifecycle Preferred Qualifications Strong background in Linux systems Familiarity with system-level architecture, data synchronization, fault tolerance, and state management. General cloud storage, networking, or computing experience Experience with Server/GPU hardware architecture and system management. Experience with Infiniband or RoCE networking Hands-on experience designing, developing, and operating public cloud service data planes Disclaimer: Certain U.S. based or U.S. customer or client-facing roles may be required to comply with applicable requirements, such as immunization/occupational health mandates, and/or drug testing requirements. Range and benefit information provided in this posting are specific to the stated locations only US: Hiring Range in USD from: $99,600 to $234,600 per annum. May be

Sr. Computer Scientist Honolulu, HI posted: Posted 30+ Days Ago

Systems Development Engineer, Managed Edge Compute (Amazon Robotics) Austin, Texas, USA We're seeking a Systems Development Engineer to join the Unified Workcell Compute team. This is a hands-on, high-impact role where you'll design and build systems that manage Amazon's edge device fleet - over a million devices across thousands of locations worldwide. You'll work at the intersection of cloud infrastructure, device management, robotics systems, and operational excellence, solving complex technical problems that enable Amazon's robotics and fulfillment operations to scale globally. As a SysDE II, you'll be a strong individual contributor who delivers high-quality technical solutions, contributes to architectural discussions, and builds reliable systems that enable robotics and automation teams to deploy and manage their edge compute solutions with the same ease as deploying to AWS. You'll work within established technical strategies while identifying opportunities for improvement, translating well-scoped business problems into concrete technical solutions, and balancing short-term delivery with long-term system health. This role requires solid technical depth across multiple domains - Linux systems, AWS services, IoT platforms, robotics compute infrastructure, and distributed systems - combined with the ability to partner effectively with engineers across the team and organization. Key job responsibilities - Build and maintain resilient, scalable distributed systems that operate at Amazon scale, contributing to the management of robotics device fleets across thousands of sites with 99.99%+ availability requirements. - Contribute to the technical strategy for your team's systems within the UWC architecture, participating in decisions around hyperscale deployments, robotics compute patterns, fleet management, and edge device

Performance Architect, Use Case and Workload Analysis New Taipei, Banqiao District, New Taipei City, Taiwan; +1 more Be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's direct-to-consumer products. You'll contribute to the innovation behind products loved by millions worldwide. Your expertise will shape the next generation of hardware experiences, delivering unparalleled performance, efficiency, and integration. Google's mission is to organize the world's information and make it universally accessible and useful. Our team combines the best of Google AI, Software, and Hardware to create radically helpful experiences. We research, design, and develop new technologies and hardware to make computing faster, seamless, and more powerful. We aim to make people's lives better through technology. Conduct CPU power and performance correlation. Conduct CPU workload analysis and optimization on real use cases and commercial benchmarks. Drive post-silicon characterization and failure analysis for next-generation CPU and memory systems, focusing on optimizing F_max/V_min boundaries and root-causing complex silicon-level bugs. Minimum qualifications: Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, a related field, or equivalent practical experience. 4 years of experience in embedded system software development, test and debugging. Experience in programming (e.g., Python, or C/C++, Shell script). Experience with Android/Linux environments. Preferred qualifications: Experience in silicon characterization, system-level test (SLT), chip bring-up, hardware debugging, and failure analysis (FA). Expertise in performance and power analysis for CPUs, GPUs, TPUs, interconnect fabrics, and memory systems, including QoS tuning and bandwidth/latency analysis. Knowledge of OS kernel-level optimization, including schedulers,

Sr. Applied Scientist, Agentic Automated Reasoning Group Boston, Massachusetts, USA The Agentic Automated Reasoning Group is building the next generation of software verification tools combining advances in artificial intelligence, the computational capacity of the cloud, and our deep expertise in the domain. Join us if you want to be a part of this transformational endeavor. The Strata team (https://github.com/strata-org) is seeking a Sr. Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will combine your expertise with that of your coworkers to build new tools that solve code analysis problems previously considered beyond reach. Our application areas span all the way from Infrastructure as Code to high-performance cryptography written in assembly code, while our methods span from interactive theorem proving to automated test generation. 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/ Key job responsibilities - End-to-end technical leadership for delivering AR solutions working backwards customer use cases. - Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required. - Use tools spanning from fuzzers, property-based testing to model checkers, and interactive theorem provers

Machinist, Quantum Computing Pasadena, California, USA The Amazon Center for Quantum Computing (CQC) team is seeking a Manufacturing Shop Machinist with knowledge of Computer Numerical Control (CNC) machining. This is an entry-level hardware position designed for candidates who have completed a precision manufacturing program. In this role, you will support the CNC machine shop with parts production and day-to-day shop operations in a dynamic prototype environment, directly contributing to the manufacturing needs for cryogenic hardware. The focus of the role is the operation of support machinery for the manufacturing shop, including 3D printers and laser engravers, plus manual lathes, mills, and grinders. Primary output is from 3- and 5-axis CNC machining centers. Additional duties include direct collaboration with shop programmers. Development opportunities are expected with CAM programming, fixture creation and setup, and tool selection and setup. The ideal candidate demonstrates a strong commitment to continuous learning and professional growth, with a solid foundation in support machinery. Effective collaboration is critical in this role, with the expectation to partner with cross-functional teams in support of cryogenic hardware assembly. Key job responsibilities - Coordinate with external vendors to oversee remote services - Maintain cleanliness and operational readiness of equipment and lab environments - Complete work orders, document maintenance results, and review and update technical drawings and related records - Conduct periodic safety audits and implement corrective actions as identified - Adhere to established procedures and documentation standards, and develop new documentation as required - Perform additional duties as assigned to support team

Software Development Engineer, Amazon Payment Services Amman, JOR We are looking for a seasoned developer to design/build massive scale, distributed computing solutions. You will be responsible for driving the team's technical direction, strategizing and shaping our long-term vision and architecture. You will own major deliverables end-to-end, drive roadmaps, and provide technical leadership to the engineering team. If you're excited by cloud computing, designing highly scalable, fault tolerant systems, and want to be challenged by the toughest computer science problems, then join us to build the next generation distributed systems solving big data problems. You should be someone who wants to conceive and design highly scalable, robust software, and wants to see their software thrive in the face of traffic from huge cloud computing services. The candidate should have strong distributed systems and web services design and implementation experience, as well as experience working on high availability production systems. Responsible for the overall development life cycle of the solution and manage complex projects with significant bottom line impact. Key job responsibilities - Work with product managers in developing a strategy and road map to provide compelling capabilities for our customers. - Work closely with other engineers to develop the best technical design and approach for new product development. - Instill best practices for software development and documentation, assure designs meet requirements, and deliver high-quality work on tight schedules. - Project management - prioritization, planning of projects and features, Stakeholder management and tracking of external commitments. - Operational Excellence - monitoring &