Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
involves formalization in type theory and the mechanization of results using interactive theorem provers. The project welcomes a broad range of perspectives across functional-imperative programming
-
. Required Knowledge, Skills, Qualifications, Experience Knowledge: In depth specialist knowledge of Immunology theory and practice particularly in relation clinical immunology diagnostics. Detailed
Searches related to graph theory
Enter an email to receive alerts for graph-theory positions