Lean 4 Proof Engineer - Vancouver

Only for registered members Vancouver, Canada

1 month ago

Default job background
$70 - $150 (USD)

Job Summary

We partner with leading AI research teams to build cutting-edge models.

Write advanced mathematical proofs in Lean for AI research.

This role sits at the intersection of mathematics and computer science,
translating human-written arguments into precise formalizations,
helping map the frontier of what formal verification can express,
capture, automate.
  • Analyze generic proofs identifying gaps hidden assumptions.

Lorem ipsum dolor sit amet
, consectetur adipiscing elit. Nullam tempor vestibulum ex, eget consequat quam pellentesque vel. Etiam congue sed elit nec elementum. Morbi diam metus, rutrum id eleifend ac, porta in lectus. Sed scelerisque a augue et ornare.

Donec lacinia nisi nec odio ultricies imperdiet.
Morbi a dolor dignissim, tristique enim et, semper lacus. Morbi laoreet sollicitudin justo eget eleifend. Donec felis augue, accumsan in dapibus a, mattis sed ligula.

Vestibulum at aliquet erat. Curabitur rhoncus urna vitae quam suscipit
, at pulvinar turpis lacinia. Mauris magna sem, dignissim finibus fermentum ac, placerat at ex. Pellentesque aliquet, lorem pulvinar mollis ornare, orci turpis fermentum urna, non ullamcorper ligula enim a ante. Duis dolor est, consectetur ut sapien lacinia, tempor condimentum purus.
Get full access

Access all high-level positions and get the job of your dreams.



Similar jobs

  • Only for registered members Vancouver, British Columbia

    As a Senior Solutions Engineer, you will be responsible for supporting our enterprise customers. · ...

  • Only for registered members Vancouver, British Columbia

    Microsoft is seeking a highly skilled Senior Data Engineer to join its Azure Data Insights and Analytics team. This role offers an exciting opportunity to work at the forefront of data transformation and analytics, contributing to the development and maintenance of a sophisticate ...

  • Only for registered members Vancouver, British Columbia, Canada

    We are seeking a hands-on AI Sales Engineer to design and demonstrate intelligent solution frameworks, architectures and proofs-of-concept that showcase how AI can accelerate business outcomes for our clients within the content management landscape (Box, Sharepoint and Blob Stora ...

  • Only for registered members Vancouver, Canada

    We are searching for a Lead React Native Engineer to lead the development of our greenfield fully React Native App built with AWS Amplify framework. · ...

  • Only for registered members Vancouver, British Columbia

    We are seeking experienced Bridge Engineers Maritime Engineers and Civil Structures Specialists who are open to relocating to New Zealand. · You will be part of a collaborative high-performing team delivering impactful solutions in transport infrastructure for regional and nation ...

  • Only for registered members Vancouver, BC

    Come join the company that is reinventing cloud security and empowering businesses to thrive in the cloud. As the fastest-growing startup ever, Wiz is on a mission to help organizations secure cloud environments that will accelerate their businesses. · ...

  • Sales Engineer I

    2 weeks ago

    Only for registered members Vancouver, British Columbia

    Dialpad is the leading AI-powered customer communications platform transforming how businesses communicate with their customers. · ...

  • Sales Engineer I

    2 weeks ago

    Only for registered members Vancouver, British Columbia

    Dialpad is the leading AI-powered customer communications platform transforming how businesses communicate with their customers. · 1-2 years of customer-facing experience working as either a Solution Architect Sales Engineer Implementation Engineer Solutions Consultant or similar ...

  • Only for registered members Vancouver, British Columbia Remote job

    + Come join the company that is reinventing cloud security and empowering businesses to thrive in the cloud. · As a Senior Solutions Engineer , you will be responsible for supporting our enterprise customers by providing technical leadership to them and prospective customers thro ...

  • Only for registered members Vancouver, British Columbia

    This role focuses on leading proof-of-concept projects that leverage AI tools to improve operational efficiency, reliability, and cost-effectiveness. · ...

  • Only for registered members Vancouver, British Columbia, Canada

    Lantern is searching for a seasoned Data Engineering Manager who will help shape the future of our Data Platform. This role will involve leading a team of Data Engineers and will require hands-on contribution to the design, development, and maintenance of the platform. · ...

  • Only for registered members Vancouver, BC, CA

    We are looking for a Software Engineer who enjoys new development, continual learning and project variety to join our team in Vancouver. You will have the opportunity to learn new tech stacks from colleagues or formal training while working with talented software engineers strivi ...

  • Only for registered members Vancouver, British Columbia

    About Suger: · A revenue platform helping customers grow on cloud marketplaces of AWS Azure GCP Alibaba. · We take tech debt out of marketplace sales providing an API-first approach to quote-to-cash and billing processes. · We're working on B2B customers ranging from large ente ...

  • Data Engineer

    1 month ago

    Only for registered members Vancouver, BC

    This Data Engineer role involves designing and implementing robust data pipelines, collaborating with data architects and business analysts to build reliable data models, and maintaining robust data export solutions. The ideal candidate has experience in building enterprise data ...

  • Only for registered members Vancouver, BC, Canada

    We bring life to urban downtowns suburban hubs small towns and rural areas through master-planned communities mixed-use developments parks and recreation facilities The result vibrant economic centers resilient neighborhoods and welcoming places that feel like home If you're pass ...

  • Only for registered members Vancouver, BC, Canada

    We are seeking a Senior Electrical Engineer to lead the design of electrical systems for buildings. You will work with our team to evaluate, recommend, and specify engineered systems or products in compliance with applicable codes and engineering standards/practices. · ...

  • Only for registered members Vancouver Full time

    + Develop electro-mechanical device development from concept through proof-of-concept, design verification, · and commercialization. + Conduct feasibility, stress testing, and iterative experimentation across multiple product concepts. · + Collaborate directly with clinicians wh ...

  • Lead Architect

    1 month ago

    Only for registered members Vancouver, British Columbia Remote job

    We're looking for a Lead Architect to define the next generation of cloud, data and AI platforms. This is a high-impact technical leadership role that spans system design, platform scalability and data intelligence - ensuring our architecture remains resilient extensible and AI-r ...

  • Only for registered members Vancouver, British Columbia, Canada

    We are adding a Product Designer to our Product Design Team to help accelerate our development roadmap, advance multiple proof-of-concept devices and strengthen our engineering activities supporting current products. · ...

  • Only for registered members Vancouver, British Columbia

    We're looking for a Frontend Engineer to join a growing engineering team building modern cloud-based web applications used at global scale. · This role is ideal for someone who is front-end focused but comfortable collaborating across the stack contributing to backend services an ...