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