The Strata team ( is seeking a Sr. Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI You ...
32 Strata Ai Engineer Jobs Hiring Near You
The Strata team ( is seeking a Sr. Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI You ...
We weave AI into the fabric of everything we do and use it to augment the impact every individual ... Principal Software Engineers are: * Design and develop high-volume, low-latency applications ...
We weave AI into the fabric of everything we do and use it to augment the impact every individual ... Principal Software Engineers are: * Design and develop high-volume, low-latency applications ...
Imagine working alongside over 1,000 top-tier engineers, architects, and planners, all dedicated to ... soils strata logging and soil sample logging * Conduct asphalt and concrete coring operations
Quick apply
Imagine working alongside over 1,000 top-tier engineers, architects, and planners, all dedicated to ... soils strata logging and soil sample logging * Conduct asphalt and concrete coring operations
Principal Engineer Software (Strata Cloud Control Plane) (Evergreen)
Santa Clara, CA · On-site
$157K - $210K/yr
We weave AI into the fabric of everything we do and use it to augment the impact every individual ... Our engineering team is at the core of our products - connected directly to the mission of ...
Principal Engineer Software (Strata Cloud Control Plane) (Evergreen)
Santa Clara, CA · On-site
$157K - $210K/yr
We weave AI into the fabric of everything we do and use it to augment the impact every individual ... Our engineering team is at the core of our products - connected directly to the mission of ...
We weave AI into the fabric of everything we do and use it to augment the impact every individual ... Our engineering team is at the core of our products - connected directly to the mission of ...
We weave AI into the fabric of everything we do and use it to augment the impact every individual ... Our engineering team is at the core of our products - connected directly to the mission of ...
SYSTRA Canada is an engineering and consulting firm whose primary focus is to offer transportation ... soils strata logging and soil sample logging * Conduct asphalt and concrete coring operations ...
SYSTRA Canada is an engineering and consulting firm whose primary focus is to offer transportation ... soils strata logging and soil sample logging * Conduct asphalt and concrete coring operations ...
The Strata team ( is seeking an applied scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will ...
The Strata team ( is seeking an applied scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will ...
The Strata team ( is seeking an applied scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will ...
The Strata team ( is seeking an applied scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will ...
The Strata team ( is seeking a Principal Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI.
The Strata team ( is seeking a Principal Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI.
The Strata team ( is seeking an applied scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will ...
The Strata team ( is seeking an applied scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You will ...
The Strata team ( is seeking a Sr. Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You ...
The Strata team ( is seeking a Sr. Applied Scientist with broad interest and expertise in interactive theorem proving, programming language semantics, deductive verification and generative AI. You ...
Able to integratePaloAltowith Strata Cloud Management and full pro capabilities. * Provide onsite ... At times, CorGTA or itsclient partners may utilize AI tools to assist with the hiring processes. By ...
New
Quick apply
Able to integratePaloAltowith Strata Cloud Management and full pro capabilities. * Provide onsite ... At times, CorGTA or itsclient partners may utilize AI tools to assist with the hiring processes. By ...
New
Strata Jobs Information
What other companies are hiring for Ai Engineer jobs?
What are the most popular jobs at Strata?
Full-time
Posted 29 days ago
Amazon rating
7.4
Based on 6,959 frontline employees who took The Breakroom Quiz
6th of 39 rated national retailers
Job description
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 to establish program properties.
- Explore generative AI techniques to help customers formalize their requirements, find revealing tests, generate required boiler plate for testing and model checking, and find and repair program proofs.
About the team
You will be working with a team of formal verification specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of verified code and tools to accelerate code verification for our customer teams.
About Amazon
Sourced by ZipRecruiter
Amazon.com, Inc., commonly known as Amazon, is an American multinational technology company. It was founded by Jeff Bezos in 1994 and initially started as an online marketplace for books. Since then, Amazon has expanded its operations and become one of the largest e-commerce companies in the world. Amazon's primary business is its online retail platform, where customers can purchase a vast array of products, including electronics, clothing, books, home goods, and much more. The company offers a convenient and user-friendly shopping experience, with features such as fast shipping, customer reviews, and personalized recommendations. In addition to its e-commerce platform, Amazon has diversified its business into various other areas. One of its notable ventures is Amazon Web Services (AWS), a comprehensive cloud computing platform that provides services such as storage, compute power, and database management to individuals and businesses. AWS has become a leader in the cloud computing industry, powering many websites and applications worldwide. Amazon has also developed its own consumer electronics, including the popular Amazon Kindle e-reader, Fire tablets, Fire TV streaming devices, and the Alexa-powered Echo smart speakers. The Alexa voice assistant, integrated into these devices, allows users to interact with their devices using voice commands, perform tasks, and access information. Furthermore, Amazon has expanded into media and entertainment. It operates Prime Video, a streaming service that offers a wide range of movies, TV shows, and original content. Amazon Music provides a platform for streaming and purchasing digital music, while Audible offers audiobooks and other audio content. The company's commitment to customer satisfaction and convenience is demonstrated by its membership program, Amazon Prime. Prime members receive various benefits, including free two-day shipping, access to streaming services, exclusive deals, and more.
Industry
It services, book publishers, retail, real estate and computer and electronic product manufacturing
Company size
10,000+ Employees
Headquarters location
Seattle, WA, US