Tim Willemse appointed a Full Professor Algorithms and Logics for Verification
24-Sep-2025
Starting from August 1, 2025 Tim Willemse has been appointed a Full Professor Algorithms and Logics for Verification at Eindhoven University of Technology. His research goal is to improve the quality and reliability of software-intensive systems. To this end, he studies logics and algorithms for reasoning about the behaviour of such systems, and he applies these to systems of industrial scale and complexity such as, e.g., the control software at the Large Hadron Collider at CERN and the proposed...
NWO Veni grant for Jacob Krüger (TU/e SET)
24-Sep-2025
Jacob Krüger (Eindhoven University of Technology, Software Engineering and Technology cluster) has received a 2024 NWO Veni grant in the domain Science (ENW). Through his project “Conceptualizing human assumptions in software evolution (CHASE)”, he will study how developers make assumptions to solve tasks for which they lack knowledge. Such assumptions may be wrong and cause severe defects, but there is no research on how developers make assumptions while software evolves or how particularly wr...
Take-Off Grant for SearchSECO: Finding Vulnerabilities in the Worldwide Software Ecosystem
24-Sep-2025
Utrecht University has received an NWO Take-off Phase 1 grant for the project SearchSECO: Finding Vulnerabilities in the Worldwide Software Ecosystem. The project explores the feasibility of a method-level software search engine that enables fine-grained vulnerability detection, software provenance tracking, and AI-driven security analysis. This study will help assess the technical and commercial potential of SearchSECO and lay the foundation for a future spin-off company. Official web page of ...
PriSC’26: Call for Presentation
24-Sep-2025
Submission Deadline: Fri 17 Oct 2025 Acceptance Notification: Mon 1 Dec 2025 (tentative) Workshop: Sun 11 Jan 2026 Submission website: https://prisc26.hotcrp.com Workshop website: https://popl26.sigplan.org/home/prisc-2026 The Workshop on Principles of Secure Compilation (PriSC) is an informal 1-day workshop without any proceedings. The goal of this workshop is to identify interesting research directions and open challenges and to bring together researchers interested in working on bu...
PLNL 2025: Call for Talks
24-Sep-2025
The 5th VERSEN Workshop on Programming Languages in The Netherlands (PLNL 2025) will take place on Friday, 28 November 2025, in Amsterdam. We invite researchers and practitioners in programming languages from the Netherlands and neighboring countries to contribute talks. Submissions can cover a broad range of topics, including the design and implementation of programming languages, user interfaces and tools, practical applications, and related areas. Talks may present recently published work, w...
New PhD Student @VU Amsterdam
24-Sep-2025
Hallo, I am Khawlah Al-shubati, thrilled to join VU Amsterdam as a PhD researcher within the INNOGUARD project, where I focus on sustainability modeling of Autonomous Cyber-Physical Systems. My journey began with a Bachelor’s in Software Engineering and continued with a Master’s in Computer Engineering at Eastern Mediterranean University, where I researched hybrid optimization using reinforcement learning and evolutionary algorithms. Along the way, I’ve worked as a research and teaching assista...
PhD-TA Position on Evaluation of Threat Assessment Using AI
24-Sep-2025
We are seeking a highly motivated and curious PhD candidate with a background in Computer Science, Software Engineering, Data Science or related field to join our group at Eindhoven University of Technology (TU/e). The topic is focused on studying how to automate threat assessment with AI and how to empirically evaluate it as a complex system with social aspects. Job title: PhD-TA Salary: €2,901 – €3,707 per month Faculty/Department: Department of Mathematics and Computer Science Camp...
NLnet and CWI present first public SCION connection in the Netherlands
24-Sep-2025
On 14 August, NLnet and Centrum Wiskunde & Informatica (CWI) launched a demo of the first public connection in the Netherlands to the SCION network - a new and safer Internet architecture. A live showcase in the CWI Library allows researchers and visitors to experience SCION firsthand. Further info here: https://www.cwi.nl/en/news/nlnet-and-cwi-present-first-public-scion-connection-in-the-netherlands/ ...
Call for Participation - How to Navigate the SE Funding Landscape: An Academic Perspective
24-Sep-2025
📅 Date: October 23, 2025 📍 Venue: Radboud University, Nijmegen 👥 Audience: “Junior” academics (final-year PhD candidates, postdocs, and assistant professors) About the event Securing research funding is a crucial step in building a successful academic career; however, navigating the complex landscape of opportunities in Software Engineering (SE) can be challenging. This event brings together experienced researchers and funding experts to provide insights, share lessons learned, and offer prac...
Community Achievements at ICSME 2025: Paper and Reviewer Distinctions
24-Sep-2025
Two members of our community have been celebrated at the 41st International Conference on Software Maintenance and Evolution (ICSME 2025)! 🙌 Lina Ochoa (Eindhoven University of Technology), together with : Corentin Latappy, Thomas Degueule, Jean-Rémy Falleri, and Romain Robbes from LaBRI, Bordeaux, won a Distinguished Paper Award. Out of 146 submissions, only 45 papers were accepted, and just four received this honor. Their paper, “Roseau: Fast, Accurate, Source-based Breaking Change Analysis i...