Job Opening at LEiden University: Assistant Professor in Automated Reasoning
16-Jul-2024
Assistant Professor in Automated Reasoning (0.8-1.0 FTE) The Faculty of Science, Leiden Institute of Advanced Computer Science (LIACS), is seeking candidates for an Assistant Professor (0.8-1.0 FTE) position in Automated Reasoning. We seek to appoint an expert in the research area of Combinatorial Optimization, Constraint Solving and Knowledge Representation with applications to Formal Verification, Automatic Synthesis or Automated Reasoning. The focus of the position is on the construction a...
Alexander Nolte joins the Social Software Engineering group at Eindhoven University of Technology
04-Jun-2024
Alexander Nolte joined the Social Software Engineering group headed by Prof. dr. Alexander Serebrenik at Eindhoven University of Technology. He also holds a position as an Adjunct Associate Professor at Carnegie Mellon University (Pittsburgh, PA, USA). Previously, he was an Associate Professor at the University of Tartu (Estonia), and a postdoc at the University of Pittsburgh (PA, USA), Carnegie Mellon University (Pittsburgh, PA, USA), and the Ruhr-University of Bochum (Germany). He holds a PhD...
A Royal Distinction for Frits Vaandrager
04-Jun-2024
VERSEN board member Frits Vaandrager (Radboud University) has been award a royal distinction of Knight in the Order of the Dutch Lion. This distinction recognizes Frits’s scientific achievements, his impact on the industry as well as his advocacy for diversity and inclusion in computer science and FAIR data management. Congratulations Frits! You are a role model for many of us. ...
The winner of MSR 2024 Distinguished Doctoral Research is Gunnar Kudrjavets
04-Jun-2024
The winner of MSR 2024 Distinguished Doctoral Research is Dr. Gunnar Kudrjavets (University of Groningen) for their contribution to improving code review velocity by empirically challenging prominent beliefs, presenting solutions, and identifying gaps in developers’ and industry needs. ...
Hack4Her: Female-focused student hackathon at Vrije Universiteit in June
04-Jun-2024
Hack4Her creates a safe space where technology and diversity meet. We are a coalition of staff and students from the Vrije Universiteit Amsterdam and Universiteit van Amsterdam. Our mission is simple: to create a women-centered space in the tech world. We welcome BSc or MSc female students studying at any Dutch University, so long as they participate in the hacking. For traveling students we offer, among other things, free accommodation (rooms of 3-4 co-hackers) for the duration of the event ne...
Workshop Generative AI in Computer Science Education
06-May-2024
We are excited to announce the third workshop of the Generative AI in Computer Science Education working group. Date: Tuesday 28th May, 2024 Address: Studiecentrum Utrecht (Open Universiteit), Vondellaan 202, 3521 GZ Utrecht Free registration: Please send an e-mail to Ebrahim Rahimi (ebrahim.rahimi@ou.nl) by 23rd May (Thursday) if you would like to attend. For more information, please visit: https://www.cs.ru.nl/G.Alpar/documents/Workshop_3_GenAICSEdu ...
Call for papers: FCS workshop @ CSF’24
02-May-2024
The Workshop on Foundations of Computer Security (FCS), is co-located with CSF in Enschede, The Netherlands on July 8, 2024. FCS is a friendly, in-person 1-day workshop that brings together researchers interested in laying the foundations of secure systems. FCS welcomes papers on all topics related to the formal underpinnings of security and privacy, and their applications. The workshop has no formal proceedings: you are welcome to advertise work that appeared in other venues or submit your wo...
CWI Call for Research Semester Programs
01-May-2024
CWI invites colleagues from Dutch universities to jointly set up CWI Research Semester Programmes for the period 2025-2027. CWI can accommodate two more programmes in 2025, and up to four in both 2026 and 2027. A CWI Research Semester Programme consists of a coherent set of meetings and activities in which researchers come together to collaborate on important or emerging research topics over a longer period, typically for the duration of a semester. The format of a programme is flexible. It may,...
VERSEN working groups
07-Mar-2024
As you know the VERSEN community is organized in Working Groups. Some of them are temporary and some of them are permanent. They each have a specific goal and a manageable number of members that collaborate towards this goal. Recently the executive board has retired several dormant groups. Would you like to start a new working group on topic of shared interest? Please do not hesitate to contact us at info@versen.nl! VERSEN is something we build together. ...
VERSEN executive board is looking for new members!
07-Mar-2024
VERSEN is looking for the future leaders of our community to join the executive board! Are you an active software engineering researcher, not yet a full professor or a group leader, and interested in contributing to the organization of Dutch software engineering research? Please write a brief motivation letter and send it to a.serebrenik@tue.nl by April 8 2024. ...