Postdoc: Networked Systems Abstractions Lab (LASeR) EPFL in Switzerland

EPFL (École Polytechnique Fédérale de Lausanne) is advertising a Postdoc position in the Networked Systems Abstractions Lab (LASeR) in Lausanne, Switzerland. The lab works on programming languages and formal reasoning tools for networked systems , with research directions including: - Design and semantics of network programming languages in the NetKAT family, including quantitative and probabilistic extensions - Scalable verification using symbolic automata and related decision procedures - Rout...

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

Amir Shaikhha, Full Professor at TU Darmstadt , is hiring for postdoc and PhD opportunities in AI Systems / AI Hardware . The post specifically highlights candidates with a Ph.D. and a strong research background in programming languages , compilers , database systems , or computer architecture . This is a strong fit for applicants interested in systems research at the intersection of AI infrastructure, hardware-aware computing, and efficient software systems. Institution: TU Darmstadt, Germany. ...

The University of Southern Denmark invites applications for a two-year postdoctoral researcher position in the Software Engineering section of the Maersk Mc-Kinney Moller Institute in Odense, Denmark. The project is part of the VILLUM Experiment project “Is Correctness Necessary? An Experiment in Test-Free Program Repair” . The research addresses a central challenge in modern software engineering: large language models and AI coding assistants can generate and modify software rapidly, while esta...