Lean 4 Proof Engineer for Formal Mathematics
Mercor
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, translate informal math into formal statements, and assess model proofs for correctness. This is a part-time role with 20–40 hours per week, offering W-2 employment through Cincinnatus. Ideal candidates have hands-on Lean 4 experience, familiarity with mathlib, and a strong proof-based mathematical background. #J-18808-Ljbffr Mercor
Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Lean 4 Proof Engineer for Formal Mathematics in New York, NY vacancy
- 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...SuggestedPart time
$250k - $300k
...We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think... ...interested in people with backgrounds in interactive proof assistants, automated theorem provers, static...SuggestedJane Street Group
New York, NY2 days ago$152k - $241.5k
We are looking for a Senior Software Engineer to join our team enabling CUDA Math Libraries... ...and Engineering, Computer Science, Applied Mathematics, or related science or engineering field... ...and 184,000 USD - 287,500 USD for Level 4.You will also be eligible for equity and...SuggestedFull timeRemote workNvidia
New York, NY2 days ago$184k - $287.5k
We are looking for software engineers to join our development efforts in the area of dense linear... ...Engineering, Computer Science, Applied Mathematics, or related science or engineering field... ...is 184,000 USD - 287,500 USD for Level 4, and 224,000 USD - 356,500 USD for Level...SuggestedFull timeRemote workNvidia
New York, NY2 days ago- ...hiring a Senior Forward Deployed Engineer to design and ship GenAI and... ...customer's organization without formal authorityBonus: applied GenAI or... ...planning (401K) with 4% company matchRestricted Stock... ...team members to take initiative, lean into change, and help expand the...SuggestedContract workTemporary workWork at officeFlexible hoursNight shift
Arm Treasure Data
New York, NY2 days ago $157k - $235k
...execute with privacy at the forefront.We're looking for a Privacy Engineer to join Snap Inc! What you’ll do:Help build privacy into ads... ...together” approach and expect our team members to work in an office 4+ days per week. At Snap, we believe that having a team of diverse...Full timeLive inWork at officeLocal areaSnap
New York, NY4 days ago- ...of fellow cryptographers and engineers passionate about Bitcoin and its... ...minimum viable solutions or proof of concepts on short turnaround... ...gapped banking environments under formal change control, producing the... ...(Required Qualifications): 4-8 years of experience in...
Blockstream
New York, NY1 day ago $220k - $325k
...The Role: Senior Distinguished Engineer Location: New York City The... ...through credibility rather than formal authority What We're Looking For... ...driving adoption of forward-leaning technologies before they become... ...in the world. With over USD 7.4 trillion in passively managed...Second jobLive inWorldwideFlexible hoursShift workS&P Global
New York, NY3 days ago$194k - $291k
...analytics platform, helping over 4,700 customers—including... ...backgrounds to thrive.As a Senior Sales Engineer at Amplitude, you'll be the... ...technical discovery, architect custom proof-of-concept implementations, and... .... Seek and act on feedback. Lean into discomfort. Customer...Work at officeHome officeAmplitude
New York, NY5 days ago$200k - $240k
...AI.The RoleAs a Senior Sales Engineer at Tray.ai, you are the technical... ...one way of working: you're leaning hard into AI, you still build... ...technical role, with at least 4 years in pre-sales, solutions... ...cycles, multiple stakeholders, and formal POCs, and you have a track...Remote workShift worktray.io
New York, NY4 days ago- ...to the product and suppliers assigned. Quality Engineering tools such as: contract review, sampling plans,... ...Continuous Improvement Methodologies (6 Sigma, Lean Mfg. etc.) Education or Formal Training Bachelor of Engineering 4 year degree in technical field Experience 5-7...Contract work
Woodward
New York, NY15 hours ago $140k - $200k
...We have lightning in a bottle: engineers and designers shipping products week in and week out; a lean business team supporting the company... ...during business hours is 3.4 minutes. This requires an ability... ...Do Support new customers from proof-of-concept through production to...- ...Manufacturing companies (within the 4 walls optimization). This... ...large scale manufacturing engineering initiatives. This includes transformation... ...process reengineering Lean six sigma transformation... ...disclosure is (a) in response to a formal complaint or charge, (b) in...Full timeWork experience placementLive inWork at officeLocal area
Accenture
New York, NY4 days ago - ...more of the following: Materials Science, Physics, Chemistry, Mathematics, Biology (or other advanced discipline), particularly at the level... ...applying that expertise to help enterprises transform AI from proof of concept into proprietary intelligence with systems that...Remote jobFull timeContract workFor contractorsFreelance
$200k - $240k
What’s the role?As a Forward-Deployed Engineer at Bilt, you are the technical face of our platform... ...prospective and existing partnersBuilding proof-of-concept integrations and prototypes to... ...terms of qualifications, we’re seeking: 4-5+ years of experience as a software...Immediate startBilt Rewards
New York, NY5 days ago$134.5k - $265.1k
Position Summary Our Deloitte AI & Engineering team works to transform technology... ...Computer Science, Data Science or Engineering.4+ years of experience in software engineering... ...From on-the-job learning experiences to formal development programs, our professionals...Local areaFlexible hoursDeloitte
New York, NY2 days ago$127.5k - $204k
...coordinate root-cause resolution across Product, Engineering, Support, and Services when builds or... ...onsite presence (approximately 3-4 days/week), closely connected to agency... ...or instant messaging platforms without a formal interview process. All legitimate job openings...Work experience placementShift work3 days per weekAxon
New York, NY4 days ago$122k - $240.5k
...scale. We're growing a team of engineers who want to work at the center... ...powered by Claude, from proof-of-concept through production... ...computer science, or related field.4+ years’ experience in a consulting... ...-job learning experiences to formal development programs, our...Work at officeLocal areaVisa sponsorshipFlexible hoursShift workDeloitte
New York, NY5 days ago- ...Manufacturing companies (within the 4 walls optimization). This... ...large scale manufacturing engineering initiatives. This includes transformation... ...process reengineering Lean six sigma transformation... ...disclosure is (a) in response to a formal complaint or charge, (b) in...Full timeWork experience placementLive inWork at officeLocal area
Accenture
New York, NY3 days ago - ...full performance/journey level stationary engineering work operating and maintaining high-... ....S. armed forces. Attach a DD214, member 4, or NGB-22 to your application if you wish... ...foreign colleges or universities must submit proof of degree as certified by a professional...Permanent employmentWork at officeShift work
City-of-Philadelphi
New York, NY1 day ago - ...Position Summary The Senior Mechanical Engineer* is a senior project leader (The team... ...projects of various sizes and complexities. ~4-year Engineering degree. ~ Professional... ..."middle management" position and formal leader and manager of lead designer/engineer...Full timeTemporary workWork at officeLocal area
AllianceIT Inc
New York, NY3 hours ago $34 - $36 per hour
...technical maintenance, repair, operations, and engineering services for uninterruptible power supply... .... Founded in 1998, Pearce has more than 4,000 employees and 28 locations across... .... Conduct periodic site inspections and formal QA/QC gates from design release through...Daily paidFull timeLocal areaFlexible hoursPearce Services
New York, NY1 day ago$90k - $125k
...Veracity Engineering is an industry leader in aviation engineering and management consulting.... ...experience in cyber security, with at least 4 years in red teaming or adversary... ...particular skill. Veracity will require proof of work authorization. Must be willing...Permanent employmentFull timeTemporary workVeracity Engineering
Atlantic City, NJ4 days ago- ...Title: Senior Forward Deployed Engineer — Pod Lead Company: Momentuum blue, a Coforge... ...production AI systems — not pilots, not proofs of concept, not decks. We're Coforge Company... ...a hackathon. ~ Has led a small team, formally or informally, and is comfortable being...Full time
LinkedIn
New York, NY4 days ago $130k - $175k
...Cooley AI is seeking a Senior Endpoint Engineer to join the Innovation team. About Cooley... ...deploying them in a fast-moving, resource-lean environment. Specific duties and responsibilities... ...~ Ability to travel, as required ~4+ years of directly applicable experience...Full timeTemporary workWork at officeFlexible hoursShift workWeekend workCooley AI
New York, NY4 days ago- ...prospects and partners: the demo that makes a skeptical data team lean in, the proof of concept against a real Snowflake or Databricks... ...own data. You're equally comfortable talking with analytics engineers, data architects, and executives, and you enjoy being the technical...
Golden Analytics, Inc.
New York, NY2 days ago - ...Description Summary This Warehouse Automation Engineering position can be responsible for he... ...to be tested. Definitions the proof of concept, formalizes the team, identifies a pilot location... ...warehouse types (ambient, temp control) and Lean methods. Beginner, Required...Remote jobFull timeTemporary work
$150k - $190k
...RoleCanary Technologies is hiring a Sales Engineer to partner closely with Sales, Product,... ...solution design frameworks and proof plans in partnership with Engineering and... ...for sales enablementPartner with Sales to formalize deal execution playbooks covering objection...Full timeWork at officeNight shiftWeekend workCanary Technologies
New York, NY2 days ago$152k - $241.5k
We are looking for a passionate and energized engineer to accelerate the integration of APIs across the CUDA-X math library software stack... ...241,500 USD for Level 3, and 184,000 USD - 287,500 USD for Level 4.You will also be eligible for equity and benefits.Applications for...Full timeRemote workNvidia
New York, NY1 day ago$242.1k - $332.9k
...world.Job DescriptionThe VP-Forward Deployed Engineer operates at the intersection of investment... ....Drive the design and delivery of proof-of-concept and production-ready AI capabilities... ...employees work in the office at least four (4) days per week, with flexibility to work...Full timeH1bWork at officeWork from homeVisa sponsorship1 day per weekAmeriprise Financial
New York, NY2 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Lean 4 Proof Engineer for Formal Mathematics. Be the first to apply!
Related searches
- mathematics specialist New York, NY
- online mathematics New York, NY
- maths graduate New York, NY
- maths coordinator New York, NY
- entry level mathematics New York, NY
- math content creator New York, NY
- math and science teacher New York, NY
- math phd New York, NY
- entry level math New York, NY
- mathematics New York, NY