Expert Code Reasoning Engineer
17 hours ago
About Amazon
Amazon is a leader in cloud computing, providing scalable and secure services to customers around the world. Our Utility Computing (UC) organization is responsible for developing innovative products, such as Amazon Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), that set us apart in the industry.
Job Description
We are seeking an Expert Code Reasoning Engineer to join our Automated Reasoning Group. In this role, you will work with a team of world-class automated reasoning experts to develop and deliver code reasoning technology that is powerful yet accessible to all developers. Your primary responsibility will be to design and implement innovative solutions for formal verification of programs, leveraging tools like Dafny and Lean.
Requirements
To be successful in this role, you will need a PhD or Master's degree and 6+ years of applied research experience. You should have expertise in programming languages such as Java, C++, or Python, as well as experience with formal verification tools and techniques. A background in compiler technologies is also desirable.
What We Offer
As an Amazon employee, you will have access to a range of benefits, including competitive compensation, comprehensive health insurance, and opportunities for professional growth and development. Amazon is committed to diversity and inclusion, and we welcome applications from candidates with a wide range of backgrounds and experiences.
Estimated Salary Range
$180,000 - $220,000 per year, depending on location and experience.
-
Senior Formal Reasoning Engineer
17 hours ago
Santa Clara, California, United States Amazon Full time**Company Overview**: Amazon Development Center U.S., Inc. is a world-leading company that provides a wide range of services, from infrastructure technologies to emerging technologies like machine learning and artificial intelligence.**Job Description**: We are looking for a highly skilled Senior Formal Reasoning Engineer with expertise in building scalable...
-
Santa Clara, California, United States Amazon Web Services, Inc. Full timeAre you passionate about applying cutting-edge automated reasoning techniques to real-world problems in cloud security? We're seeking a highly skilled Applied Scientist to join our team at Amazon Web Services, Inc.This role involves working with internal teams and external customers to understand their requirements and proposing innovative solutions using...
-
Expert Generative AI Software Engineer
5 days ago
Santa Clara, California, United States Promote Project Full timeTransformative Role in Accelerated ComputingPromote Project is seeking a seasoned Expert Generative AI Software Engineer to spearhead the development and deployment of cutting-edge GenAI software solutions based on NVIDIA's pioneering technologies. As part of our esteemed team, you will collaborate with industry leaders and innovators to drive breakthroughs...
-
Santa Clara, California, United States Menlo Ventures Full timeAbout the RoleWe are seeking an experienced Senior Software Engineer II to join our team at Carta. In this role, you will have the opportunity to work on complex SaaS products with Service Oriented Architecture (SOA) and microservices.As a Senior Software Engineer II, you will be responsible for defining requirements and building solutions for products that...
-
Senior ASIC Verification Expert
6 days ago
Santa Clara, California, United States Experis Full timeExperis is seeking a Senior ASIC Verification Expert to join their team in Santa Clara, CA. This is an onsite/hybrid role that requires collaboration with architects, hardware engineers, and firmware engineers to understand new features to be verified.Key Responsibilities:Develop test plan documentation for interactions with other features, hardware,...
-
AI Security Expert for Cloud Innovation
5 days ago
Santa Clara, California, United States Amazon Full timeJob OverviewWe are seeking an AI Security Expert to lead our efforts in cloud innovation, ensuring the highest level of security and safety for our customers.The successful candidate will have a strong background in automated reasoning, programming languages, and machine learning, with a proven track record of delivering innovative solutions.Key...
-
Expert Embedded Systems Engineer
7 days ago
Santa Clara, California, United States Solomon Page Full timeAt Solomon Page, we are seeking a highly skilled Expert Embedded Systems Engineer to join our team. This role offers a unique opportunity to work on cutting-edge projects and contribute to the development of innovative solutions.About the RoleWe are looking for a talented engineer with expertise in embedded systems design, architecture, and development. The...
-
Cybersecurity Engineer
3 days ago
Santa Clara, California, United States Palo Alto Networks Full timeAbout the RoleWe are seeking a talented Cybersecurity Engineer to join our team at Palo Alto Networks. As a key member of our engineering team, you will be responsible for designing and developing scalable microservices used to activate all Palo Alto Networks cloud products.Your primary focus will be on developing and delivering next-generation technologies...
-
Santa Clara, California, United States Infoblox Full timeJob Description:We are seeking an experienced Data Engineer to join our Cloud Engineering team in Tacoma, WA or Santa Clara, CA. As a Staff Data Engineer, you will play a key role in developing platforms and products for Infoblox's SaaS product line, delivering next-level networking solutions for our customers.This is an exciting opportunity to work closely...
-
Quality Engineering Manager
7 days ago
Santa Clara, California, United States Shockwave Medical Full timeOverviewShockwave Medical, Inc. is a pioneering medical device company that has revolutionized the treatment of complex calcified cardiovascular disease with its innovative Intravascular Lithotripsy (IVL) technology.SalaryThe estimated salary for this position ranges from $144,000 to $180,000 per year, depending on skills, experience, and location.Job...
-
Cloud Monitoring Software Engineer Position
6 days ago
Santa Clara, California, United States Servicenow Full timeAre you looking for a challenging role where you can utilize your technical skills to build next-generation customer-facing cloud monitoring tools?We are seeking an experienced Senior Software Engineer to join our Global Cloud Services Monitoring Team. As a member of this team, you will have the opportunity to work on designing, architecting, and...
-
Cybersecurity Software Engineer
1 day ago
Santa Clara, California, United States Palo Alto Networks Full timeAbout the RoleWe're seeking a talented Cybersecurity Software Engineer to join our IT Customer Experience Team. In this role, you'll play a pivotal part in delivering innovative solutions and shaping the future of cybersecurity.Your ImpactDesign and build scalable, high-performance business systems that are critical to our successCollaborate with multiple...
-
Senior Staff Electrical Engineer
7 days ago
Santa Clara, California, United States Halo Industries, Inc. Full timeHalo Industries, Inc. is a pioneering technology company revolutionizing the semiconductor industry with its innovative laser-based material processing equipment.We are seeking a seasoned Senior Staff Electrical Engineer to contribute to the design, development, and deployment of our proprietary material processing systems. This highly technical role...
-
Technical Solutions Expert
7 days ago
Santa Clara, California, United States Amphenol TCS Full timeAmphenol TCS - Power Engineer OpportunityWe are seeking a skilled Technical Solutions Expert to join our team in San Jose, CA. As a Customer Engineer - Power Solutions, you will play a crucial role in developing innovative power solutions for our customers.
-
Reliability Systems Expert
6 days ago
Santa Clara, California, United States OmniVision Technologies Full timeAbout OmniVision TechnologiesWe are a leading manufacturer of CMOS Image Sensors based in Santa Clara, CA.Job SummaryWe are seeking a highly skilled Reliability Systems Expert to join our team. In this role, you will be responsible for ensuring the high-quality and reliability of our image sensors.ResponsibilitiesDevelop and implement reliability testing...
-
Cloud Security Innovator
1 day ago
Santa Clara, California, United States Palo Alto Networks Full timePalo Alto Networks is seeking a Senior Product Manager to spearhead the creation of advanced remediation capabilities in cloud security. As a member of our team, you will be shaping the future of cybersecurity and working with world-class engineers, researchers, and security experts to push the boundaries of what's possible in cloud security.This role offers...
-
Network Architect Expert
6 days ago
Santa Clara, California, United States Palo Alto Networks Full timeAbout the Role:We're looking for a highly skilled Network Architect to join our team at Palo Alto Networks. As a Network Architect, you will be responsible for designing and implementing network security solutions that meet the needs of our organization.Responsibilities:Design and implement network security solutions that meet the needs of the...
-
Expert ASIC Design Engineer
5 days ago
Santa Clara, California, United States Ambarella Inc. Full timeAt Ambarella Inc., we are seeking a highly skilled Sr. ASIC Design Engineer to join our team.About the RoleWe are looking for a seasoned professional with expertise in designing and implementing video compression logic, image processing logic, vector processing, and neural network accelerator logics, processor cores, and memory sub-systems in Verilog and...
-
Cloud Engineer
4 days ago
Santa Clara, California, United States Palo Alto Networks Full timeJob OverviewPalo Alto Networks is a leading cybersecurity company that protects the digital way of life.We are seeking an experienced Cloud Engineer to join our App Services team as a Senior Staff DevOps Engineer.
-
Santa Clara, California, United States Tbwa ChiatDay Inc Full timeAbout the RoleWe are seeking a highly skilled Senior Full Stack Software Engineer to join our team in San Francisco or Santa Clara. This is an exciting opportunity for a talented engineer to contribute to the development of cutting-edge software solutions.Company OverviewAt Carta, we develop purpose-built software that transforms traditional accounting into...