Open app
Sign up to access all features of our service.
  • Job search
  • Favorites
  • Create a CV
    New
  • Salaries
  • Subscriptions

Remote Lean 4 Proof Engineer: Formalize Math for AI

Alignerr

New York, NY

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 Masters 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

Apply
Vacancy posted 1 day 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
  • Remote Researcher: Lean 4 & Formal Proof Systems for AI
     ...Alignerr is seeking a Researcher for Lean 4 & Formal Proof Systems to translate sophisticated human-written proofs into machine-verifiable formalizations. This fully remote role is ideal for mathematically mature researchers, focusing on clarity and correctness in formalization... 
    Remote work
    Contract work
    Flexible hours

    Alignerr

    United States
    1 day ago
  • Formal Verification Scientist (Lean 4 & Mathlib)

    $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 work
    Hourly pay
    Ongoing contract
    Contract work
    Freelance
    Flexible hours

    Alignerr

    United States
    2 days ago
  • Remote: Formal Verification Scientist (Lean 4/Mathlib)
     ...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 work
    Hourly pay
    10 hours per week
    Flexible hours

    Alignerr

    Sheffield, TX
    5 days ago
  • Mathematical Formalization Specialist (Lean / Formal Proof Systems)

    $50 - $150 per hour

     ...Mathematical Formalization Specialist (Lean / Formal Proof Systems) $50-150/hr Remote Freelance STEM About the Role What if your...  ...could directly shape the future of AI reasoning? We're looking for...  ...experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or... 
    Remote work
    Hourly pay
    Ongoing contract
    Contract work
    Freelance
    Flexible hours

    Alignerr

    United States
    2 days ago
  • RF Processing Engineer/Scientist 4 (ES4)
     ...RF Processing Engineer 4 Epsilon C5I, a division of Epsilon Systems Solutions, is a 100...  ...problems with the exploitation of data from remote sensors. Employ the system engineering...  ..., JIRA, Confluence). Familiarity with AI/ML models to process and analyze large... 
    Remote work
    Contract work
    Work experience placement
    Immediate start
    Relocation

    Navstar

    Dayton, OH
    2 days ago
  • Senior Math Libraries Engineer - AI and HPC

    $184k - $287.5k

     ...NVIDIA Math Libraries team is looking for a senior engineer to join our development efforts in the area of kernel generation for AI and HPC, specifically targeting matrix operations, JITing and fusions...  ...184,000 USD - 287,500 USD for Level 4, and 224,000 USD - 356,500 USD for... 
    Remote work

    NVIDIA

    Santa Clara, CA
    4 days ago
  • Senior Software Engineer - Distributed Systems
     ...Senior Software / Data Engineer Decentriq is the rising...  ...The role can be fully remote (± 4 h CET) or based in our...  ...end-to-end. AI-Powered Productivity –...  ...our tech stack future-proof. Requirements...  ...development. No need for a formal motivational letter. Just... 
    Remote work
    Work at office
    Immediate start

    Decentriq

    United States
    2 days ago
  • Security Engineer, Automation
     ...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 work
    Work at office
    Immediate start
    Relocation package

    Mercor Alabaster

    New York, NY
    2 days ago
  • AI Architect for Testing - Generative AI Architect - Quality Engineering Transformation
     ...This is 100% remote Must come from a company from similar...  ...Corp IT Software Engineer 4 - AI Architect for Testing - Generative...  ...testing practices Lead proofs of concept, pilot programs,...  ...Experience working in Agile/Lean environments Knowledge of... 
    Remote work
    2 days per week
    3 days per week

    Anveta

    United States
    22 hours ago
  • Sales Engineer - AI/Data Platform | Remote & 4-Day Week
     ...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, NY
    3 days ago
  • (Remote) Mechanical Engineering
     ...Mechanical Engineer 3/4 Location US-NM-White Sands Test Facility, Las Cruces...  .... Will prepare and present informal and formal presentations to the customer and management...  ...extensive use of stairs, and access to remote structures. Typically required to lift and... 
    Remote work
    Full time

    Sierra Lobo

    Las Cruces, NM
    3 days ago
  • 6K8CI4-Systems Engineer 4

    $119.13 per hour

     ...13 Shifts: First Onsite/remote/hybrid: 100% on site in St. Charles...  ...for this assignment -OJT or formal classroom training. Regular...  ..., & System Health (RM&SH) Engineer for a Weapons Program in Saint...  ...the work statement. • Level 4: typically, 9 or more years'related... 
    Remote work
    Full time
    Part time
    Work experience placement
    For subcontractor
    Work at office
    Immediate start
    Flexible hours
    Shift work

    LanceSoft

    Missouri
    3 days ago
  • Sr. Technologist - AI Systems & Performance Lab
     ...will establish and lead an AI Systems & Performance...  ...highly skilled team of engineers and researchers. Drive...  ...technical depth rather than formal management. Pragmatic...  ...and results; (4) geographic location; (...  ..., Colorado, New York or remote jobs that can be performed... 
    Remote work
    Temporary work
    Flexible hours
    Shift work

    SanDisk

    Milpitas, CA
    22 hours ago
  • Industrial Engineer Staff - Level 4

    $95k - $167.44k

     ...Industrial Engineer Staff - Level 4 | Lockheed Martin Lockheed Martin Aeronautics in Fort Worth, TX...  ...Industrial Engineering teams. Applying Lean Manufacturing and Theory of Constraints...  ...security clearance. From onsite to remote, we offer flexible work schedules to... 
    Remote work
    Full time
    Temporary work
    Work experience placement
    Work at office
    Flexible hours
    3 days per week

    Lockheed Martin Corporation

    Fort Worth, TX
    22 hours ago
  • Software Test Engineer
     ...solutions. Our expertise spans AI-first enablement,...  ...Job Title : Software Test Engineer Location: Tysons Corner, VA / Remote Employment Type: Full-...  ...Required Skills & Experience ~4+ years of software...  ...thousands of online courses. Formal mentorship programs for... 
    Remote work
    Full time

    Sky Solutions LLC

    United States
    2 days ago
  • Senior Software Test Engineer
     ...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 work
    Full time
    Temporary work
    Worldwide

    Aleron

    Leander, TX
    3 days ago
  • Quality Assurance/Engineering

    $55k - $70k

     ...search of a Quality Assurance Engineer - AI-Augmented Quality Engineering...  ...healing test frameworks. This is a remote position. What We're...  ...AI-powered QA tools, building proof-of-concepts and making recommendations...  ...enjoy a 100% match on up to 4% of your contributions,... 
    Remote work
    Temporary work
    Shift work

    Millennium Systems International

    United States
    2 days ago
  • Industrial Engineer Staff - Level 4

    $95k - $167.44k

     ...Aeronautics in Fort Worth, TX is seeking a Level 4 Industrial Engineer Staff to drive Enterprise excellence...  ...Engineering teams. • Applying Lean Manufacturing and Theory of Constraints...  ...What's In It For You: From onsite to remote, we offer flexible work schedules to... 
    Remote work
    Full time
    Temporary work
    Work experience placement
    Work at office
    Flexible hours

    Lockheed Martin Corporation

    White Settlement, TX
    3 days ago
  • Remote- Systems Engineering -

    $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 work
    Work experience placement
    Flexible hours

    JSfirm.com

    Denver, CO
    1 day ago
  • QA Test Engineering

    $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 work
    Full time
    Work experience placement
    Local area
    Night shift
    Weekend work

    hackajob

    New York, NY
    3 days ago
  • Senior Software Quality Engineer 1
     ...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 work
    Fixed term contract
    Work at office
    Flexible hours

    Modernizing Medicine

    Boca Raton, FL
    3 days ago
  • Developer Advocate - Physical AI & Robotics

    $183.63k - $275.38k

     ...infrastructure for the global AI economy. We are building...  .... Built by engineers, for engineers. From large...  ...You are welcome to work remotely from the United States....  ...~401(k) plan: Up to 4% company match with immediate...  ...be required to provide proof of employment eligibility... 
    Remote work
    Temporary work
    Immediate start

    Nebius

    United States
    22 hours ago
  • Software Engineer (Engineer III to Principal) - Formal Methods

    $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 work
    Full time
    Internship
    Local area
    Flexible hours

    CertiK

    United States
    2 days ago
  • Sr Principal Flight Test Engineer (IPTL) Level 4 (AHT)

    $129.3k - $193.9k

     ...Sr Principal Flight Test Engineer – Integrated Product Team Lead...  ...Product Team Lead (IPTL) level 4 to lead projects as part of the...  ...position is 100 % onsite with no remote or hybrid options. An active...  ...programmable‑logic integration for formal test events. Plan, organize... 
    Remote work
    Shift work

    Northrop Grumman

    Northridge, CA
    3 days ago
  • Remote Survey Statistician & AI Validation Specialist

    $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 work
    Hourly pay
    Flexible hours

    DataAnnotation

    Jackson, MS
    22 hours ago
  • Systems Engineer, Linux and AI

    $88k - $136.9k

     ...As an Associate Systems Engineer, you'll join a global team...  .... Perform remote installations of Linux systems...  ...business problems into AI use cases, define requirements...  ...Hours & On Call • 3-4 days at Ashburn office....  ...via online resources or formal training. ~ Project... 
    Remote work
    Work experience placement
    Internship
    Work at office
    Local area
    Worldwide
    Flexible hours
    Afternoon shift

    Visa

    Ashburn, VA
    4 days ago
  • F-16 Electrical Engineer Staff (level 4)
     ...F-16 Electrical Engineer Staff (Level 4) Join the Lockheed Martin Aeronautics team at Hill Air Force...  ...Installation (TVI) and Kit Proof (KP) events which typically last for up...  ...What's In It For You From onsite to remote, we offer flexible work schedules to comprehensive... 
    Remote work
    Temporary work
    Overseas
    Flexible hours

    Lockheed Martin Corporation

    South Weber, UT
    2 days ago
  • REMOTE Manufacturing Engineering
    Manufacturing Engineer Functional area: Production Onsite or Remote: Onsite Country/Region:...  ...core culture and lead Lean/Six Sigma...  ...work, OEE, mistake‑proofing) to reduce waste, optimize...  ...Production System (SPS/4.0). Identify,...  ...be substituted for formal educational qualifications... 
    Remote work
    Temporary work
    Flexible hours

    Epiroc Group

    Nashville, TN
    3 days ago
  • Systems Engineer - Software Applications

    $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 work
    Long term contract
    Contract work
    Immediate start

    ConsultNet

    United States
    3 days ago
  • Developer 4, Systems Software
     ...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 work
    Temporary work

    Merastar Insurance Company

    Richardson, TX
    2 days 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