Lean 4 Formal Mathematics Engineer — Part Time (20-40h)

AI Trainer Jobs

Cincinnatus LLC is seeking Lean engineers and formal mathematicians to help its AI lab state and prove mathematics in Lean 4. You will write and review Lean proofs, formalize statements from informal math, and provide precise feedback on AI-generated proofs. Part-time commitment of 20–40 hours per week with potential to increase. The role involves collaborating with researchers to ensure fidelity, contribute to proof quality guidelines, and work with mathlib across multiple areas of mathematics. #J-18808-Ljbffr AI Trainer Jobs

Apply

Vacancy posted 6 days ago

Similar jobs that could be interesting for youBased on the Lean 4 Formal Mathematics Engineer — Part Time (20-40h) in New York, NY vacancy

Lean 4 Proof Engineer for Formal Mathematics
Cincinnatus LLC is placing Lean engineers and formal mathematicians at a leading AI lab to advance machine-checked mathematics in Lean 4. You will write and review lean proofs,... ...proofs for correctness. This is a part-time role with 20-40 hours per week, offering W-2 employment...
Part time
Mercor
New York, NY
2 days ago
Formal Mathematician - Fully Remote
...write real, machine-checked mathematics in Lean. 1. Overview A leading... ...lab is looking for Lean engineers, formal mathematicians and proof... ...write and review Lean 4 proofs, turn informal... ...role is for you. This is a part-time commitment of at least 20 hours per week, with...
Part time
Remote job
Contract work
Weekday work
Mercor
New York, NY
2 days ago
Formal Mathematician - Fully Remote | Up to $110/hr Part-time
$110 per hour
..., Larry Summers , and Jack Dorsey . Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation... ...$90–$110/hour Location: Remote Commitment: 20–40 hours/week Role Responsibilities Write correct...
Part time
Remote job
Contract work
Summer work
Weekday work
Mercor
New York, NY
5 days ago
QA Engineer
...grocery industry is enormous (it accounts for 4% of GDP) — and grocery food waste is a... ...with technology. We're looking for a QA Engineer to own quality and testing across our web... ...Engagement Independent contractor, ~20 hours/week Initial 3–4 month contract with...
Part time
Contract work
For contractors
Remote work
Flexible hours
Guac
New York, NY
4 days ago
Hotel Maintenance Engineer
...Vision benefits to eligible full-time associates. Paid time off plans... ...Program is open to both full-time and part-time associates who qualify.... ...will be accepted until 4/29/26 Benefits We are pleased... ...paid holidays per year ~ Up to 20 days of paid vacation per year,...
Part time
Hourly pay
Full time
Temporary work
Immediate start
Worldwide
Courtyard Atlantic City
Atlantic City, NJ
2 days ago
Geotechnical Engineer | 20+ Years
$132.38k - $220.63k
...Principal Geotechnical Engineer Wiss, Janney, Elstner... ...Engineer to be an integral part of expanding and... ...locally and company-wide, formally and informally, on-and-off... ...related field Minimum of 20 years of relevant... ...vesting immediately Time off to care for yourself...
Work at office
Immediate start
Worldwide
WJE
New York, NY
3 days ago
Supervisory Life Scientist/Environmental Engineer/Physical Scientist
...spend less than 25% of your work time on contracts, grants/... ...volunteer experience. *If you have part-time work experience, read... ...major, as listed. Environmental Engineer: You must have one of the... ...knowledge of the physical and mathematical sciences underlying professional...
Part time
Full time
Work experience placement
Work at office
Relocation
Environmental Protection Agency
New York, NY
3 days ago
Senior Forward Deployed Engineer
...Senior Forward Deployed Engineer to design and ship... ...and feed the hard parts back into the... ...Delta easier the next time.What you learn in the... ...without formal authorityBonus: applied... ...planning (401K) with 4% company matchRestricted... ...take initiative, lean into change, and...
Contract work
Temporary work
Work at office
Flexible hours
Night shift
Arm Treasure Data
New York, NY
2 days ago
Senior Engineer, Math Libraries - Consumer and Embedded Platforms
$152k - $241.5k
...looking for a Senior Software Engineer to join our team enabling CUDA... ...Engineering, Computer Science, Applied Mathematics, or related science or... ...0 USD - 287,500 USD for Level 4.You will also be eligible for... ...; US, WA, Remote; US, CA, Remote; US, MA, RemoteType: Full time
Full time
Remote work
Nvidia
New York, NY
3 days ago
Datacenter Engineer
$38.08 - $70.44 per hour
...Operations Job Title: Datacenter Engineer Requisition ID: R028208 Job... ...Provide 24 X 7 on call support as part of a weekly on-call rotation... ...computer science or related field, or 4 years’ experience in Systems... ...directed by the Company at any time to promote and support our...
Part time
Hourly pay
Full time
Temporary work
Remote work
Relocation package
Jobleads-US
New York, NY
1 day ago
Senior Math Libraries Engineer - Dense Linear Algebra
$184k - $287.5k
We are looking for software engineers to join our development efforts... ...Engineering, Computer Science, Applied Mathematics, or related science or... ...solvers, eigenvalue solvers and time-domain simulation methods (e.g... ...0 USD - 287,500 USD for Level 4, and 224,000 USD - 356,500...
Full time
Remote work
Nvidia
New York, NY
2 days ago
Privacy Engineer, Level 4
$157k - $235k
...the forefront.We're looking for a Privacy Engineer to join Snap Inc! What you’ll do:Help build... ...our team members to work in an office 4+ days per week. At Snap, we believe that... ...California; Palo Alto, California; New York, New York; Bellevue, WashingtonType: Full time
Full time
Live in
Work at office
Local area
Snap
New York, NY
4 days ago
Civil Engineering Expert
$150 per hour
...Part-time Civil Engineers are needed to evaluate construction defects and delay claims. Topics include Stormwater, Water and Sewer Systems, Pavements... ...Engineering PE and/or SE License in at least 1 state. 20+ years of combined academic/professional experience in your...
Part time
Hourly pay
For contractors
LinkedIn
New York, NY
4 days ago
Sr. Distinguished Engineer
$220k - $325k
...Role: Senior Distinguished Engineer Location: New York City... ...credibility rather than formal authority What We're... ...driving adoption of forward-leaning technologies before they... ...world. With over USD 7.4 trillion in passively... ...Flexible Downtime: Generous time off helps keep you...
Second job
Live in
Worldwide
Flexible hours
Shift work
S&P Global
New York, NY
3 days ago
Senior Sales Engineer - Enterprise
$194k - $291k
...platform, helping over 4,700 customers—including... ...thrive.As a Senior Sales Engineer at Amplitude, you'll be... ...DoDeal Execution (70% of time)Lead technical evaluation... ...Collaboration (20% of time)Partner with Product... ...Seek and act on feedback. Lean into discomfort. Customer...
Work at office
Home office
Amplitude
New York, NY
11 hours ago
Senior Electrical Engineer
$155k - $175k
...delivering sustainable design, engineering, and consultancy solutions for... ...to complete projects on time and on budget. Required Qualifications... ...benefits for full-time and part-time positions. These benefits... ...offer nine paid holidays and 20 days PTO that accrue per year...
Part time
Full time
For contractors
Work experience placement
Poutrix
New York, NY
2 days ago
Senior Sales Engineer
$200k - $240k
...The RoleAs a Senior Sales Engineer at Tray.ai, you are the... ...way of working: you're leaning hard into AI, you still... ...technical role, with at least 4 years in pre-sales,... ...stakeholders, and formal POCs, and you have a track... ...of the role, and are one part of many other compensation...
Remote work
Shift work
tray.io
New York, NY
4 days ago
GTM Engineer - Email, Voice, SMS, LinkedIn (Flex Title & Time Commitment)
The GTM engine is running. Leads are moving. We need another GTM Engineer to expand capacity... ...Shaped around your strengths Flexible Time: Full-time, part-time, fractional, or side-gig Flexible... ...by a repeat founder and supported by a 20-person team. The product is already...
Part time
Full time
Temporary work
Second job
Live in
Remote work
Flexible hours
59 Pines
New York, NY
11 hours ago
Systems Engineering
$130k - $250k
...At Goldman Sachs, our Engineers don't just make things – we make things possible... ...offerings, as it is a core part of providing a strong overall employee... ...to active, non-temporary, full-time and part-time US employees who work at least 20 hours per week, can be found...
Part time
Full time
Temporary work
Work at office
Immediate start
Goldman Sachs Bank AG
New York, NY
2 days ago
Senior Electrical Engineer - Buildings
$107.1k - $160.7k
...design practice. Our architects, engineers, interior designers,... ...accuracy and completeness and manage time to meet project budget and schedule... .... Actual compensation for part-time roles will be pro-rated based... ...time employees (working at least 20 hours per week) have access to...
Part time
Full time
Temporary work
For contractors
For subcontractor
Casual work
Work at office
Local area
Flexible hours
Stantec
New York, NY
11 hours ago
Intern Engineer: Highway and Traffic - Summer 2027
$26.34 - $39.5 per hour
...historic growth, it is an exciting time to join our team of employee‑... ...(s) by performing basic engineering related tasks which may reflect... ...state. Job Type: Intern Full/Part Time: Full time Job Category:... ...individuals with disabilities; or (4) exercising any other right...
Part time
Full time
For contractors
Summer work
Internship
Work at office
Local area
Immediate start
Relocation
HNTB Corporation
New York, NY
1 day ago
Computer Engineer
$750 per month
...Experts to participate in our BS in Computer Engineering program design project. This position is... ...we offer our students. This is a part-time/project-based position in which you would... ...academic degree. Meetings/Workshops: 3-4 90 min synchronous workshops per week during...
Part time
For contractors
Immediate start
Remote work
Western Governors University
New York, NY
23 hours ago
Hardware Engineer
$95.5k - $149.2k
...an experienced Enterprise Hardware Specialist and VDI Engineer with a strong DevOps background to support the... ...superior demonstration of our service standards. Full-time and part-time employees working at least 20 hours a week on a regular basis are eligible to participate...
Part time
Permanent employment
Full time
Contract work
Local area
Remote work
Noblis
Atlantic City, NJ
4 days ago
Unified Communications Integration Engineer, Public Safety
$141k - $188k
...Unified Communications Integration Engineer to integrate and deploy the... ...Cloud-Based Emergency Real-Time Communication Platform. You will... ....What You’ll Do Working as part of a real-time communication team... ...messaging platforms without a formal interview process. All...
Part time
Work experience placement
Work at office
Axon
New York, NY
3 days ago
Senior Engineer, Invest Tech (New York, New York)
$115k - $140k
...including: ~ Flexible paid time off ~ Hybrid work schedule... ...About the Role: As an Engineer, Investment Technology, you will... ...Requirements of the Role: ~4+ years of experience in data engineering... ...140,000 /year Full Time / Part Time Full time Worker Type...
Part time
Full time
Work at office
Flexible hours
Invesco
New York, NY
7 days ago
Principal Electrical Engineer
$150k - $220k
...company delivering sustainable design, engineering, and consultancy solutions for natural and... ...by law.Arcadis offers benefits for full-time and part-time positions. These benefits include... ...reimbursement. We offer nine paid holidays and 20 days PTO that accrue per year.The...
Part time
Full time
For contractors
Work experience placement
ARCADIS
New York, NY
5 days ago
Senior Traffic Engineer
$162k - $243.1k
...Traffic Engineer- Project Manager A career in transportation is more than... ...and within budget and time frame. Takes an active mentoring... ...benefits package for full-time and part-time employees, including: Medical... ...employees (working at least 20 hours per week) have access to...
Part time
Full time
Temporary work
Casual work
Work at office
Local area
Remote work
Flexible hours
3 days per week
Stantec
New York, NY
11 hours ago
Senior Fire Protection Engineer
$107.1k - $160.7k
...design practice. Our architects, engineers, interior designers,... ...in client satisfaction and on-time delivery. Your Key Responsibilities... ...eligible. Actual compensation for part‑time roles will be pro‑rated based... ...employees (working at least 20 hours per week) have access to...
Part time
Full time
Temporary work
For contractors
For subcontractor
Casual work
Work at office
Local area
Flexible hours
Stantec Consulting International Ltd.
New York, NY
2 days ago
Senior Value Engineer - Technology Consultant
$131.25k - $153.75k
...a Senior Value Engineer, you are spearheading... ....Requirements:4+ years of... ...be at different parts of the value journey... ...whiteboarding sessions or formal readouts and... ..., engineering, mathematics, or related... ...based on a Full Time Schedule. Total... ...through our 70-20-10 learning framework...
Full time
Work experience placement
Work at office
Local area
Remote work
Worldwide
Flexible hours
Celonis
New York, NY
4 days ago
Packaging Engineering Intern
...Part of the Interparfums group founded in 1982, Interparfums USA develops, manufactures... ...current student with an interest in packaging, engineering, sustainability, or innovation? We’re... ...). Able to work at least part-time (16+ hours/week) during the school year...
Part time
16 hours
Internship
Local area
Worldwide
Interparfums, Inc.
New York, NY
2 days ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Lean 4 Formal Mathematics Engineer — Part Time (20-40h). Be the first to apply!