PhD Research Scientist Internships in Reinforcement Learning, LLM Reasoning and Agentic AI Meta in Switzerland

The University of Vienna’s Faculty of Computer Science is offering two PhD positions within the FWF project EXOSPHERE – Efficient, Expressive and Robust GNNs . The research focuses on graph neural networks (GNNs), with emphasis on developing methods that are efficient, expressive, and robust. The positions are hosted by the Theory and Applications of Algorithms area, providing a research setting centered on theoretical and applied algorithmic computer science. Successful doctoral researchers wil...

Postdoctoral Fellow opportunity in the Department of Electrical and Computer Engineering at The University of Texas at Austin, within the Cockrell School of Engineering. This is a postdoctoral opening focused on electrical engineering and computer science-related work. The post links directly to the UT Austin Workday job posting for application details and submission. No supervisor, funding, or deadline details are included in the provided text....

Predoctoral Research Fellowship (FPI) in Physical Acoustics – CharPAL at Universitat Ramon Llull (La Salle Digital Engineering School, Barcelona, Spain). This PhD opportunity is part of the CharPAL project, Experimental and theoretical characterization of flat and curved parametric acoustic loudspeakers for acoustic engineering problems , funded by the Spanish State Plan for Scientific and Technological Research and Innovation 2024–2027. The position is linked to grant PID2025-175028NB-I00 and i...

Carnegie Mellon University has launched the Conceptual Research on Safe AI (CoRe Safe AI) center, which develops new frameworks for safe artificial intelligence informed by current advances while maintaining a future-oriented perspective. The announcement references a new postdoctoral research position connected with the center. The research focuses on conceptual research, AI safety, and the development of frameworks for trustworthy and safe AI. Further details about the research scope, eligibil...

EPFL (École Polytechnique Fédérale de Lausanne) is advertising a Postdoc: Keystone Project (Machine-Verified LLM Inference) in Switzerland. The project sits at the intersection of formal verification , interactive theorem proving , computer systems , ML infrastructure , and LLM inference . The Keystone project aims to advance machine-checked verification for systems software and AI-assisted proof engineering, with possible research directions including GPU kernel semantics and verification, veri...