1 computar-algebra Postdoctoral positions at EPFL in Switzerland

Postdoc: Networked Systems Abstractions Lab (LASeR)

EPFL | Switzerland | about 12 hours ago

, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity. Main