ML Engineer for Formal Methods

ОписаниеMistral provides full-stack AI solutions, from frontier models to developer tools, applications, and compute. It partners with enterprises in high-stakes industries to co-create customized AI systems that they can run on their terms.ЗадачиRun pre-training, post-training, and deployment of state-of-the-art models on clusters with...

ОписаниеMistral provides full-stack AI solutions, from frontier models to developer tools, applications, and compute. It partners with enterprises in high-stakes industries to co-create customized AI systems that they can run on their terms.ЗадачиRun pre-training and post-training, and deploy state-of-the-art models on clusters with thousands...

Snap Inc. in Paris is hiring a Machine Learning Engineer to advance ML for time-series data on wearable devices. You will design, implement and deploy models across Specs hardware and software teams, collaborating globally to push the next generation of sensing technology.You will write clean, tested code, work with ML frameworks like PyTorch and mlflow, and...

Brief IA recherche un Data Scientist confirmé, compétent en industrialisation du ML et en environnement Cloud moderne. Vous accompagnerez une équipe Digital Marketing dans le développement de solutions data-driven à fort impact.Vous travaillerez au plus près des équipes métier, de l’exploration des données jusqu’au déploiement et au monitoring...

About MistralMistral provides full-stack AI solutions: from frontier models to developer tools, applications, and compute. We partner with enterprises tackling the hardest problems across high-stakes industries like finance, manufacturing, defense, healthcare, and the public sector, co-creating customized AI systems that they can run on their terms.We are a...

About UsHarmattan AI is a next-generation defense prime building autonomous and scalable defense systems. Following the close of a $200M Series B, valuing the company at $1.4 billion, we are expanding our teams and capabilities to deliver mission-critical systems to allied forces.Our work is guided by clear values: building technologies with real-world...

Описание:Mistral provides full-stack AI solutions, from frontier models to developer tools, applications, and compute. It partners with enterprises in high-stakes industries to co-create customized AI systems that can be run on their terms.Задачи:Run pre-training, post-training, and deployment of state-of-the-art time-series foundation models...

Doctolib is hiring a Senior Machine Learning Engineer to join their Patient Solutions team. You will lead the development of AI and ML systems to enhance healthcare access, working on intelligent solutions and large-scale retrieval systems.This position requires 7+ years of experience in ML and AI, with a focus on production-scale models and modern retrieval...

Doctolib GmbH is seeking a Senior Machine Learning Engineer to join the ML Engineering team in Patient Solutions. You will design and scale AI systems that improve access to quality care and patient health management across Europe.You will build retrieval pipelines, work on LLM/VLM models, and deploy production-grade AI with a strong focus on observability,...