Formal Verification Scientist - Chicago

Only for registered members Chicago, United States

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.

Responsibilities

  • 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

  • Work in company

    Power BI Data Scientist

    Only for registered members

    We seek a forward-thinking Data Scientist to lead the development of our next-generation data ecosystemDesign and develop high-impact Power BI dashboards and interactive reportsLeverage advanced DAX and Power Query for analyticsCurate and model raw data into reporting-ready datas ...

    Chicago

    1 week ago

  • Work in company

    Power BI/ Data Scientist

    Only for registered members

    We are seeking a forward-thinking Power BI / Data Scientist to lead the development of our next-generation data ecosystem. · Leverage advanced DAX and Power Query to deliver performant, business-aligned analytics. · Curate, transform, and model raw data into high-quality, reporti ...

    Chicago, IL

    4 days ago

  • Work in company

    Data Scientist

    Only for registered members

    We are interested in every qualified candidate who is eligible to work in the United States. However, we are not able to sponsor visas or take over sponsorship at this time. · As a Data Scientist, you will develop models for use in determining lending criteria and verification pr ...

    Chicago, IL

    6 days ago

  • Work in company

    Medical Laboratory Scientist 1

    Only for registered members

    The Medical Laboratory Scientist is responsible for performing all assigned laboratory testing and reporting. This position requires teamwork to achieve common goals and meet deadlines to provide quality care to clients and patients. · The responsibilities include utilizing requi ...

    Chicago, IL

    4 days ago

  • Work in company

    Medical Laboratory Scientist 1

    Only for registered members

    +Job summary · The Medical Laboratory Scientist 1 is responsible for performing all assigned laboratory testing and reporting for the testing area. · +Utilizes required Personal Protective Equipment (PPE) as defined by the lab area. · Performs basic troubleshooting of equipment a ...

    Chicago, IL

    1 week ago

  • Work in company

    Power BI Data Scientist

    Only for registered members

    We are seeking a forward-thinking Power BI / Data Scientist to lead the development of our next-generation data ecosystem. · Design, develop, and maintain high-impact Power BI dashboards and interactive reports. · Leverage advanced DAX and Power Query to deliver performant busine ...

    Chicago, Illinois, United States

    1 week ago

  • Work in company Remote job

    Senior Data Scientist, Full Stack

    Only for registered members

    SentiLink provides innovative identity and risk solutions empowering institutions individuals transaction with confidence. · We re building future of identity verification United States replacing clunky ineffective expensive status quo solutions faster smarter more accurate. · ...

    Chicago, IL

    3 days ago

  • Work in company

    Manager, Global Sustainability

    Only for registered members

    This position works out of our Willis Tower or Abbott Park, IL locations within the PA Public Affairs Division. This role is responsible for ensuring accuracy, consistency, and assurance-ready documentation across sustainability disclosures, ESG mandatory reporting, sustainabilit ...

    Chicago, IL

    2 weeks ago

  • Work in company

    FMRI C++ Developer

    Only for registered members

    We are seeking a skilled FMRI C++ developer to join our team at Capgemini Engineering. The ideal candidate will have experience in design, development and maintenance of high-performance applications on Linux platforms. · ...

    Chicago, IL

    1 month ago

  • Work in company

    Senior Cellular Therapy Scientist

    Only for registered members

    The Senior Cellular Therapy Scientist reflects the mission, vision, and values of NM. · ...

    Chicago Full time

    3 weeks ago

  • Work in company

    Senior Cellular Therapy Scientist

    Only for registered members

    The Senior Cellular Therapy Scientist reflects the mission of NW Medicine, · Responsible for manufacturing of autologous and allogeneic cell and gene therapy products according to standard operating procedures. · ...

    Chicago, IL Full time

    3 weeks ago

  • Work in company

    Senior Cellular Therapy Scientist

    Only for registered members

    +The Senior Cellular Therapy Scientist reflects the mission of Northwestern Medicine. · ...

    N. Fairbanks, Chicago, IL Full time

    1 week ago

  • Work in company

    Principal Consultant

    Only for registered members

    Ready to build the future with AI? · At Genpact, we don't just keep up with technology—we set the pace. Inviting applications for the role of Principal Consultant,Lead AI-first transformation – Build and scale AI solutions that redefine industries · Make an impact – Drive change ...

    Chicago, IL

    1 month ago

  • Work in company

    Data Scientist

    Only for registered members

    We are interested in every qualified candidate who is eligible to work in the United States. · About the role: · As a Data Scientist, you will be one of Enova's most valuable team members. You will develop, · enhance and test the company's models for use in determining · the appr ...

    Chicago, IL

    1 week ago

  • Work in company

    World Language Spanish Teacher

    Only for registered members

    The Chicago High School for the Arts seeks a World Language Spanish Teacher for the school year. · We are ChiArts. Chicago's first public arts high school. · ...

    W Augusta Blvd Chicago, Illinois, United States

    1 week ago

  • Work in company

    Electronics & Semiconductor Engineer - Electrical Engineering

    Only for registered members

    We are seeking a hands-on, technically rigorous Electrical Engineer for infusion systems. · ...

    Chicago, IL

    2 weeks ago

  • Work in company

    2025-2026 Bilingual Teacher (Spanish/English)

    Only for registered members

    The Chicago High School for the Arts seeks a dedicated Bilingual Teacher (Spanish/English) to provide instruction and language support services for multilingual learners in both Spanish and English. · Bachelor's degree from an accredited institution. · Valid Illinois Professional ...

    W Augusta Blvd Chicago, Illinois, United States

    1 week ago

  • Work in company

    2025-2026 English Learner Program Teacher

    Only for registered members

    The Chicago High School for the Arts seeks an English Learner Program Teacher in the Academic Department for the school year.We are ChiArts. Chicago's first public arts high school. · ...

    W Augusta Blvd Chicago, Illinois, United States

    1 week ago

  • Work in company

    Associate - Transaction Advisory - Corporate Finance

    Only for registered members

    The BRG Transaction Advisory practice is seeking to add professionals due to client and market opportunities and demand. The ideal candidate should be prepared to work in a team-oriented environment on a diverse range of transaction advisory assignments. · ...

    Chicago, IL

    1 month ago

  • Work in company

    Associate - Transaction Advisory - Corporate Finance

    Only for registered members

    The BRG Transaction Advisory practice is seeking to add professionals due to client and market opportunities and demand. The ideal candidate should be prepared to work in a team-oriented environment on a diverse range of transaction advisory assignments. · ...

    Chicago, IL

    1 month ago