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

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

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

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

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