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 next version of Formal Methods for Blockchains (#FMBC) will take place beginning of April in Luxembourg, co-located with ETAPS Conferences (now on other platforms) So if you are interested in how formal methods can be used to provide a more rigorous approach to blockchain check out fmbc.gitlab.io

We are currently looking for a post-doctoral researcher in the area of #FormalMethods. The position is part of the EPSRC funded project "Secure Smart Contracts with Isabelle/Solidity". To find out more: ow.ly/5Cb050PXxNJ

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

#FMBC24 will take place this Sunday, April 07! We have an exciting program this year with 9 research talks and two additional lighning talks. The complete program is available online: easychair.org/smart-program/… Hope to see many of you at ETAPS Conferences (now on other platforms)

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.

The Max Planck Institutes in Computer Science invite applications for tenure-track faculty by Dec 1, 2024. We are considering all areas of CS, including security and privacy, and expect to fill several positions: mpi-sp.org/8521/tenure-tr…

Tenure Track @ MPIs in Computer Science (SP, SWS, INF). 🖊️ shlink.mpi-sws.org/faculty 📅 01. December 2024 mpi-sp.org/8521/tenure-tr…