Jobs in Chicago
Home Jobs

Jobs in Chicago

Showing 11 - 20 of 53 results

Set your location
Mathematical Formalization Specialist
Alignerr
Chicago, IL
What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands-on exper...
$50.00 – $150.00/hr Apply Now
Corporate Paralegal
H&P Executive Search
Chicago, IL
Position Overview Job Overview Key Responsibilities Responsibilities What We're Looking For Preferred Qualifications...
$90k – $120k/year Apply Now
Lead Marketing Science Analyst - Category Insights
Albertsons Companies
Chicago, IL
Position Overview Lead on the Marketing Science Engagement team at Albertsons Companies. Key subject matter expert for national Client Succe...
$95k – $124k/year Apply Now
Director, Product Management (Functional Lead) - SaaS
Semios
Chicago, IL
About Semios Group Founded in 2010, Semios Group is a leading agricultural technology company helping growers, agronomists, and ag retailers...
$185k – $210k/year Apply Now
Director of Data Strategy & Analytics
Purchasing Platform, Inc.
Chicago, IL
Position Overview Purchasing Platform Inc. is seeking a Director of Data Strategy & Analytics to lead the data function and drive insight-dr...
$160k – $180k/year Apply Now
Health Policy & Management - AI Content Specialist
Alignerr
Chicago, IL
Position Overview Health Policy & Management AI Content Specialist role at Alignerr Job Overview Rare opportunity for public health profe...
$35.00 – $55.00/hr Apply Now
Health Policy & Management
Alignerr
Chicago, IL
About this job Health Policy & Management — AI Data Trainer About The Role AI is rapidly becoming one of the most influential sources of ...
$35.00 – $55.00/hr Apply Now
Management & Leadership Instructor
Alignerr
Chicago, IL
Position Overview Fully remote, flexible contract role to shape the next generation of AI by leveraging expertise in management and lead...
$35.00 – $70.00/hr Apply Now
Associate Director/ Architect- global investment management firm
Saragossa
Greater Chicago, us
Help design and evolve the technology platform supporting ETF products at one of the world's largest global investment management firms with ...
$200k – $225k/year Apply Now
Applied AI ML Lead
hackajob
Chicago, IL
Position Overview Join JPMorgan Chase and help shape the future of AI-driven innovation in financial services. Job Overview As Lead Appli...
$164k – $260k/year Apply Now
Mathematical Formalization Specialist

What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands-on experience in formal proof systems --- particularly L...

$50.00 – $150.00/hr Apply Now

What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands-on experience in formal proof systems --- particularly Lean --- to work on some of the most intellectually demanding problems in AI development today. This is a fully remote, flexible contract role working alongside leading AI research labs. You'll be translating rigorous human-written mathematics into machine-verifiable formal proofs, operating at the very edge of what proof assistants can currently express and automate.

What You'll Do
  • Translate informal mathematical proofs into Lean (and related proof systems) with precision, clarity, and structural rigor
  • Analyze domain-specific proofs to identify gaps, hidden assumptions, and formalizable sub-structures
  • Construct formalizations that probe the limits of existing proof assistants --- especially where automation fails
  • Collaborate with researchers to design, refine, and evaluate strategies for improving formal verification pipelines
  • Develop readable, reproducible proof scripts aligned with mathematical best practices and proof assistant idioms
  • Provide expert guidance on proof decomposition, lemma selection, and formal modeling strategies
  • Investigate and articulate the reasons automated provers break down --- whether due to complexity, missing lemmas, or library gaps
Must-Have Who You Are
  • Master's degree or higher in Mathematics, Logic, Theoretical Computer Science, or a closely related field
  • Strong foundation in rigorous proof writing across areas such as algebra, analysis, topology, logic, or discrete mathematics
  • Hands-on experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or a comparable formal proof system --- Lean strongly preferred
  • Deep enthusiasm for formal verification, proof assistants, and the mechanization of mathematics
  • Ability to translate dense, informal arguments into clean, structured, machine-verifiable proofs
Nice To Have
  • Familiarity with type theory, the Curry--Howard correspondence, and proof automation tools
  • Experience contributing to large-scale formalization projects such as mathlib
  • Exposure to theorem provers where automated reasoning frequently fails or requires manual scaffolding
  • Strong communication skills for articulating formalization decisions, edge cases, and reasoning strategies
Sample Work You Might Do
  • Formalize classical proofs and compare machine-verifiable structures against textbook arguments
  • Investigate where automated provers break down and document the underlying causes
  • Create Lean proofs that surface deeper patterns or generalizations implicit in the original mathematics
  • Help map the frontier of what formal verification can express, capture, and eventually automate
Why Join Us
  • Work on cutting-edge AI research projects alongside leading labs pushing the limits of machine reasoning
  • Fully remote and flexible --- work on your own schedule, from anywhere
  • Freelance autonomy with the depth and challenge of genuinely frontier-level mathematical work
  • Contribute to a field that is reshaping the reliability and rigor of AI at its core
  • Potential for ongoing work and contract extension as new projects launch
Employees Feedback

No feedback yet. Once people respond to this job, that activity will show here.

Similar Jobs
Journeyman Plumber
Help maintain the physical school facility in a condition of operating excellence so that full educational use of it may be made at all times...
Building Technician – Plumber
The Desert Research Institute (DRI) is seeking a dedicated individual to fill a full-time Building Technician – Plumber position for the Reno...
Math Teacher
Job description available upon request. For further information, please see the attached posting. Thank you for your interest in Clare Public...
Nurse Practitioner or Physician Assistant Outpa...
The Advanced Practice Nurse (APN) or Physician Assistant utilizes a patient-centered coordinated care model, demonstrating competencies in le...
Accountant to Specialise in Tax, Practice, Mayo...
Client Profile: Practicing Firm, Mayo Our client is a practice based in Mayo. They have a reputation for providing excellent tax consultan...
Tax Accountant (Hybrid Schedule)
Eversource will not offer immigration-related sponsorship for this position. Applicants who require immigration sponsorship—either now or in ...
Staff Accountant
The Flagler County Sheriff's Office is committed to providing its citizens with a diverse, competent, trained, and professional workforce by ...
ACCOUNTANT 1
Our mission is to ensure the physical, operational and financial integrity of the regional flood risk management system, in southeastern Loui...
Accountant Ii - Accounting
Description SummaryThe Accountant II is responsible for preparing general ledger month-end journal entries relevant to their assigned functio...
Accountant II - Accounting
The Accountant II is responsible for preparing general ledger month-end journal entries relevant to their assigned functional accounting team...

Why are you reporting this?

No Result Found - Want Us to keep Searching?

Try changing your keyword, or enter your email and we'll let you know when something relevant gets posted.

Get More from Handyhubb

Special discount

Inside Tips

Early Access to new features

You're In!

We've added you in the list.

Expect early access, insider updates, and exclusive offers straight to your inbox

Got it.

We'll let you know when something pops up.