Remote Lean 4 Proof Engineer: Formalize Math for AI
Alignerr
Alignerr is seeking a Lean 4 Proof Engineer to transform informal mathematics into machine-verifiable formalizations. This remote position offers flexibility to mathematicians passionate about proof construction. Your responsibilities will include translating proofs into Lean 4, analyzing gaps in formal arguments, and collaborating with AI researchers. Ideal candidates hold a Master's in a relevant field and possess a strong proof-writing foundation. Join us working at the frontier of AI research with meaningful projects that push the limits of mechanized mathematics. #J-18808-Ljbffr
Vacancy posted 4 days ago
Similar jobs that could be interesting for youBased on the Remote Lean 4 Proof Engineer: Formalize Math for AI in New York, NY vacancy
- ...A leading AI research organization seeks a Lean 4 Proof Engineer specializing in mathematical formalization. This role involves translating informal mathematical proofs into machine... ...offers competitive hourly pay, flexible remote work, and opportunities to collaborate on...Remote workHourly payFlexible hours
Alignerr
Sheffield, TX2 days ago - Alignerr is seeking a Lean 4 Mathematical Formalization Expert to work remotely on AI training. This role involves translating rigorous mathematical content into machine-verified formal proofs using Lean 4. Candidates should possess strong experience in formal proofs,...Remote job
$35 - $65 per hour
...A leading AI training company is seeking a Pure Mathematics Specialist to... ...an exciting freelance project. This remote role is ideal for experts fluent in Lean 4 and theoretical mathematics. You... ...topics while constructing complex proofs and ensuring rigorous mathematical...Remote workHourly payFreelanceInvisible Agency
New York, NY1 day ago$170 per hour
...Formal Verification Scientist (Lean 4 & Mathlib) $170-200/hr Remote Freelance STEM What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced...Remote workHourly payOngoing contractContract workFreelanceFlexible hoursAlignerr
United States4 hours ago- ...A leading AI research partner seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib. The ideal candidate will be experienced... ...arguments into formal proofs, primarily using Lean. Responsibilities... ...strategies. This is a fully remote position with competitive...Remote workHourly pay10 hours per weekFlexible hours
Alignerr
Sheffield, TX3 days ago - ...Location: Remote - United States | Full Time... ...of KonnectAi , an AI-powered platform designed... ...for a Sales Engineer / Solutions Architect... ...Run live demos and proof-of-concepts for prospects... ...important than formal credentials What We... ...401(k) with up to 4% match Opportunity...Remote workFull time
Konnect, LLC
New York, NY1 day ago - ...intelligence to power the AI economy. We partner... ...layer that makes a lean security team... ...with first Fridays remote. What You'll... ...on daily - not just proof-of-concept scripts... ...~ Strong software engineering skills in Python, TypeScript... ...grant vested over 4 years ~ Up to $1...Remote workWork at officeImmediate startRelocation package
Mercor Alabaster
New York, NY8 hours ago - ...NinjaCat in Canada is seeking a Sales Engineer to serve as a technical expert during the sales process. In this role, you will... ..., and exceptional communication skills. The company offers a remote work culture, a 4-day work week, and unlimited vacation. #J-18808-Ljbffr...Remote work
NinjaCat
New York, NY1 day ago $128.89k - $184.12k
Search by Keyword (use Keyword for Remote Positions) Select how often (in days) to receive... ...Information System Security Officer (Engineer Info Assurance 4) Location: Fairfax, VA, Virginia,... ...customers. Our capabilities range from C5ISR, AI and Big Data, cyber operations and...Remote workFull timeContract workWork at officeLocal areaWorldwide$50 - $150 per hour
...A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on translating informal mathematical proofs into formal, machine-verifiable formats using Lean and other proof systems. Candidates should have a Master...Remote workHourly payAlignerr
San Francisco, CA3 days ago- ...Integration's Modification Retrofit Engineer (MRE) in the sustainment area... ...ranging from onsite to remote, along with a comprehensive benefits... ...support global verification/proofing events as required.... .... Schedule for this Position 4×10 hour days, 3 days off per...Remote workWork at officeFlexible hours3 days per week
$184k - $356.5k
Senior Math Libraries Engineer - AI and HPC page is loaded## Senior Math Libraries Engineer - AI and HPClocations: US, CA, Santa Clara: US, PA, Remote: US, WA, Remote: US, CA, Remote: US, MA, Remotetime type: Full timeposted on: Posted Todayjob requisition id: JR1998721...Remote work- ...living through world-leading AI, industry-changing hardware, and remote expert clinicians,... ...focused Technical Install Engineer who is committed to making... ...Ideal Candidate: Minimum 4+ years of related work experience... .../PAT. A curious mind that leans in via researching,...Remote workWork experience placementWork from home
SafelyYou
New York, NY1 day ago $182.9k - $274.9k
...educate global Field Sales Engineers, customers, and... ...hybrid, on-device, and edge AI/ML architectures, with... ...briefings, workshops, proof-of-concepts, and technical... ..., model serving, and remote client access. Experience... ...free services, and for formal education related to...Remote workRelocationShift work- ...solutions. Our expertise spans AI-first enablement,... ...security. Software Test Engineer Location: Tysons Corner, VA / Remote Employment Type: Full-Time... ...Skills & Experience ~4+ years of software testing... ...of online courses. Formal mentorship programs for career...Remote workFull time
Sky Solutions LLC
United States3 days ago - ...Title: Senior Software Test Engineer Location: Leander, TX (Remote) Employment Type: Temp (... ...industry experience with formal software testing and... ...framework like Kanban, SCRUM, or Lean Development ~ Experience... ...call or message from our AI Talent Scout about this...Remote workFull timeTemporary workWorldwide
Aleron
Leander, TX1 day ago $40 per hour
...A pioneering AI development company is seeking experienced quantitative professionals to evaluate AI-generated analysis and provide insights that shape future AI systems. The role allows for remote work flexibility across multiple countries and offers competitive pay...Remote workHourly payDataAnnotation
Springfield, IL4 days ago- ...allowed us to create an AI-enabled, specialty-specific... ...India, we are a team of 4,500+ passionate problem... ...Senior Software QA Engineer to join our team and drive... ...office-based roles and remote availability for some roles... ...from ModMed without a formal interview process, and valid...Remote workFixed term contractWork at officeFlexible hours
Modernizing Medicine
Boca Raton, FL1 day ago $62.68k - $146.91k
...the first 25 applicants Get AI-powered advice on this job and... ...professionals for this role. QA Engineer 3 Location Remote, US Job Summary Responsible... ...in an IT environment with formal test tools and common software... ...States $84,200.00-$180,400.00 4 days ago Quality Assurance Engineer...Remote workFull timeWork experience placementLocal areaNight shiftWeekend workhackajob
New York, NY1 day ago$40 per hour
...A leading AI development company is seeking experienced quantitative professionals to contribute to cutting-edge AI systems. This fully remote role allows for a flexible schedule, with responsibilities including evaluating AI-generated work and solving quantitative problems...Remote workHourly payFlexible hoursDataAnnotation
Santa Fe, NM4 days ago$115k - $230k
...Research Software Engineer Blockchain technology is enabling a rapidly-growing era of innovation... ...properties of smart contracts and formalize properties for use in our automated... ...of equivalent experience. Minimum of 4 years of software development experience...Remote workInternshipCertiK
United States8 hours ago- ...search of a Quality Assurance Engineer – AI-Augmented Quality Engineering... ...healing test frameworks. This is a remote position. What We're Looking... ...AI-powered QA tools, building proof‑of‑concepts and making... ...ll enjoy a 100% match on up to 4% of your contributions, thanks...Remote workTemporary workShift work
Meevo 2
New York, NY1 day ago $129.3k - $193.9k
...to the C2BMC Regional Systems Engineering Manager. Work will be performed in a closed area with no remote work options available. Basic... ...related STEM discipline with 4 years of relevant work experience... ...development. Support formal and informal engineering technical...Remote workWork experience placementFlexible hours$40 per hour
...A leading data science company is seeking experienced quantitative professionals to join their remote team. You will evaluate AI-generated analyses, design quantitative problems, and contribute to developing cutting-edge AI systems. Ideal candidates have over 2 years of...Remote workHourly payDataAnnotation
Bismarck, ND3 days ago$40 per hour
...A leading AI development company is seeking experienced quantitative professionals to evaluate AI-generated analysis and solve quantitative problems. You'll work fully remotely and have a flexible schedule, starting at $40+ USD per hour. Ideal candidates should have 2...Remote workHourly payFlexible hoursDataAnnotation
Jackson, MS3 days ago$40 per hour
...A leading AI development company is seeking experienced quantitative professionals for a fully remote position. You will evaluate AI-generated quantitative work, design problems for AI systems, and provide impactful feedback. Ideal candidates have 2+ years in a quantitative...Remote workHourly payFlexible hoursDataAnnotation
Nashville, TN3 days ago$40 per hour
...A leading AI systems company is looking for experienced quantitative professionals to evaluate AI-generated work and develop robust analytical models. This fully remote position allows for a flexible schedule and pays competitively starting at $40+ USD per hour. Ideal...Remote workHourly payFlexible hoursDataAnnotation
California, MO3 days ago- ...Developer 4, Systems Software wanted by Merastar Insurance Company in Richardson, TX... ...knowledge & skills of IS projects teams. Support proof-of-concept activities for new technologies... .... Lead team in phase gates for projects. Remote working/telecommuting benefits. Hybrid...Remote workTemporary work
Merastar Insurance Company
Richmond, VA3 days ago $700 - $900 per month
...operations company find an AI Marketing Automation... ...centralized, AI-driven marketing engine that improves execution... .../week) Location: Fully Remote ( PH-based candidates... ...: Overlap with 8 AM - 4 PM Pacific Time... ...working in startups or lean teams Basic programming...Remote workPart timeFor contractorsLocal areaImmediate startBamboo Works Inc
New York, NY1 day ago$35.61 - $84.86 per hour
...Systems Engineer - Software Applications Location: Mendon/Logan, UT... ...ASAP Long-Term Contract (3-4 years) Pay Rate : $35.61-84... ...via Confluence, Agile tools, and formal reports. Communicate system... ...levels). Exposure to AI technology is a big plus....Remote workLong term contractContract workImmediate startConsultNet
United States1 day ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Remote Lean 4 Proof Engineer: Formalize Math for AI. Be the first to apply!
Related searches
- remote coding part time New York, NY
- franchise development manager (remote) New York, NY
- junior devops remote New York, NY
- telecommute New York, NY
- call center remote New York, NY
- remote ruby on rails developer New York, NY
- remote wordpress New York, NY
- remote cra New York, NY
- remote contract New York, NY
- remote video editor New York, NY