Postdoctoral Researcher in Database Systems and Data Management EPFL in Switzerland

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

The Department for Law and Economics at the University of St. Gallen is seeking a postdoctoral researcher to work at the intersection of law and technology. The research focuses on legal AI, legal technology, and the implementation of legal automation in practice. The successful researcher will conduct high-impact research, develop an independent research profile, and contribute to the broader law and technology community through publications and community events. The role includes mentoring mas...

The Keystone project at EPFL focuses on building a formally verified ML inference engine at the intersection of formal methods and high-performance systems. The work combines interactive theorem proving with secure computer systems and ML infrastructure, aiming to make verified systems competitive with unverified ones in development effort, features, and performance. The postdoctoral researcher will contribute to the design and construction of a machine-verified LLM inference engine . Possible r...

PhD position at the Institute of Computer Science , University of St.Gallen (Switzerland) in cybersecurity and applied cryptography . The successful candidate will work in the Cybersecurity & Applied Cryptography Research Group led by Prof. Dr. Katerina Mitrokotsa . Research topics include secure multi-party computation , privacy-enhancing technologies , privacy-preserving authentication , secure and privacy-preserving protocols, network security, and secure/privacy-preserving machine learning. ...