Sort by
Refine Your Search
-
Listed
-
Field
-
offers an unusual opportunity to work at the intersection of Isabelle/HOL, the seL4-verified microkernel, information-flow security, and AI-assisted theorem proving. The project aims to develop a formally
-
offers an unusual opportunity to work at the intersection of Isabelle/HOL, the seL4-verified microkernel, information-flow security, and AI-assisted theorem proving. The project aims to develop a formally
-
this. Experience of project-managing large, multi-centre clinical trials is essential. We are seeking a candidate with a proven track record of working within the oncology research field, possessing a deep
Searches related to big data
Enter an email to receive alerts for big-data positions