Postdoc in Networked Systems Abstractions, Programming Languages, and Formal Methods at EPFL École Polytechnique Fédérale de Lausanne in Switzerland

EPFL (École Polytechnique Fédérale de Lausanne) is advertising a Postdoc in the Networked Systems Abstractions Lab (LASeR) in Switzerland. The lab works at the intersection of programming languages, formal methods, networking, network verification, and systems , with research themes including NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity . The position is aimed at outstanding candidates who want to conduct research on network abstra...

EPFL is advertising a postdoc in the Networked Systems Abstractions Lab (LASeR) led by Nate Foster. The position is aimed at candidates with expertise in programming languages (PL) , formal methods (FM) , and/or networked systems , with an interest in contributing to both research and teaching in a growing lab. This opportunity is based at École Polytechnique Fédérale de Lausanne (EPFL) in Switzerland . The post is shared by Nate Foster, who states that he is hiring and asks that it be shared br...

An exciting PhD opportunity is available at the University of Essex in cache-enabled semantic immersive video delivery , with collaboration from industry and the NexCache team. The project sits within the 6G Lab and the Network Convergence Laboratory , and is supervised by Professor Nikolaos Thomos and Dr Eirina Bourtsoulatze . The research theme combines computer science , electrical engineering , and information technology , with emphasis on immersive media, content semantics, caching, and net...

University of Melbourne is advertising a Postdoctoral Research Fellow / Research Fellow / Senior Research Fellow position in the Faculty of Engineering and Information Technology, based in Parkville, Melbourne, Australia . The project focuses on secure containment for AI agents atop seL4 , with work in formal methods , automated reasoning , interactive theorem proving , formal verification , and AI-assisted verification . The successful candidate will contribute to designing and verifying seL4-b...

Postdoctoral position in Systems and Hardware Security at ETH Zurich in the Computer Security Group , Department of Information Technology and Electrical Engineering. The group works on systems security and hardware security , including novel analysis techniques, attack-surface discovery, and defensive system design. Example research areas mentioned include hardware design security , microarchitectural security , and DRAM security . This is a fixed-term, 100% postdoctoral position in Zurich, Swi...