Lean Proof Architect for Formal Verification

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About Alignerr Alignerr partners with leading AI labs to build expert‑driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization, and high‑integrity dataset creation. Role...

Imagine what you could do here. At Apple, new ideas have a way of becoming extraordinary products, services, and customer experiences very quickly. Bring passion and dedication to your job and there's no telling what you could accomplish. Dynamic, amazing people and inspiring, innovative technologies are the norm here. The people who work here have...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About AlignerrAlignerr partners with leading AI labs to build expert-driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization, and high-integrity dataset creation. Role...

We are seeking a highly skilled and motivated Formal Verification Engineer to join our innovative and dynamic team. This role offers an exciting opportunity to work on cutting-edge formal verification projects for complex hardware designs, ensuring functional correctness, robustness, and quality before tape-out. If you are passionate about digital design,...

We are seeking a highly skilled and motivated Formal Verification Engineer to join our innovative and dynamic team. This role offers an exciting opportunity to work on cutting-edge formal verification projects for complex hardware designs, ensuring functional correctness, robustness, and quality before tape-out. If you are passionate about digital design,...

In this highly visible role you will be at the centre of a System-on-a-chip (SoC) design verification effort collaborating with design with a critical impact on getting high quality and bug-free functional products to millions of customers working on complete formal verification for single or multiple design blocks and IPs you will collaborate with members...

This internship would require a strong foundation in formal verification methodologies as well as some knowledge in hardware modeling. The intern will work on developing comprehensive property sets to achieve functional coverage of hardware models. The focus will be on formalizing properties in SVA and executing formal proofs using industry-standard tools. A...

Great opportunity for a Formal Verification Engineer with a proven track record of verifying complex FPGA or ASIC designs within the Semiconductor industry.Youll play a key role in an innovative High-Tech company revolutionizing wired connectivity and pushing the boundaries of AI related innovation. A great salary package will be offered with Hybrid working...

As a Design Verification Manager, you will contribute to exploring innovative hardware designs to enhance our devices. You will define verification methodology and implement test plans for advanced functional blocks while collaborating with cross-functional teams to develop world‑class hardware devices. You will participate in the bring‑up of such blocks...

As a Design Verification (DV) Engineer, you will be part of an advanced architecture team that is exploring new hardware designs to improve our devices. In this role, you will be responsible for defining the verification methodology and implementing the corresponding test plan for advanced functional blocks. You will participate in the design verification...