Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently ... Self-motivated and comfortable working independently in a remote, asynchronous environment Nice to ...
... finally assist someone in securing the role they were meant for. Here at MLR, we view healthcare ... Ultimate Flexibility - Completely remote, asynchronous, and paced on your terms. Adjust your work ...
... finally assist someone in securing the role they were meant for. Here at MLR, we view healthcare ... Ultimate Flexibility - Completely remote, asynchronous, and paced on your terms. Adjust your work ...
Stay engaged with leads to spark interest and assist in their hiring journey * Keep meticulous and ... Complete Flexibility - Embrace remote, asynchronous, and adaptable work. Shape your schedule around ...
Stay engaged with leads to spark interest and assist in their hiring journey * Keep meticulous and ... Complete Flexibility - Embrace remote, asynchronous, and adaptable work. Shape your schedule around ...
Senior Software Engineer - LLM Trainer
San Francisco, CA · Remote
$125K - $165K/yr
Ability to work independently in a remote, asynchronous, fast-paced environment. * High attention ... These tools assist our recruitment team but do not replace human judgment. Final hiring decisions ...
Quick apply
Senior Software Engineer - LLM Trainer
San Francisco, CA · Remote
$125K - $165K/yr
Ability to work independently in a remote, asynchronous, fast-paced environment. * High attention ... These tools assist our recruitment team but do not replace human judgment. Final hiring decisions ...
Assistant/Associate/Professor of Law - Remote
South Royalton, VT · On-site +1
$90K - $150K/yr
Job Type Full-time, Contract Description Assistant/Associate/Professor of Law - Remote Online ... and asynchronous online teaching. In addition to teaching, faculty provide service to VLGS and ...
Assistant/Associate/Professor of Law - Remote
South Royalton, VT · On-site +1
$90K - $150K/yr
Job Type Full-time, Contract Description Assistant/Associate/Professor of Law - Remote Online ... and asynchronous online teaching. In addition to teaching, faculty provide service to VLGS and ...
Assistant/Associate/Professor of Law - Remote
South Royalton, VT · Remote
$90K - $150K/yr
Description Assistant/Associate/Professor of Law - Remote Online/Remote Non-tenure track, Contract ... and asynchronous online teaching. In addition to teaching, faculty provide service to VLGS and ...
New
Assistant/Associate/Professor of Law - Remote
South Royalton, VT · Remote
$90K - $150K/yr
Description Assistant/Associate/Professor of Law - Remote Online/Remote Non-tenure track, Contract ... and asynchronous online teaching. In addition to teaching, faculty provide service to VLGS and ...
New
Instructional Designer - Assistant
Madison, WI · On-site +1
$50K - $65K/yr
Medical
Retirement
This position will assist in developing and delivering in-person, virtual and asynchronous learning ... off-site/remote. Telecommuting agreements are subject to change at any time. Key Job ...
Instructional Designer - Assistant
Madison, WI · On-site +1
$50K - $65K/yr
Medical
Retirement
This position will assist in developing and delivering in-person, virtual and asynchronous learning ... off-site/remote. Telecommuting agreements are subject to change at any time. Key Job ...
$80K - $110K/yr
PTO
Contribute to a remote-first culture based on asynchronous collaboration, transparency, trust, and ... Familiarity with AI coding assistants, agents, or AI-powered developer tools for engineering ...
New
$80K - $110K/yr
PTO
Contribute to a remote-first culture based on asynchronous collaboration, transparency, trust, and ... Familiarity with AI coding assistants, agents, or AI-powered developer tools for engineering ...
New
Remote Audiologist | Multi-State Licensure Preferred
Dallas, TX · Remote
$75K - $80K/yr
Medical
Dental
Vision
Retirement
PTO
Perform asynchronous hearing aid programming and adjustments * Educate patients on hearing aid use ... Troubleshoot device performance and connectivity issues * Assist patients with Bluetooth pairing ...
Quick apply
Remote Audiologist | Multi-State Licensure Preferred
Dallas, TX · Remote
$75K - $80K/yr
Medical
Dental
Vision
Retirement
PTO
Perform asynchronous hearing aid programming and adjustments * Educate patients on hearing aid use ... Troubleshoot device performance and connectivity issues * Assist patients with Bluetooth pairing ...
Skill and experience with virtual and asynchronous course delivery is highly desirable. NVTI ... assist veterans with finding and keeping meaningful employment • Methods to serve as employer ...
Skill and experience with virtual and asynchronous course delivery is highly desirable. NVTI ... assist veterans with finding and keeping meaningful employment • Methods to serve as employer ...
Python Developer: Real-Time Intelligent Communication Systems
Orlando, FL · Remote
$51.50 - $71/hr
Real-Time Communication Systems * Assist in maintaining and optimizing the existing distributed ... Basic understanding of asynchronous programming and/or multi-threading concepts. * Familiarity with ...
Quick apply
Python Developer: Real-Time Intelligent Communication Systems
Orlando, FL · Remote
$51.50 - $71/hr
Real-Time Communication Systems * Assist in maintaining and optimizing the existing distributed ... Basic understanding of asynchronous programming and/or multi-threading concepts. * Familiarity with ...
Python Developer: Real-Time Intelligent Communication Systems
Orlando, FL · On-site +1
$47 - $64.75/hr
Real-Time Communication Systems * Assist in maintaining and optimizing the existing distributed ... Basic understanding of asynchronous programming and/or multi-threading concepts. * Familiarity with ...
Python Developer: Real-Time Intelligent Communication Systems
Orlando, FL · On-site +1
$47 - $64.75/hr
Real-Time Communication Systems * Assist in maintaining and optimizing the existing distributed ... Basic understanding of asynchronous programming and/or multi-threading concepts. * Familiarity with ...
Python Developer: Real-Time Intelligent Communication Systems
Orlando, FL · On-site +1
$47 - $64.75/hr
Real-Time Communication Systems * Assist in maintaining and optimizing the existing distributed ... Basic understanding of asynchronous programming and/or multi-threading concepts. * Familiarity with ...
Python Developer: Real-Time Intelligent Communication Systems
Orlando, FL · On-site +1
$47 - $64.75/hr
Real-Time Communication Systems * Assist in maintaining and optimizing the existing distributed ... Basic understanding of asynchronous programming and/or multi-threading concepts. * Familiarity with ...
Python Developer: Real-Time Intelligent Communication Systems
Orlando, FL · Remote
$51.50 - $71/hr
Real-Time Communication Systems * Assist in maintaining and optimizing the existing distributed ... Basic understanding of asynchronous programming and/or multi-threading concepts. * Familiarity with ...
Quick apply
Python Developer: Real-Time Intelligent Communication Systems
Orlando, FL · Remote
$51.50 - $71/hr
Real-Time Communication Systems * Assist in maintaining and optimizing the existing distributed ... Basic understanding of asynchronous programming and/or multi-threading concepts. * Familiarity with ...
Assistant Remote Asynchronous information
How does an assistant remote asynchronous typically coordinate tasks and maintain communication with a distributed team?
What are the key skills and qualifications needed to thrive as an assistant remote asynchronous, and why are they important?
What is an assistant remote asynchronous?
What cities are hiring for Assistant Remote Asynchronous jobs?
Cities with the most Assistant Remote Asynchronous job openings:
What are the most commonly searched types of Remote Asynchronous jobs?
The most popular types of Remote Asynchronous jobs are:
What states have the most Assistant Remote Asynchronous jobs?
States with the most job openings for Assistant Remote Asynchronous jobs include:
What job categories do people searching Assistant Remote Asynchronous jobs look for?
The top searched job categories for Assistant Remote Asynchronous jobs are:

$170 - $200/hr
Contractor
Re-posted yesterday
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. Brazil has a vibrant and growing mathematical community - if you live and breathe formal proof and know your way around Lean 4, this is a rare opportunity to contribute to frontier AI from anywhere in Brazil.
- 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