Researcher — Lean 4 & Formal Proof Systems (AI Training) About the Role What if your deep mathematical training could directly shape how AI reasons about formal proofs — pushing the boundaries of what machines can understand and verify?
Remote job listings
Find your next remote opportunity from thousands of listings across the globe.
Applied Formal Methods Researcher (Lean 4) About the Role What if your deep mathematical training could directly shape how AI reasons, proves, and thinks?
Lean 4 Proof Engineer — Mathematical Formalization About the Role What if your deepest mathematical instincts could directly shape how AI understands and reasons about formal proof?
Formal Verification Scientist (Lean 4 & Mathlib) About the Role What if your deepest mathematical expertise could directly shape how AI understands and reasons about formal proof?
Remote contract opportunity for JavaScript engineers to evaluate and improve AI systems. Review and evaluate AI-generated JavaScript solutions, create and refine JavaScript-focused AI prompts, and identify logic errors.
At Webflow, we’re building the world’s leading AI-native Digital Experience Platform, and we’re doing it as a remote-first company built on trust, transparency, and a whole lot of creativity. This work takes grit, because we move fast, without ever sacrificing craft or quality.
English Writing Generalist – Quality Review (AI Training) About the Role We're looking for sharp, detail-oriented English writing professionals to help evaluate and improve AI-generated content.
Who we are is what we do. Deel is the all-in-one payroll and HR platform for global teams. Our vision is to unlock global opportunity for every person, team, and business.
Who we are About Stripe Stripe is a financial infrastructure platform for businesses. Millions of companies - from the world’s largest enterprises to the most ambitious startups - use Stripe to accept payments, grow their revenue, and accelerate new business opportunities.
Who we are About Stripe Stripe is a financial infrastructure platform for businesses. Millions of companies - from the world’s largest enterprises to the most ambitious startups - use Stripe to accept payments, grow their revenue, and accelerate new business opportunities.
Discord is used by over 200 million people every month for many different reasons, but there’s one thing that nearly everyone does on our platform: play video games.
Discord is used by over 200 million people every month for many different reasons, but there’s one thing that nearly everyone does on our platform: play video games.
About HumanSignal Real-world data is the competitive edge in AI. HumanSignal is a human data partner for companies building AI models and products.
Opportunity Overview Handshake AI is inviting actors, improvisers, and performers to join a paid, collaborative improv project to work with one of the leading AI companies.
Are you an experienced Backend Engineer eager to shape the future of AI? Large-scale language models are evolving rapidly, moving beyond simple chatbots into powerful engines of research, learning, and applied problem-solving.
Remote (Argentina) Permanent, Full-Time Salary ranges: 7,7M - 11M ARG PESOS + Benefits Must have: Advanced/Fluent English speaking skills Join a remote-first team building an AI-native Digital Experience Platform used by entrepreneurs and global enterprises alike.
Remotebase is more than just a job search platform - we're building a remote work community where you can thrive and succeed. We connect top tech talent with top clients and make it easy for you to find the job you want. So why wait?
Tips for finding remote jobs
- Set up job alerts on multiple platforms to never miss an opportunity.
- Highlight your remote work experience and self-management skills.
- Prepare for video interviews and remote work assessments.
- Customize your resume and cover letter for each remote position.
- Build a strong online presence on LinkedIn and professional networks.