PhD Position in Symbolic AI, Ontologies, Formal Specification, and Software Engineering at University of Koblenz University of Koblenz in Germany

University of California, Riverside is recruiting a Postdoctoral Scholar in Computer Science & Engineering for an open research area position focused on system security . The advertised research themes include vulnerability discovery and analysis , system building , and program analysis , with openness to applicants from broader areas of computer science and engineering who can contribute to impactful and interdisciplinary research. This postdoctoral appointment is based in the Department of Com...

Postdoctoral Position in AI/ML for Sustainable Software Engineering at the University of Mannheim , Germany. The Sustainable Software Engineering Group is offering a full-time postdoc (TV-L 13) starting in Dec 2026 (negotiable). The role focuses on AI/ML for sustainable software engineering , with research topics including green software engineering , code performance optimization , source code analysis , and AI/ML methods for software engineering. The position includes teaching and supervision ...

PhD opportunity in Computational Imaging and Scientific Software Engineering at the Technical University of Munich (Chair of Biological Imaging) in collaboration with the Institute of Biological and Medical Imaging at Helmholtz Munich. The project focuses on building a modern, open, and extensible software ecosystem for optoacoustic image reconstruction and analysis, turning research algorithms into robust tools, and exploring AI-assisted and agentic workflows for scientific imaging. The role si...

Max Planck doctoral positions in computer and information science at CS@max planck: The Max Planck Graduate Center for Computer and Information Science in Saarbrücken, Germany . This is a highly selective PhD program in the broad area of computer science and information science , with research opportunities across the CS spectrum. Admitted students begin at the Saarland Informatics Campus in Saarbrücken, then explore different areas through immersion labs at Max Planck Institutes and partner uni...

New research group opening at Technical University of Munich (TUM) in Fundamentals of Programming . The group focuses on the mathematical foundations of programming and automated reasoning about software , with research spanning programming languages , program analysis , program verification , logic , automata , and the interaction between formal methods and AI . Openings: PhD students and postdoctoral researchers. Supervisor/PI: Florian Zuleger, Professor at TUM. Institution: Technical Universi...