2 baankansen voor coq in België vandaag bijgewerkt
vacatures gevonden
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 translate complex human
Pharmacien Titulaire - BENU Vosseslag à De Haan Êtes-vous un pharmacien motivé avec une passion pour la santé et le bien-être, désireux de prendre la direction d'une pharmacie de village familiale et de gérer une équipe expérimentée ? Alors le poste de Pharmacien Titulaire chez BENU est le défi parf
€ 26.000 – € 41.000per jaar
Betrouwbaarheid schatting: Low
Schatting gebaseerd op marktgegevens. Werkelijke salarissen kunnen variëren afhankelijk van ervaring, bedrijf en locatie.