Join Us at ERMSEI:Cybersecurity 2024 - Empirical Research Methods PhD Spring School in Utrecht, May 13-17

28-Feb-2024

We are excited to announce Empirical Research Methods in Software Engineering and Informatics: Cybersecurity Edition (ERMSEI:Cybersecurity 2024), taking place on May 13-17. This PhD school, a highlight since 2013, aims to merge theoretical knowledge with practical application in software engineering and informatics, focusing on cybersecurity this year. Why Attend? ERMSEI 2024 is your gateway to the empirical side of cybersecurity and software engineering. The course offers hands-on experience, ...

Various PhD positions available in the Formal Systems Analysis group, Eindhoven

24-Feb-2024

At Eindhoven University of Technology, the Formal Systems Analysis group works on formally modelling and analysing software controlled systems. This group employs on the one hand mathematics, logics, and algorithms to robustly model and analyse such systems, and on the other hand has strong ties with the industry where all these methods are effectively applied. This group now has a number of vacant PhD positions available. The research within these positions is about increasing the scale of sys...

PhD position available at Leiden University on Energy Efficient GPU Computing

01-Feb-2024

Ben van Werkhoven is looking for a PhD candidate in Energy Efficient GPU Computing at LIACS, Leiden University. His group conducts research in Computer Science spanning the areas of High Performance Computing (HPC), Machine Learning, Optimization Algorithms, Green Computing, and Software Engineering. His main research interest is the automatic optimization of software for performance, energy efficiency, and accuracy on advanced and emerging hardware platforms, including supercomputers and Graph...

Have Your Say in Shaping Fair Workplace for Software Practitioners!

18-Jan-2024

As a software practitioner, do you feel your work environment is fair? Fairness influences aspects like code review processes and team interactions. From gender biases in code reviews to the sidelining of ideas and harsh criticism. We dived into Stack Exchange and discovered software practitioners’ opinions on fairness. The article below outlines the top 10 fairness challenges we found. Wondering if your hard work in software development isn’t always recognized? Or feel like your opinions aren’...

Dutch Formal Methods Day

18-Jan-2024

CALL FOR PARTICIPATION Tuesday, 16 April, 2024 https://conf.researchr.org/home/dfdm-2024 The Dutch Formal Methods Day is a new gathering of researchers, students and practitioners sharing a common interest in formal methods, in the broadest sense of the word. There will be numerous talks, giving an overview formal methods in the Netherlands. Upon registering, you will have the opportunity to offer a talk. Coffee and lunch breaks provide ample opportunity for networking with your colleagues a...

NWO VIDI Grant for Arnd Hartmanns

15-Dec-2023

The NWO VIDI grant supports researchers in the phase of establishing a research group or expanding their recent research group. This year, one VERSEN member is among the awarded researchers: Arnd Hartmanns (University of Twente, Enschede). His research is in the area of formal methods, aiming at improving the reliability of systems and software through mathematically rigorous techniques. Arnd Hartmanns: Trustworthy Analysis of Stochastic Timed Systems We rely on storm surge barriers, nuclear po...

Eindhoven Software Engineering Researchers Featured in I/O magazine

15-Dec-2023

The newest issue of the I/O magazine, the newsletter of the ICT Research Platform Netherlands, features two articles about Eindhoven software engineering researchers. In the first article, Michel Chaudron, Jacob Krüger and Lina Ochoa talk about the major challenges facing the group (and the software industry in general). Michel Chaudron stresses the vital importance of keeping the link to practice - rather than just getting bogged down in empirical studies: “Our group is good at collaborating w...

A new Software Ecosystems book with contributions by VERSEN resarchers

15-Dec-2023

Springer has published a new volume entitled “Software ecosystems” co-edited by our Belgian colleagues, Tom Mens, Coen De Roover, and Anthony Cleve. This book is intended for practitioners and researchers interested in developing tool support for or in the empirical analysis of software ecosystems. Two chapters of this volume have been contributed by VERSEN researchers. Together with Nicole Novielli (University of Bari, Italy), Alexander Serebrenik presents an overview of the state-of-the-art r...

OC-M grant for Pallas: Program Analysis for LLVM-IR and All its Source languages

15-Dec-2023

Marieke Huisman, from the Formal Methods and Tool group at the University of Twente received a grant for the OC-M project Pallas: Program Analysis for LLVM-IR and All its Source languages. Pallas aims for a universal approach to ensure correctness in programming languages based on LLVM, simplifying verification tech development. This is crucial given software’s pivotal role in our lives, where failures can lead to disasters and financial losses. Software developers urgently seek techniques to i...

Most Influential Paper Award at International Conference of Software Language Engineering 2023

15-Dec-2023

On 23 October, Tijs van der Storm (CWI and RUG) received the Most Influential Paper Award of the 2023 ACM SIGPLAN International Conference on Software Language Engineering (SLE) on behalf of a team of 20+ authors, for the paper ‘The State of the Art in Language Workbenches’ from 2013. The SLE MIP Award distinguishes authors of a paper published at SLE 10 years prior to the award year that has seen the greatest impact in the field of language engineering. The winning paper provides a detailed su...