formal verification engineer jobs in Chicago

As a Verification Engineer at IMC, you will be part of the R&D team. You’ll have the opportunity to work on novel solutions to accelerate trading decisions to the technological limit. In addition, you’ll work on forward looking solutions that anticipate future requirements. Your Core Responsibilities Work in a small and globally distributed team that...

As a Verification Engineer at IMC, you will be part of the R&D team. You’ll have the opportunity to work on novel solutions to accelerate trading decisions to the technological limit. In addition, you’ll work on forward looking solutions that anticipate future requirements.Your Core Responsibilities:Work in a small and globally distributed team that...

As a Verification Engineer at IMC, you will be part of the R&D team. You’ll have the opportunity to work on novel solutions to accelerate trading decisions to the technological limit. In addition, you’ll work on forward looking solutions that anticipate future requirements. Your Core Responsibilities: Work in a small and globally distributed team that...

About The Role What if your deepest mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced human-written mathematics into machine-verifiable Lean 4 proofs — working at the frontier of what proof assistants can currently express, capture, and...

Company Description Paradigm Works, Inc. delivers world-class chip development services, software and training (Sunburst Design) for digital integrated circuits, with a strong focus on innovation, technical excellence, and customer service. The company is a pioneer in verification and design services, custom enabling IP, and training for chip development....

IMC Trading is seeking a Verification Engineer to join its globally distributed R&D team in Chicago. You will verify complex hardware designs, develop testbenches, and automate flows to accelerate trading decisions to the technological limit.You will collaborate with RTL and SW teams, use UVM, SystemVerilog/Verilog, and C++, and contribute to metrics-based...

The Hardware team at Hudson River Trading (HRT) creates high performance compute engines using FPGA and ASIC technology to drive low latency trading decisions on global markets. We build custom solutions across the spectrum of speed and smarts: from bespoke circuits to world-class machine learning accelerators. These high performance designs require even...

Orchard LLC is seeking a Senior Systems Engineer to lead spacecraft system engineering across ConOps, requirements management, interface control, and fault analysis. You will guide multidisciplinary teams through design, integration, verification, and mission operations for aerospace programs. Strong leadership and communication are essential. The role...

IMC is seeking a Verification Engineer to join its R&D team in Chicago. You will verify complex hardware designs using UVM, collaborate with RTL and SW teams, and automate verification flows for rapid development.The role requires experience with SystemVerilog/Verilog, C++, scripting, and Linux, plus familiarity with 3rd party EDA tools. The position offers...

IMC is seeking a Verification Engineer to join its R&D team in Chicago. You will verify complex hardware designs using UVM, collaborate with RTL and SW teams, and automate verification flows for rapid development. The role requires experience with SystemVerilog/Verilog, C++, scripting, and Linux, plus familiarity with 3rd party EDA tools. The position offers...

Orchard LLC is seeking a Senior Systems Engineer to lead spacecraft system engineering across ConOps, requirements management, interface control, and fault analysis. You will guide multidisciplinary teams through design, integration, verification, and mission operations for aerospace programs.Strong leadership and communication are essential. The role...

A BIT ABOUT SIBEL HEALTH:With headquarters based in Chicago, IL and an international office in Seoul, South Korea, Sibel Health is an award-winning digital health startup with a mission to deliver Better Health Data for All®. We were founded out of a Northwestern University Biotechnology lab, with a specific focus on our most vulnerable patients - pregnant...

Alignerr Corp. seeks a Lean 4 Proof Engineer to translate advanced mathematical arguments into machine-verifiable Lean formalizations. You will work remotely, rigorously structuring proofs across algebra, analysis, topology, and logic, while exploring the limits of current proof assistants.The role emphasizes collaboration with AI researchers, clear proof...

Multiple Design Verification (DV) Opportunities - U.S. Based (Hybrid & Onsite) We are partnered with several cutting-edge semiconductor client s who are actively hiring Design Verification Engineer s across a range of domains. These roles are NOT fully remot e - each has a defined hybrid or onsite expectation, outlined below If you’re a DV engineer...

Company Description Paradigm Works, Inc. delivers world-class chip development services, software and training (Sunburst Design) for digital integrated circuits, with a strong focus on innovation, technical excellence, and customer service. The company is a pioneer in verification and design services, custom enabling IP, and training for chip development....

A BIT ABOUT SIBEL HEALTH: With headquarters based in Chicago, IL and an international office in Seoul, South Korea, Sibel Health is an award-winning digital health startup with a mission to deliver Better Health Data for All®. We were founded out of a Northwestern University Biotechnology lab, with a specific focus on our most vulnerable patients -...

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your mathematical expertise could directly shape how AI reasons, proves, and understands the deepest structures of formal logic? We're looking for Lean 4 Proof Engineers to translate advanced mathematical arguments into precise, machine-verifiable formalizations — working at the...

Prolaio believes that continuous learning and collaboration can make a significant difference in how heart care is administered. We are creating smarter ways to address heart disease and heart risks by uniting patients, care teams, and researchers on a secure, technology-enabled platform that drives clinical innovation and offers a path towards better...

We are looking for a seasoned Engineering Lead / Lead Engineerto take aircraft-level technical ownership within a novel aircraft development program. This is a highly hands-on individual contributor role for someone who has already helped take a clean-sheet, eVTOL, or other unconventional aircraft from development toward first flight or certification. You...

Role:-Analytics Engineer Location:-Chicago, IL (preferred 1st) or Dallas (2nd preference), may also consider Edna, MN or Centennial, CO Duration:-6+ Months Responsibilities * Design and maintain semantic models, metrics, business definitions, and governed analytical datasets. * Build and configure user-facing analytical experiences, including Databricks...