Lean Proof Architect for AI Reasoning

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands‑on experience in formal proof systems — especially Lean — to help push the boundaries of what machine‑verifiable mathematics can...

Senior Software Architect (100% Remote Worldwide) Join Tether and Shape the Future of Digital Finance At Tether, we’re not just building products, we’re pioneering a global financial revolution. Our cutting-edge solutions empower businesses—from exchanges and wallets to payment processors and ATMs—to seamlessly integrate reserve-backed tokens across...

AI Research Engineer (Agentic Posttraining) 100% Remote Worldwide Join Tether and Shape the Future of Digital Finance At Tether, we’re not just building products, we’re pioneering a global financial revolution. Our cutting-edge solutions empower businesses—from exchanges and wallets to payment processors and ATMs—to seamlessly integrate...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months, with potential extension Availability: Immediate start About the role We create high-quality STEM...

EPAM Systems, Inc. seeks a Chief Agentic AI Engineer to architect production-grade autonomous agents across runtime, memory, identity, tools and observability. You will guide adoption of AWS Bedrock AgentCore and Strands, shaping long-term memory and context management. You will build MCP-based servers, integrate agent tools, and optimize reasoning for...

At BairesDev®, we've been leading the way in technology projects for over 15 years. We deliver cutting-edge solutions to giants like Google and the most innovative startups in Silicon Valley. Our diverse 4,000+ team, composed of the world's Top 1% of tech talent, works remotely on roles that drive significant impact worldwide. When you apply for this...

Join Hire Hangar and work with fast-growing global companies while building a long-term career. Job Title Full-Stack AI Engineer Location Remote Time Zone US Time Zones (EST–PST) Role Overview We are seeking a senior Full-Stack AI Engineer to join our platform team and own the end-to-end build of a data ingestion and intelligence layer for enterprise...

EPAM Systems, Inc. is seeking a Senior Agentic AI Engineer to architect, build, and run autonomous agent systems at scale. You will make key architectural decisions spanning runtime, memory, identity, tools, and observability for production AI systems. You will lead adoption of AWS Bedrock AgentCore and Strands/LangGraph frameworks, develop memory and...

AI Research Engineer (Agentic Post-training) - 100% Remote Worldwide Join Tether and Shape the Future of Digital Finance At Tether, we’re not just building products, we’re pioneering a global financial revolution. Our cutting-edge solutions empower businesses—from exchanges and wallets to payment processors and ATMs—to seamlessly integrate...