24 formal opportunities in Vancouver updated today
job offers found
· Page 1 / 2About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with hands-on Lean experience to formalize advanced mathematical arguments for cutting-edge AI research — translating human reasoning into p
About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with hands‑on Lean experience to formalize advanced mathematical arguments for cutting‑edge AI research — translating human reasoning into p
At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern
Join the forefront of AI as a Formal Verification Expert in Lean. Specialize in formalizing advanced mathematical proofs to advance the capabilities of proof assistants and formal verification. We are looking for passionate mathematicians with a deep understanding of rigorous proof construction and
Join the forefront of AI as a Formal Verification Expert in Lean. Specialize in formalizing advanced mathematical proofs to advance the capabilities of proof assistants and formal verification. We are looking for passionate mathematicians with a deep understanding of rigorous proof construction and
Take charge as an Applied Formal Methods Researcher specializing in Lean 4, entirely remote. Dive into the world of advanced mathematical proofs, critical for evolving AI research. In this role, you will apply your mathematical expertise to formalize complex proofs, working at the crossroad of mathe
A pioneering AI workflow company in the Metro Vancouver area is seeking a Mathematical Formalization Specialist. The role involves translating human-written mathematical arguments into precise, machine-verifiable formalizations using Lean and other proof systems. The ideal candidate possesses a Mast
A leading AI partner based in Metro Vancouver is seeking a Mathematical Formalization Specialist with a Master's degree in Mathematics or a related field. The role involves translating human-written mathematical arguments into precise, machine-verifiable formalizations using formal proof languages l
At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting‑edge AI research. Ideal for mathematicians passionate about formal verification and pushing the limits of modern
Overview Location: Remote At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pu
A leading AI research company is seeking a Researcher - Lean 4 & Formal Proof Systems. In this remote position, you will translate complex mathematical proofs into machine-verifiable formats, working closely with AI research teams. Candidates should have a Master’s degree in Mathematics and experien
A leading AI research partner is seeking a Formal Verification Scientist to work remotely and translate advanced mathematical proofs into formal verifications using Lean. The ideal candidate will have a Master’s degree in Mathematics and a strong foundation in rigorous proof writing. Responsibilitie
Join a groundbreaking project as a remote researcher specializing in Lean and formal proof systems. Focus on formalizing advanced mathematical proofs and discovering new capabilities in proof assistants. This role demands exceptional skills in translating complex mathematical reasoning into structur
A leading AI research firm is seeking an Applied Formal Methods Researcher (Lean 4) to formalize mathematical proofs and enhance formal verification processes. The role requires a Master's in Mathematics, rigorous proof writing skills, and hands-on experience with Lean or similar proof systems. The
Become a Formal Verification Scientist focusing on Lean and formal proof languages in a remote role. Collaborate on cutting-edge AI research by formalizing advanced mathematical proofs. We need an expert with a Master’s or higher in Mathematics or a related field, capable of transforming informal pr
AlignerrA pioneering AI workflow company in the Metro Vancouver area is seeking a Mathematical Formalization Specialist. The role involves translating human-written mathematical arguments into precise, machine-verifiable formalizations using Lean and other proof systems. The ideal candidate possesses a Mast
AlignerrAdvance AI research as a Remote Formal Verification Scientist. Focus on crafting rigorous mathematical proofs in Lean to expand the boundaries of formal verification and proof assistants. We seek highly trained mathematicians with expertise in proof construction and formal proof languages, particula
AlignerrOverview Location: Remote At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting-edge AI models. Write and formalize advanced mathematical proofs in Lean for cutting-edge AI research. Ideal for mathematicians passionate about formal verification and pu
AlignerrLocation: Remote Organization: Alignerr Position: Formal Verification Scientist (Lean 4 & Mathlib) Type: Hourly Contract Compensation: $70–$150 /hour Commitment: 10–40 hours/week At Alignerr, we partner with the world’s leading AI research teams and labs to build and train cutting‑edge AI models. Wr
AlignerrA leading AI research partner is seeking a Formal Verification Scientist to work remotely and translate advanced mathematical proofs into formal verifications using Lean. The ideal candidate will have a Master’s degree in Mathematics and a strong foundation in rigorous proof writing. Responsibilitie
Hazzard Screenprinting Ltd.*Company Description** Hazzard Printing Ltd. is a well-established printing company located in Burnaby, British Columbia, Canada. The company specializes in delivering high-quality printing solutions. Known for its commitment to excellence, Hazzard Printing Ltd. serves a diverse range of clients wit
Job Title: Wide Format Print & Finishing Specialist. Company: Caliper Print & Signage Solutions. Location: Richmond BC. About Us: Caliper Print & Signage Solutions is a leading large format print shop specializing in high-quality print and signage solutions for the live event industry an
Westkey Graphics is a forward-thinking organization where you can develop your talents in an environment that focuses on the customer. We are proud to be one of Canada’s leading independent print providers, with a national client base and a wide range of products and services. Westkey Graphics is lo
Kintetsu World ExpressExisting Vacancy - Actively Recruiting *About Us** At **KWE**, we are one of Canada’s fastest growing 3PL service providers. With a global network and a commitment to excellence, we deliver world-class logistics solutions to our customers. Our success is built on the dedication of our people; many o
Sarah Gallop Design Inc.*Company Description** Sarah Gallop Design Inc. (SGDI) is a locally owned full-service home and interior design firm specializing in large-scale renovations and custom homes. Known for creating stunning and functional spaces for clients, the company handles projects ranging from single-room makeover
Westkey Graphics*Summary:** Westkey Graphics is a forward-thinking organization where you can develop your talents in an environment that focuses on the customer. We are proud to be one of Canada’s leading independent print providers, with a national client base and a wide range of products and services. *Position
*Rapid Signs** in Coquitlam is an industry leader in manufacturing high quality wide format custom signage for residential, commercial, retail and industrial establishments. For over 35 years, we have been serving a variety of industries with local and national clients in property development, const
$44,000 – $70,000/year
Estimation confidence: Low
Estimate based on market data for Vancouver. Actual salaries may vary depending on experience, company, and area.
View full salary data →Search for formal jobs in other cities in Canada
Explore other job opportunities in Vancouver