... cutting-edge AI research. If you live and breathe formal proof - and especially if you know your ... Can fluently translate informal mathematical ideas into structured, machine-verifiable formal ...
... cutting-edge AI research. If you live and breathe formal proof - and especially if you know your ... Can fluently translate informal mathematical ideas into structured, machine-verifiable formal ...
Can fluently translate informal mathematical ideas into structured, machine-verifiable formal ... Gain rare exposure to how cutting-edge large language models are built and trained * Potential for ...
Can fluently translate informal mathematical ideas into structured, machine-verifiable formal ... Gain rare exposure to how cutting-edge large language models are built and trained * Potential for ...
Quoter
Kewaunee, WI · Remote
... laser cutting, punching, forming, welding, machining, hardware insertion, finishing and powder ... Self-motivated with the ability to work independently in a remote environment. * Proficiency in ...
Quick apply
Quoter
Kewaunee, WI · Remote
... laser cutting, punching, forming, welding, machining, hardware insertion, finishing and powder ... Self-motivated with the ability to work independently in a remote environment. * Proficiency in ...
Field Service Engineer
North Bethesda, MD · On-site +1
$69K - $80K/yr
Install, repair and train customers on CNC Cutting Machine Products. * Test faulty equipment, apply ... Includes communications with customer operators and maintenance personnel. * Make timely travel ...
Field Service Engineer
North Bethesda, MD · On-site +1
$69K - $80K/yr
Install, repair and train customers on CNC Cutting Machine Products. * Test faulty equipment, apply ... Includes communications with customer operators and maintenance personnel. * Make timely travel ...
... commitment to delivering cutting-edge cloud services. Embracing a remote and flexible work ... Role Overview As a Machine Learning Engineer specializing in Natural Language Processing (NLP) at ...
... commitment to delivering cutting-edge cloud services. Embracing a remote and flexible work ... Role Overview As a Machine Learning Engineer specializing in Natural Language Processing (NLP) at ...
Machine Learning Engineer
$128K - $214K/yr
General information Requisition # R67616 Locations USA-Remote Work Posting Date 05/19/2026 Security ... Join a dynamic team dedicated to national security through cutting-edge technology. Since 1968 ...
Machine Learning Engineer
$128K - $214K/yr
General information Requisition # R67616 Locations USA-Remote Work Posting Date 05/19/2026 Security ... Join a dynamic team dedicated to national security through cutting-edge technology. Since 1968 ...
Field-Based / Remote Travel: Approximately 75% Employment Type: Independent Contractor, 1099 ... or operating within a medical spa or aesthetic practice * Hands-on experience with multiple laser ...
Field-Based / Remote Travel: Approximately 75% Employment Type: Independent Contractor, 1099 ... or operating within a medical spa or aesthetic practice * Hands-on experience with multiple laser ...
MACHINE TOOL OPERATOR
San Diego, CA · On-site +1
$32.46 - $37.84/hr
... remote or isolated sites. You must be able to travel on military and commercial aircraft for ... machining operations on computer numerical control (CNC) machine tools including shop floor ...
MACHINE TOOL OPERATOR
San Diego, CA · On-site +1
$32.46 - $37.84/hr
... remote or isolated sites. You must be able to travel on military and commercial aircraft for ... machining operations on computer numerical control (CNC) machine tools including shop floor ...
Field Service Engineer
Houston, TX · On-site +1
$38/hr
... Cutters, Plate Rolls, Water Jets, Metal Finishing, etc., as well as Auxiliary Equipment, Tooling ... These machines include 2D and 3D Lasers, Press Brakes, Automatic Laser Welders, Punches, 3D ...
Field Service Engineer
Houston, TX · On-site +1
$38/hr
... Cutters, Plate Rolls, Water Jets, Metal Finishing, etc., as well as Auxiliary Equipment, Tooling ... These machines include 2D and 3D Lasers, Press Brakes, Automatic Laser Welders, Punches, 3D ...
Be part of a forward-thinking organization at the forefront of cutting-edge technologies. Ready to embark on an exciting journey as a Remote Entry-Level Data Entry Operator? Take the first step ...
Be part of a forward-thinking organization at the forefront of cutting-edge technologies. Ready to embark on an exciting journey as a Remote Entry-Level Data Entry Operator? Take the first step ...
Machine Learning Engineer Location ... Remote Preferred Resource Location: LATAM About Us: Maxiom Technology is a cutting-edge technology ...
Quick apply
Machine Learning Engineer Location ... Remote Preferred Resource Location: LATAM About Us: Maxiom Technology is a cutting-edge technology ...
Senior Field Service Engineer Advanced Manufacturing Systems (Remote)
Mundelein, IL · Remote
$40 - $55/hr
Machine tools and CNC systems * Laser processing equipment * Additive manufacturing systems ... Help support cutting-edge projects in aerospace, defense, energy, and advanced manufacturing
Quick apply
Senior Field Service Engineer Advanced Manufacturing Systems (Remote)
Mundelein, IL · Remote
$40 - $55/hr
Machine tools and CNC systems * Laser processing equipment * Additive manufacturing systems ... Help support cutting-edge projects in aerospace, defense, energy, and advanced manufacturing
Machine Learning Engineer
Burlington, MA · Remote
$165K - $200K/yr
We're looking for a hands-on Machine Learning Engineer who enjoys turning cutting-edge ML research ... S. government security clearance in the future.' This is NOT a fully remote position! Required ...
Quick apply
Machine Learning Engineer
Burlington, MA · Remote
$165K - $200K/yr
We're looking for a hands-on Machine Learning Engineer who enjoys turning cutting-edge ML research ... S. government security clearance in the future.' This is NOT a fully remote position! Required ...
... and operating conventional machine tools such as lathes, milling machines, drill presses, and ... Select appropriate cutting tools, speeds, and feeds based on material specifications * Maintain ...
Quick apply
... and operating conventional machine tools such as lathes, milling machines, drill presses, and ... Select appropriate cutting tools, speeds, and feeds based on material specifications * Maintain ...
... cutting-edge, well-engineered Machine Learning systems. You will work closely with product and ... As a Remote-First company, actual compensation will be provided in writing at the time of offer, if ...
... cutting-edge, well-engineered Machine Learning systems. You will work closely with product and ... As a Remote-First company, actual compensation will be provided in writing at the time of offer, if ...
... cutting-edge, well-engineered Machine Learning systems. You will work closely with product and ... As a Remote-First company, actual compensation will be provided in writing at the time of offer, if ...
... cutting-edge, well-engineered Machine Learning systems. You will work closely with product and ... As a Remote-First company, actual compensation will be provided in writing at the time of offer, if ...
Summary: The Remote Mower Operator (RMO) is responsible for safe and efficient vegetation ... rotary cutters, tractor implements, and hand tools. • Ensure that assigned vehicle, tooling ...
Quick apply
Summary: The Remote Mower Operator (RMO) is responsible for safe and efficient vegetation ... rotary cutters, tractor implements, and hand tools. • Ensure that assigned vehicle, tooling ...
Frame and Design Specialist NA-06
West Point, NY · On-site +1
$21.89 - $25.53/hr
The official title for this position is Engraving Machine Operator NA-06. The "working title" is ... Uses other specialized equipment such as beveling machine, laser engraver, and COREL DRAW software ...
Frame and Design Specialist NA-06
West Point, NY · On-site +1
$21.89 - $25.53/hr
The official title for this position is Engraving Machine Operator NA-06. The "working title" is ... Uses other specialized equipment such as beveling machine, laser engraver, and COREL DRAW software ...
Remote Cutter Digital Support Technician
Chesterfield, MO · On-site +1
$37K - $46K/yr
Provide targeted remote technical support to Digital Truck operators to diagnose system issues ... cutting (preferred). * Computer Skills: Proficiency with Microsoft Office is preferred. Ability to ...
Remote Cutter Digital Support Technician
Chesterfield, MO · On-site +1
$37K - $46K/yr
Provide targeted remote technical support to Digital Truck operators to diagnose system issues ... cutting (preferred). * Computer Skills: Proficiency with Microsoft Office is preferred. Ability to ...
Senior Machine Learning Engineer
New York, NY · Remote
$180K - $250K/yr
Remote (U.S.) or New York City Compensation: $180K - $250K + Equity Employment Type: Full-time ... re building cutting-edge AI solutions that help some of the world's most recognizable brands ...
Quick apply
Senior Machine Learning Engineer
New York, NY · Remote
$180K - $250K/yr
Remote (U.S.) or New York City Compensation: $180K - $250K + Equity Employment Type: Full-time ... re building cutting-edge AI solutions that help some of the world's most recognizable brands ...
Remote Laser Cutting Machine Operator information
See salary details
$14.90 - $15.71
1% of jobs
$15.71 - $16.52
7% of jobs
$16.52 - $17.33
6% of jobs
$17.33 - $18.14
8% of jobs
$18.30 is the 25th percentile. Wages below this are outliers.
$18.14 - $18.95
11% of jobs
The median wage is $19.61 / hr.
$18.95 - $19.76
20% of jobs
$19.76 - $20.56
14% of jobs
$21.06 is the 75th percentile. Wages above this are outliers.
$20.56 - $21.37
11% of jobs
$21.37 - $22.18
9% of jobs
$22.18 - $22.99
8% of jobs
$22.99 - $23.80
3% of jobs
$14
$19
$23
How much do remote laser cutting machine operator jobs pay per hour?
What are some challenges unique to working as a Remote Laser Cutting Machine Operator, and how can I prepare for them?
What is a Remote Laser Cutting Machine Operator?
What are the key skills and qualifications needed to thrive as a Remote Laser Cutting Machine Operator, and why are they important?
$170 - $200/hr
Contractor
Posted 29 days ago
Job description
About the Role
What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on.
This is a fully remote, flexible contract role working at the intersection of pure mathematics, logic, and cutting-edge AI research. If you live and breathe formal proof - and especially if you know your way around Lean 4 - this is a rare opportunity to do deeply meaningful technical work on your own schedule, from anywhere in Australia.
- Organization
: Alignerr - Type
: Hourly Contract - Location
: Remote - Commitment
: 10-40 hours/week
What You'll Do
- Formalize advanced mathematical arguments and theorems in Lean 4, spanning a wide range of mathematical disciplines
- Contribute to the growth and quality of large-scale formal mathematical libraries, including mathlib
- Construct clean, readable, and well-structured formal proofs that translate informal mathematical reasoning into rigorous machine-checkable form
- Audit and verify existing formal proofs for correctness, completeness, and logical integrity
- Work at the frontier of AI research, helping train the next generation of mathematically capable language models
Who You Are
- Hold a Master's degree or PhD in Mathematics or a closely related field
- Possess a strong background in rigorous mathematical proof writing and logical reasoning
- Have hands-on experience with formal proof assistants -
Lean 4 strongly preferred - Can fluently translate informal mathematical ideas into structured, machine-verifiable formal proofs
- Self-motivated and comfortable working independently in a remote, asynchronous environment
Nice to Have
- Prior experience with proof verification, theorem proving, or mathematical formalization projects
- Familiarity with mathlib or other large-scale formal mathematical libraries
- Background in data annotation, data quality evaluation, or AI training workflows
- Experience across multiple mathematical domains - topology, algebra, analysis, logic, and beyond
Why Join Us
- Work on frontier AI research alongside the world's leading AI labs and research teams
- Fully remote and flexible - structure your work around your life, not the other way around
- Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work
- Contribute directly to formal mathematical libraries that will outlast any single project
- Gain rare exposure to how cutting-edge large language models are built and trained
- Potential for ongoing work and contract extension as new projects launch