Sort by
Refine Your Search
-
extensions, and scalable verification via symbolic automata and related decision procedures Routing algebras: composable, algebraic representations of distributed routing protocols, as a principled basis for
-
spirit and enthusiasm for working in a distributed, multi-institution team We offer A stimulating and international working environment Excellent working conditions Opportunity to perform state-of-the-art
Enter an email to receive alerts for distributed "https:" positions