PhD and Postdoctoral Positions in Fundamentals of Programming, Formal Methods, and Automated Reasoning at Technical University of Munich Technical University of Munich in Germany

Fully funded PhD and postdoc positions are advertised in Machine Learning at the CISPA Helmholtz Center for Information Security in Saarbrücken, Germany. The post is shared by Mohamed Abioui , a collaborator member at the MARE-Marine and Environmental Sciences Centre , Department of Earth Sciences, Faculty of Sciences and Technology, University of Coimbra (Portugal). The opportunity itself is at CISPA and is focused on research in machine learning, making it relevant for applicants with backgrou...

University of Southern Denmark’s Centre for Formal Methods and Future Computing (FORM) is advertising PhD and Postdoc positions in Denmark. The research focus is on programming languages , distributed systems , formal methods , and reliable AI-assisted programming . FORM is a new research centre at SDU and collaborates with Lean and other international partners on CSLib. PhD positions : deadline 2026-08-16 (CEST). PostDoc positions : deadline 2026-08-16 (CEST). Application pages are provided in ...

FORM at the University of Southern Denmark is hiring PhD students and postdocs in formal methods , programming , verification , Lean , and CSLib . The post invites applicants to join the Centre for Formal Methods and Future Computing (FORM) and notes that there are many possible projects available. Candidates may also propose their own research project, making this a flexible opportunity for students and researchers with interests in rigorous software and system reasoning. Research areas: formal...

KU Leuven is advertising a PhD in efficient inference for knowledge-based systems within the DTAI research unit (Department of Computer Science) and the EAVISE research group in Sint-Katelijne-Waver, Belgium . The project focuses on improving the efficiency of inference tasks in knowledge-based systems , with research directions including lazy grounding , SMT solving , constraint optimization , and related reasoning-engine techniques. The exact scope can be shaped along the way based on scientif...

At the University of Wuppertal , the Professorship for Software in Data-intensive Applications in the School of Mathematics and Natural Sciences is advertising a postdoc-level research assistant position. The post is relevant for candidates with interests in software , data-intensive applications , and applied computer science . The announcement does not list detailed project topics, but the academic setting suggests work connected to software systems, data processing, and research-oriented deve...