Formal Verification Scientist - Vancouver

Only for registered members Vancouver, Canada

1 week ago

Default job background
$70 - $150 (USD)

Job summary

We are seeking mathematicians with deep training in rigorous proof construction and hands-on experience with formal proof languages, especially Lean.

  • Translate informal mathematical proofs into Lean (and related proof systems) with an emphasis on clarity, structure, and correctness.
  • Analyze generic and domain-specific proofs identifying gaps hidden assumptions and formalizable substructures.

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 $70 - $150 (USD)

    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 mathematicians passionate about formal verification push limits modern proof assist ...

  • Only for registered members Vancouver, British Columbia

    We're committed to helping you look after our environment and strive to ensure a sustainable future for our communities. · ...

  • Only for registered members Vancouver, British Columbia

    In accordance with the Purpose, Vision, Values and Coast Salish Teachings, · safety is a priority at PHSA. · ...

  • Data Scientist

    2 weeks ago

    Only for registered members Vancouver, British Columbia

    DarkVision is seeking a Data Scientist to join our Imaging & AI team. · We are looking for someone who will ensure the statistical validity and business impact of our models by owning experimental design, causal analysis and data integrity audits. · This role is on-site at our No ...

  • Data Scientist

    2 weeks ago

    Only for registered members Vancouver, BC

    We are seeking a Data Scientist to join our Imaging & AI team. You will ensure the statistical validity and business impact of our models by owning experimental design, causal analysis, and data integrity audits. · ...

  • Only for registered members Vancouver, British Columbia

    Lead Field Data Scientist at Mastercard. · Support sales teams to ensure Mastercard Identity highlights maximum benefit of its dataset. · Develop machine learning models to maximize fraud detection. · ...

  • Only for registered members Vancouver, BC

    You will join the Electronics and Optics team as a Verification Engineer Sr. You are meticulous and attentive to detail with high-quality outcomes in all tasks. · ...

  • Only for registered members Vancouver, British Columbia

    We are looking for a passionate and detail-oriented professional to join our team as a Validation/Verification Engineer. You will be responsible for designing, specifying and writing comprehensive test cases for Ansys part of Synopsys - Optics applications. · We offer a comprehen ...

  • Only for registered members Vancouver, BC, Canada

    We strive to build a more sustainable planet by creating innovative solutions that combine satellite imagery of the Earth, · modern software engineering, machine learning and cloud computing to solve the toughest challenges in agriculture, · energy and mining. · ...

  • Only for registered members Vancouver $73,000 - $122,000 (CAD)

    We are committed to helping you look after our environment and strive to ensure a sustainable future for our communities and the world we live in. · Become part of our global network of skilled engineers and scientists working together to leave this world better than we found it. ...

  • Only for registered members Vancouver, BC

    +Job summary · We are looking for an enthusiastic Microbiology Analyst to support the cGMP Quality Control (QC) labs. · +ResponsibilitiesProviding microbial support for aseptic product manufacturing in a cGMP regulated environment · Performing site support activities such as envi ...

  • Only for registered members Vancouver, British Columbia

    +We are looking for an enthusiastic Microbiology Analyst to support the cGMP Quality Control (QC) labs. · Providing microbial support for aseptic product manufacturing in a cGMP regulated environment · Performing site support activities such as environmental monitoring, compresse ...

  • Only for registered members Vancouver

    In accordance with the Purpose, Vision, Values and Coast Salish Teachings, safety is a priority at PHSA. The Genomics Specialist provides genomics support for clinical needs. · The role involves working with laboratory Medical and Operational Leaders and staff to provide genomics ...

  • Only for registered members Vancouver, British Columbia, Canada

    We are looking for a Systems Engineer to support the design and development of systems supporting AI-driven diagnostic tools ensuring they comply with medical device regulations. · Help reshape the world through proactive healthcare while working with cutting-edge technology and ...

  • Only for registered members Vancouver, British Columbia, Canada

    We are looking for a Systems Engineer to support the design and development of systems supporting AI-driven diagnostic tools ensuring they comply with medical device regulations · ...

  • Only for registered members Vancouver Full time $127,000 - $203,000 (CAD)

    + Lead Field Data Scientist: + · - As a Lead Field Data Scientist within Mastercard Identity, you will have a diverse set of responsibilities supporting sales (pre-sales), customer success (post-sale), and product development. · + ResponsibilitiesSupport the sales team to ensure ...

  • Only for registered members Vancouver

    We are seeking an IT Systems Administrator to support the day-to-day operation of our organization's IT environment. · The successful candidate will have a strong background in IT systems administration and experience with cloud infrastructure, virtualization technologies, and di ...

  • Only for registered members Vancouver, British Columbia

    Do you want to work in the space industry and provide hands on support to the day-to-day IT operations of a global company? · ...

  • Only for registered members Vancouver, BC, Canada

    We are seeking an IT Systems Administrator to support the day-to-day operation of our IT environment. The successful candidate will have experience with cloud infrastructure, virtualization technologies and disaster recovery planning. · The IT environment is modern and cloud-firs ...

  • Only for registered members Vancouver

    We Are: Synopsys drives the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-p ...