Postdoc in Programming Languages, Formal Methods, and Networked Systems 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...

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...

Postdoctoral position in Systems and Hardware Security at ETH Zürich , Switzerland. The Computer Security Group in the Department of Information Technology and Electrical Engineering is recruiting a highly motivated postdoctoral researcher to work on systems security and hardware security . Research topics mentioned include hardware design security , microarchitectural security , and DRAM security , with a strong emphasis on building novel analysis techniques, uncovering attack surfaces, and des...

EPFL (École Polytechnique Fédérale de Lausanne) is advertising a Postdoctoral Researcher position in the DIAS Lab in Lausanne, Switzerland. The lab works at the intersection of computer science , database systems , data management , and computer architecture , with a focus on data-intensive applications, query processing, distributed data management, and hardware/software co-design. The research themes highlighted in the post include vector query processing , serverless/just-in-time query execut...

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...