Postdoc: Keystone Project (Machine-Verified LLM Inference) 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...

The Department of Economics at the University of Zurich is inviting applications for a Pre-Doctoral Program – Global Talent Common Application (70% employment, temporary). This is a pre-doctoral research position in economics designed for qualified applicants from low- and middle-income countries and/or applicants with a refugee background. Selected pre-docs work with a professor in the economics department and gain hands-on experience across the research process: brainstorming, literature revie...

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

ETH Zurich is advertising a Postdoctoral Research Fellowship in Quantum Physics and Computation at the Institute for Theoretical Physics in Zurich, Switzerland. This is an elite 2-year postdoctoral appointment focused on pushing the boundaries of quantum algorithms , quantum cryptography , and complex system computation . The post is aimed at researchers with strong interests in theoretical and computational aspects of quantum science. Funding: The position includes an annual postdoctoral salary...

EPFL’s Networked Systems Abstractions Lab (LASeR) is seeking a postdoctoral researcher to work on the design, semantics, implementation, and verification of abstractions for networked systems. The lab’s research sits at the intersection of programming languages, formal methods, and networking, with a focus on making network programming and reasoning more expressive, more precise, and more practical. The successful candidate will contribute to research on one or more of several directions highlig...