Sumo Logic jobs

Automated Logic- Project Manager CAN79: Clifton, 100 Delawanna Avenue, Clifton, NJ, 07014 USA posted: Posted 16 Days Ago

Senior Sales Estimator - Automated Logic CAN79: Clifton, 100 Delawanna Avenue, Clifton, NJ, 07014 USA posted: Posted 24 Days Ago

Owner Direct Sales Manager - Automated Logic CAN79: Clifton, 100 Delawanna Avenue, Clifton, NJ, 07014 USA posted: Posted 4 Days Ago

Automated Logic- Project Engineer CAN79: Clifton, 100 Delawanna Avenue, Clifton, NJ, 07014 USA posted: Posted 8 Days Ago

Operations Manager - Automated Logic CAT89: ALC Austin, 11100 Metric Boulevard, Austin, TX, 78758 USA posted: Posted 11 Days Ago

Master Field Engineer - Automated Logic CATX3: 1218 Arion Parkway, San Antonio, TX, 78216 USA posted: Posted 10 Days Ago

Business Manager - Logic Components Milwaukee, Wisconsin, United States posted: Posted 30+ Days Ago

Lead Logic Design Engineer Bangalore posted: Posted 30+ Days Ago

Logic Design Engineer Kanata posted: Posted 3 Days Ago

Mission Critical Project Manager - Automated Logic 5 Locations posted: Posted 24 Days Ago

Mission Critical Project Manager - Automated Logic 2 Locations posted: Posted 17 Days Ago

Mission Critical Project Manager - Automated Logic 2 Locations posted: Posted Today

Mission Critical BAS/BMS Master Field Engineer - Automated Logic 5 Locations posted: Posted 11 Days Ago

Automated Logic- BAS/BMS Field Technician 2 Locations posted: Posted 2 Days Ago

Sales Manager- Automated Logic 2 Locations posted: Posted 11 Days Ago

Sr. SDM, AI Inference Technology, Neuron SDK Seattle, Washington, USA AWS Utility Computing (UC) provides product innovations - from foundational services such as Amazon Elastic Compute Cloud (EC2), to new product innovations that continue to set AWS's services and features apart in the industry. Come develop inference acceleration for AWS Neuron, the complete software stack for Trainium, Amazon's custom cloud-scale machine learning accelerators that power the latest AI models As the Sr. SDM for the Inference Technology Team, you will lead a strong team of managers and engineers to build fundamental inference technology building blocks and libraries to enable AI developers to optimize model for inference on Trainium and Inferentia devices. You will be responsible for the full development life cycle of inference library and feature development, including reliability and scalability. You will develop the Neuronx_Distributed Inference Libraries and contribute to other popular open source Inference Libraries, enabling customers to optimize LLMs, multimodal, and generative models. The ideal candidate will have an established background in delivering AI feature support for demanding, fast-changing priorities or delivering high-performance models using distributed inference libraries. The ideal candidate should have a strong technical ability to understand and manage a vertically integrated system stack that consisting of hardware, frameworks, and workflows. A day in the life You will work with the executive leadership and other senior management and technical leaders to define product directions and deliver them to customers. We build massive-scale distributed training and inference solutions, developing the full stack of software, servers and

Applied Scientist, Agentic Automated Reasoning London, England, GBR 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 an applied scientist with broad interest and expertise in model checking, interactive theorem proving, programming language semantics, 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 - Work with customer teams to understand the nature of their software and the properties they need to establish of it. - Identify tools and methods capable of addressing the verification needs of customers, including any novel analysis capabilities required. - Use techniques spanning property-based testing to model checkers, and

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

Sr. Software Development Engineer, Automated Reasoning Group New York, New York, USA We are building new capabilities in the Amazon Web Services (AWS) Automated Reasoning Group, by using Automated Reasoning in new, novel and exciting ways to enhance AWS services. Our team owns Automated Reasoning Checks (ARc), a service that uses mathematical logic to verify the accuracy of Generative AI outputs, tackling hallucinations, one of AI's most persistent challenges. ARc is at the forefront of Amazon's initiative on combining AI and math to give customers confidence in their Generative AI applications. See for more info: https://www.wsj.com/articles/why-amazon-is-betting-on-automated-reasoning-to-reduce-ais-hallucinations-b838849e We are seeking a talented and passionate Senior Software Development Engineer who wishes to work at the intersection of Automated Reasoning and AWS services. As a Senior Software Engineer on this team, you will design and build new services and capabilities that enable the application of automated reasoning in a variety of use cases, contribute to the evolution of Automated Reasoning Checks, and help make the power of automated reasoning more readily available within AWS and for our customers. Delivering a reliable and high-performance service at AWS scale requires engineers with deep technical expertise and boundless creativity. At Amazon, we also expect engineers like you to interact with internal and external customers, to understand our business goals, and to innovate rapidly, delivering high-quality and ground-breaking functionality. What does it take to thrive as a developer at AWS? You need to be creative, responsible, and curious while working with others to move quickly in turning

