... cutting-edge AI research. If you live and breathe formal proof - and especially if you know your ... Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ...
... cutting-edge AI research. If you live and breathe formal proof - and especially if you know your ... Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ...
... and cutting-edge AI research. The Netherlands has one of Europe's strongest traditions in ... Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ...
... and cutting-edge AI research. The Netherlands has one of Europe's strongest traditions in ... Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ...
Senior Consultant (Remote)
Dallas, TX · Remote
... with cutting-edge technology that drives smarter decisions and accelerated growth. Join us in ... Support client engagements as a key team member * Assist with discovery, solution design, and ...
Quick apply
Senior Consultant (Remote)
Dallas, TX · Remote
... with cutting-edge technology that drives smarter decisions and accelerated growth. Join us in ... Support client engagements as a key team member * Assist with discovery, solution design, and ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Software Engineer (AI Training) - Remote Contract
$20 - $100/hr
... coding assistants smarter, safer, and more reliable. This is hands-on engineering work at the ... Design challenging coding prompts and edge-case scenarios to stress-test AI capabilities * Compare ...
Call Center Team Lead
Houston, TX · On-site +1
$17 - $17.75/hr
Remote (U.S.) Hours: Monday-Friday | 9:00 AM - 5:30 PM EST Position Summary Leading Edge ... * Assist with onboarding, training, and mentoring new team members. * Ensure accurate ...
Call Center Team Lead
Houston, TX · On-site +1
$17 - $17.75/hr
Remote (U.S.) Hours: Monday-Friday | 9:00 AM - 5:30 PM EST Position Summary Leading Edge ... * Assist with onboarding, training, and mentoring new team members. * Ensure accurate ...
Virtual Data Entry Assistant (Part-Time)
$17.25 - $22.75/hr
Remote Entry-Level Data Entry Assistant Are you looking for an exciting opportunity to kickstart ... Chance to work with cutting-edge tools and technologies in the data management domain. * Joining a ...
Virtual Data Entry Assistant (Part-Time)
$17.25 - $22.75/hr
Remote Entry-Level Data Entry Assistant Are you looking for an exciting opportunity to kickstart ... Chance to work with cutting-edge tools and technologies in the data management domain. * Joining a ...
Revenue Cycle Management Team Lead
Tampa, FL · On-site +1
$17 - $17.75/hr
Remote (U.S.) Hours: Monday-Friday | 9:00 AM - 5:30 PM EST Position Summary Leading Edge ... * Assist with onboarding, training, and mentoring new team members. * Ensure accurate ...
Revenue Cycle Management Team Lead
Tampa, FL · On-site +1
$17 - $17.75/hr
Remote (U.S.) Hours: Monday-Friday | 9:00 AM - 5:30 PM EST Position Summary Leading Edge ... * Assist with onboarding, training, and mentoring new team members. * Ensure accurate ...
DoD SkillBridge - Admin Assistant
San Antonio, TX · On-site +1
... Edge AI SkillBridge Provider: Vets2PM Location: San Antonio, TX with option for Possible Remote ... An Admin assistant is the supportive force that empowers our leadership. The ideal person for the ...
DoD SkillBridge - Admin Assistant
San Antonio, TX · On-site +1
... Edge AI SkillBridge Provider: Vets2PM Location: San Antonio, TX with option for Possible Remote ... An Admin assistant is the supportive force that empowers our leadership. The ideal person for the ...
Claims Assistant
Orlando, FL · On-site +1
$17.50 - $22.25/hr
... edge technologies such as artificial intelligence and machine learning, crossed with the knowledge ... This is a remote position and Advocate is currently a fully remote team. Advocate is an equal ...
Claims Assistant
Orlando, FL · On-site +1
$17.50 - $22.25/hr
... edge technologies such as artificial intelligence and machine learning, crossed with the knowledge ... This is a remote position and Advocate is currently a fully remote team. Advocate is an equal ...
Claims Assistant
Orlando, FL · Remote
$17.50 - $22.25/hr
... edge technologies such as artificial intelligence and machine learning, crossed with the knowledge ... This is a remote position and Advocate is currently a fully remote team. Advocate is an equal ...
Claims Assistant
Orlando, FL · Remote
$17.50 - $22.25/hr
... edge technologies such as artificial intelligence and machine learning, crossed with the knowledge ... This is a remote position and Advocate is currently a fully remote team. Advocate is an equal ...
Medical Writer Criterion Edge is seeking a remote candidate for the role of Medical Writer to join ... When requested, serve as a project mentor to assist in the training and development of junior staff ...
Quick apply
Medical Writer Criterion Edge is seeking a remote candidate for the role of Medical Writer to join ... When requested, serve as a project mentor to assist in the training and development of junior staff ...
Assistant Operations Manager
$70K - $85K/yr
Description McGowan Mortgages - a top-producing branch of NEXA Mortgage LLC - is hiring a remote ... Access to 300+ lenders and cutting-edge AI-powered workflow tools * Collaborative culture led by ...
Assistant Operations Manager
$70K - $85K/yr
Description McGowan Mortgages - a top-producing branch of NEXA Mortgage LLC - is hiring a remote ... Access to 300+ lenders and cutting-edge AI-powered workflow tools * Collaborative culture led by ...
Administrative Assistant II
Johnstown, PA · On-site +1
$17.75 - $24/hr
Administrative Assistant II Concurrent Technologies Corporation Remote Minimum Clearance Required ... Where Cutting-Edge Innovation Meets Mission-Critical Solutions The CTC Engineering Division ...
Administrative Assistant II
Johnstown, PA · On-site +1
$17.75 - $24/hr
Administrative Assistant II Concurrent Technologies Corporation Remote Minimum Clearance Required ... Where Cutting-Edge Innovation Meets Mission-Critical Solutions The CTC Engineering Division ...
$15.75 - $21/hr
Accurately input and update data into our cutting-edge database systems. * Verify and cross ... Maintain data integrity and confidentiality to uphold the highest security standards. * Assist in ...
$15.75 - $21/hr
Accurately input and update data into our cutting-edge database systems. * Verify and cross ... Maintain data integrity and confidentiality to uphold the highest security standards. * Assist in ...
Assistant Remote Raisers Edge information
What are the most commonly searched types of Remote Raisers Edge jobs? The most popular types of Remote Raisers Edge jobs are:
$170 - $200/hr
Contractor
Re-posted 6 days ago
Job description
Mathematician - Formal Systems & AI Foundations (Remote Contract)
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 contribute to frontier AI development on your own schedule, from anywhere in Germany.
What You'll Do
Who You Are
Nice to Have
Why Join Us
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 contribute to frontier AI development on your own schedule, from anywhere in Germany.
- 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