Remote Lean Engineer
Enregistrez cette offre et organisez votre recherche
Créez un compte gratuit pour enregistrer des offres d'emploi, créer des alertes et revenir à cette liste depuis votre tableau de bord.
En continuant, vous acceptez nos Conditions d’utilisation & Politique de confidentialité.
Mercor seeks a Lean Engineer specializing in Formal Mathematics to advance formal proofs using Lean 4 and mathlib.
Apprenez-en plus sur ce poste en lisant les informations ci-dessous, puis postulez pour que votre candidature soit étudiée.
The role focuses on translating competition problems and textbook results into rigorous formal statements and proofs, ensuring fidelity to original content.
You will review AI-generated Lean material, provide precise feedback, and contribute to establishing standards for proof quality and mathlib conventions while collaborating with researchers in a remote, flexible setup. xuezdbg
#J-18808-Ljbffr
Des options de télétravail/travail à domicile sont disponibles pour ce poste.
-
Software Engineer | Remote
Il y a 2 jours
Remote, France Talantir Temps pleinPosition: Software Engineer (Trajectory)Type: Hourly contractCompensation: $70 to $130 per hourLocation: RemoteCommitment: 15 to 25 hours per week with flexibility up to 40 hoursRole ResponsibilitiesReview model generated code trajectories on real world software engineering tasks.Reconstruct and annotate chain of thought reasoning behind each solution...
-
Software Engineer
Il y a 2 jours
Remote, France Talantir Temps pleinPosition: Frontend EngineerType: Part-time positionCompensation: $70–$150 per hourLocation: RemoteCommitment: 10–40 hours/weekRole ResponsibilitiesMatched with companies actively hiring for Frontend Engineer rolesEngage in flexible work arrangements (full-time, part-time, or project-based)Participate in AI-powered matching...
-
Remote Senior Software Engineer – Query Engine
Il y a 3 jours
Remote, France MongoDB Inc. Temps pleinMongoDB is seeking software engineers to join the Query Execution Team and help build a high performing, reliable, and modular distributed query system.N'attendez pas pour postuler après avoir lu cette description ; un grand nombre de candidatures est attendu pour cette opportunité.The role is based remotely in France and involves implementing execution...
-
Senior AI Engineer
Il y a 2 jours
Remote, France BairesDev Temps pleinBairesDev is seeking a Senior AI Engineer (Python, LLMs) to design, develop, and optimize production-grade AI applications powered by Large Language Models.Toutes les compétences, qualifications et expériences pertinentes dont un(e) candidat(e) retenu(e) aura besoin sont listées dans la description suivante.You will translate complex data requirements...
-
Remote Senior Firefox Security Engineer
Il y a 2 jours
Remote, France Mozilla Temps pleinMozilla seeks a Senior Software Engineer to design, build and implement security features for Firefox, with a focus on enterprise users and multi-OS support.Est-ce votre prochain emploi ? Lisez la description complète ci-dessous pour le savoir, et n'hésitez pas à envoyer votre candidature.You will strengthen core security mechanisms and cryptographic...
-
Lead AI Systems Engineer
Il y a 4 jours
Remote, France Eggai Temps pleinEggAI is seeking a hands-on engineering leader to guide a small remote team building production-grade agentic AI systems for enterprise clients.La description complète du poste couvre toutes les compétences associées, l'expérience antérieure et les qualifications que les candidats sont censés avoir.You will validate opportunities, redesign processes,...
-
Senior Fullstack AI Engineer
Il y a 3 jours
Remote, France Talantir Temps pleinContentsquare is seeking a Senior Fullstack Engineer (Applied AI) to join our dynamic product initiatives.Découvrez exactement les compétences, l'expérience et les qualifications dont vous aurez besoin pour réussir dans ce rôle avant de postuler ci-dessous.You’ll build AI-powered features on a modern stack, focusing on delivering value to customers...
-
Senior Backend Engineer – Fintech Blockchain
Il y a 2 jours
Remote, France Talantir Temps pleinMLabs Ltd is seeking a Senior Software Engineer to design, develop, and scale backend services for a high-performance platform.Apprenez-en davantage sur les tâches générales liées à cette opportunité ci-dessous, ainsi que sur les compétences requises.You will own critical projects from APIs to databases, collaborating with product and security to turn...
-
Remote Full-Stack Engineer
Il y a 2 jours
Remote, France Jobgether Temps pleinJobgether is seeking a remote Full Stack Software Engineer in a regulated fintech environment.Assurez-vous de lire la description complète ci-dessous, et n'hésitez pas à postuler immédiatement si vous êtes certain(e) de répondre à toutes les exigences.You will build and maintain backend services and frontend apps using Golang, Java, React, Next.js,...