Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing
-
of assignments may occur to a limited degree. The faculty determines the distribution of the various assignments. The weighting of the different assignments may vary over time. Employment will be in accordance
Searches related to distributed computing
Enter an email to receive alerts for distributed-computing positions