The extended abstract deadline for Lightning talks at FMBC is tomorrow AoE! Submit and join us FLoC2022 in August to talk about Formal Methods for Blockchain!

A nice opportunity to share your work in progress about FM and blockchain at FMBC'22! More details: fmbc.gitlab.io/2022/cfp.html

3 Max Planck Institutes are offering research internships next year (MPI-SP, SWS, and INF). We are looking for advanced students in all areas of CS; prior research experience is not a strict prerequisite. The application deadline is **November 1st, 2022**: cis.mpg.de/internships/

3 Max Planck Institutes are offering research internships next year (MPI-SP, SWS, and INF). We are looking for students in all areas of CS; my group is esp. looking for people interested in HW security. The application deadline is **November 1st, 2022**: cis.mpg.de/internships/

I am always looking for motivated PhD students in blockchain and distributed system security CASA - Cluster of Excellence for Cyber Security Ruhr-Universität Bochum. DM me if interested.

Are you a top BSc or MSc student considering a career in Computer Science research? If so check out CMMRS, a pre-doctoral summer school organized by researchers from Cornell University, University of Maryland, and Max Planck Institutes in Computer Science: cmmrs.mpi-sws.org

The Max Planck Institutes in Computer Science invite applications for tenure-track faculty by Dec 1, 2023. We are considering all areas of CS, including security and privacy, and expect to fill several positions: cis.mpg.de/tenure-track-o…

Ruhr University Bochum is taking applications for its new Computer Science MSc and Fast Track PhD programs. The programs are in English and the next application deadline is tomorrow, December 15: informatik.rub.de/en/studium/com…

🦸Creative.Minds 2024: Join our Workshop for Women on Hacking and #CTFs, from March 22-24, 2024 in #Bochum. Explore web security, solve CTF challenges, and network with experts from academia and industry. Apply by Jan 31, 2024. Details & requirements here: casa.rub.de/en/news/casa/n…

Next ACM CCS 2024 deadline is in a week (Jan 28, 2024) and there is also a Formal Methods and Programming Languages Track to which you may consider submitting: sigsac.org/ccs/CCS2024/ca…

🦸#WomeninScience: On the occasion of the International Day of Women and Girls in Science on February 11, three female CASA researchers share their perspectives on the relevance of diverse teams in research: casa.rub.de/en/news/casa/n… #WomenInSTEM #ITSecurity Yixin Zou Clara Schneidewind

Are you a top student considering a career in Computer Science research? Check out CMMRS, a pre-doctoral summer school organized by researchers from Cornell, UMD, and the CS MPIs. Application deadline is February 25, 2024: cmmrs.mpi-sws.org

Ruhr University Bochum is taking applications for its new Computer Science MSc and Fast Track PhD programs. The programs are in English and the next application deadline is April 30, for applicants with degrees in the EU: informatik.rub.de/en/studium/com…

Yesterday, NRW Minister-President Hendrik Wüst Hendrik Wüst visited the #cybersecurity #research hotspot #Bochum. We had valuable conversations about the importance of #AISecurity and #ITSecurity and our research's impact in these critical areas! 📰➡️casa.rub.de/en/news/casa/n…

The website for FC25 is available! Paper submission deadline is September 30. Moreover, we are currently soliciting nominations for the FC25 program committee. More info in the website fc25.ifca.ai

Great to have Federico Badaloni from Max Planck Society for Security and Privacy visiting us and talking about cross-chain smart contracts for Bitcoin-like currencies.