Lean Proof Architect for Formal Verification

A technology solutions firm is looking for a Mathematical Formalization Specialist to translate informal mathematical proofs into Lean and related systems. This remote role requires a Master's degree in Mathematics or a related field and a strong foundation in proof writing. The successful candidate will collaborate with researchers and develop...

A tech-driven company is looking for a Mathematical Formalization Specialist to work remotely. The role involves translating informal mathematical proofs into precise formalizations using Lean and other systems. Candidates should have a Master's degree in Mathematics or a related field, strong proof writing skills, and hands-on experience with proof...

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...

Mathematical Formalization Specialist - Remote Join to apply for the Mathematical Formalization Specialist - Remote role at Alignerr Job posted 2 days ago - Apply before positions fill. 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...

Mathematical Formalization Specialist - Remote 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. Base pay range : $50.00/hr - $150.00/hr Role...

**Role**: **This role is a part of the VLSI team, which is part of Andes worldwide CPU development team. Andes is a rapidly growing organization, and you will get the opportunity to work with a team of experienced architects, designers and DV engineers for building next-generation of RISC-V CPUs.**: **As a leader of this team, you will define verification...

Design Verification Manager Vancouver, BC, Canada – Hybrid – onsite 25%-30% of the time and work from home. Senior engineer or Junior Manager – experience with team leading required Corporate Introduction As a founding premier member of RISC-V International, Andes is the leading supplier and technological innovator in the RISC-V market with a wide...

Design Verification Manager Vancouver, BC, Canada – Hybrid – onsite 25%-30% of the time and work from home. Senior engineer or Junior Manager – experience with team leading required Corporate Introduction As a founding premier member of RISC-V International, Andes is the leading supplier and technological innovator in the RISC-V market with a wide...

2 weeks ago Be among the first 25 applicants Get AI-powered advice on this job and more exclusive features. This range is provided by Andes Technology. Your actual pay will be based on your skills and experience — talk with your recruiter to learn more. Base pay range $80,000.00/yr - $250,000.00/yr Direct message the job poster from Andes Technology Onsite...

Design Verification Engineer Location: Vancouver, Canada - Portland, OR, - Austin, Texas - Remote Compensation: - Junior–Intermediate: $80K–$150K - Senior–Staff: $150K–$250K Role Overview Join our global CPU development team to verify next-generation RISC-V processors. You’ll collaborate with experienced architects and designers to develop and...