Formal Verification Scientist - Chicago
1 week ago

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.
Job description
, 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.
Access all high-level positions and get the job of your dreams.
Similar jobs
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 ...
1 week ago
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 ...
4 days ago
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 ...
6 days ago
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 ...
4 days ago
+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 ...
1 week ago
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 ...
1 week ago
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. · ...
3 days ago
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 ...
2 weeks ago
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. · ...
1 month ago
The Senior Cellular Therapy Scientist reflects the mission, vision, and values of NM. · ...
3 weeks ago
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. · ...
3 weeks ago
+The Senior Cellular Therapy Scientist reflects the mission of Northwestern Medicine. · ...
1 week ago
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 ...
1 month ago
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 ...
1 week ago
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. · ...
1 week ago
Electronics & Semiconductor Engineer - Electrical Engineering
Only for registered members
We are seeking a hands-on, technically rigorous Electrical Engineer for infusion systems. · ...
2 weeks ago
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 ...
1 week ago
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. · ...
1 week ago
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. · ...
1 month ago
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. · ...
1 month ago