Find jobs in AI/ML, Data Science and Big Data
2 results
for Isabelle
(Skill/Tech stack)
-
Senior Applied Scientist, AWS Science of Security USD 167K-226KCoq | Dafny | Formal verification | Haskell | IsabelleFlexible work hoursSenior-level Full TimePortland, Oregon, USA7d ago
-
Research Scientist in the Center for Interdisciplinary Data Science and Artificial Intelligence (CIDSAI) - Dr. Pierre Youssef AED 108K-156KAgent systems | Coq | Formal verification | Isabelle | Language ModelsEducational subsidies for children | Housing subsidyEntry-level Full TimeAbu Dhabi, UAE21d ago