Live DataUpdated hourly

New Grad Lean 4 Proof Engineer Mathematical Formalization Jobs

Entry-level roles asking for zero to one year of experience

5 entry-level Lean 4 Proof Engineer Mathematical Formalization roles at 1 companies, posted in the last 30 days.

Filtered to postings marked entry level or asking for at most one year of experience. Senior titles are excluded.

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr

Remote

Posted: Sep 14, 2026

Chicago, IL

View Details Apply Now

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr

Remote

Posted: Sep 14, 2026

Sheffield, TX

View Details Apply Now

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr

Remote

Posted: Sep 14, 2026

Dallas, TX

View Details Apply Now

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr

Remote

Posted: Aug 27, 2026

Miami, FLBe among the first 25 applicants

Contract

Software & SaaS

Consulting & Professional Services

Lean 4

Lean 3

Lean

Coq

Isabelle/HOL

Agda

+1 more

View Details Apply Now

Lean 4 Proof Engineer - Mathematical Formalization

Alignerr

Remote

Posted: Aug 27, 2026

Sheffield, TXBe among the first 25 applicants

Contract

Software & SaaS

Consulting & Professional Services

Lean 4

Lean 3

Lean

Coq

Isabelle/HOL

Agda

+1 more

View Details Apply Now

Stop spending hours hunting for the right job posting.

New jobs like these get 200+ applicants within 24 hours. Let them come to you the minute they go live — straight to Telegram.

7-day free trial · No credit card required

Companies hiring new grad Lean 4 Proof Engineer Mathematical Formalizations

Alignerr

5 entry-level roles

24/7 job-alert agent

Get alerts for new grad Lean 4 Proof Engineer Mathematical Formalization jobs

Entry-level Lean 4 Proof Engineer Mathematical Formalization roles reach you within minutes of going live. Applying early is most of the battle for a first job.

Instant Telegram alerts·7-day free trial·No credit card required