Applied Scientist, Agentic Automated Reasoning Group Seattle, Washington, USA The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in automated reasoning. If you're driven to push the boundaries of what's possible at the intersection of learning and logic, join us and help shape this transformational initiative. The Automated Reasoning checks team is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be part of a world-class team building the next generation of tools and services by combining Automated Reasoning, GenAI, and Agentic AI at cloud computing scale. You will apply your knowledge to propose solutions, create software prototypes, and move prototypes into production systems using modern software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever-growing demand of customer use. You will use your strong verbal and written communication skills and own the delivery of high-quality results in a fast-paced environment. 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. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in the Agentic Automated

Senior Applied Scientist, Agentic Automated Reasoning Group New York, New York, USA The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools-fusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in automated reasoning. If you're driven to push the boundaries of what's possible at the intersection of learning and logic, join us and help shape this transformational initiative. The Automated Reasoning checks team is looking for a Senior Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be part of a world-class team building the next generation of tools and services by combining Automated Reasoning, GenAI, and Agentic AI at cloud computing scale. You will apply your knowledge to propose solutions, create software prototypes, and move prototypes into production systems using modern software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever-growing demand of customer use. You will use your strong verbal and written communication skills and own the delivery of high-quality results in a fast-paced environment. 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. See https://aws.amazon.com/security/provable-security/ As a Senior Applied

AI Focused Strata Domain Consultant Office - Japan - Tokyo posted: Posted 30+ Days Ago

Software Development Engineer - Neptune, The AWS In-Memory Databases Console Team Dublin, IRL The In-Memory and Emerging DB organization drives innovation across Amazon's managed database services, owning and evolving the management consoles that serve over 295,000 monthly active users. Our console team spans five distinct database services - ElastiCache, MemoryDB, DocumentDB, Timestream, and Neptune - and this role is dedicated to the Neptune Console Amazon Neptune is a fast, scalable, fully-managed graph database service used by thousands of customers worldwide. Neptune powers a rich variety of graph use cases including recommendation engines, fraud prevention, knowledge graphs, and drug discovery. The service supports both the Resource Description Framework (RDF) and property graph data models, along with their respective query languages. This is a unique opportunity to shape the customer-facing console experience for one of the fastest-growing graph database services in the industry. To learn more about Amazon Neptune visit: https://aws.amazon.com/neptune/ Our team understands and values work life balance. Most days, our entire team is co-located in the Dublin office, but support occasional remote work if needed. We generally keep core in-office hours from 10am to 4pm and provide flexibility for people to structure their working hours around them. The role involves day time on-call responsibilities, typically once every 2-3 months. We don't like to get paged in the middle of the night or on weekends; so we investigate operational gaps on a weekly basis, proactively root-cause issues and fix them for good. Our team has a mixture of engineers from diverse

SOC Engineer, AWS Security Melbourne, Victoria, AUS Applicants must be Australian citizens and hold or be eligible to obtain an Australian Government Security Clearance, with the ability to successfully complete an Organisational Suitability Assessment. For more information regarding security clearances please visit (https://www.agsva.gov.au/) Amazon Web Services (AWS) is the leading cloud service provider, providing virtualised infrastructure, storage, networking, messaging, and many other services to customers all over the world. AWS runs a globally distributed environment, operating at massive levels of scale. Businesses, from start-ups to enterprises to large government customers, run their operations and applications on AWS' highly secure infrastructure. AWS Security is looking for a Security Systems Engineer to play a pivotal role in ensuring the security and integrity of our systems and infrastructure. You will work closely with our security team to implement and maintain robust security measures that adhere to Australian Government security requirements, including the Protective Security Policy Framework (PSPF) and the Information Security Manual (ISM). Key job responsibilities Key responsibilities may include: • Performing security event monitoring, incident management and response. • Develop, tune, and maintain SIEM detections, dashboards, and correlation rules • Conduct proactive threat hunting and analysis to identify suspicious behaviour • Investigate, respond and be the escalation point for security alerts and incidents • Support the integration and optimisation of security data sources within SIEM platforms • Contribute to continuous improvement of SOC processes and automation initiatives including authoring SOC SOP's and runbooks. • Apply frameworks such as MITRE ATT&CK and NIST