The Max Planck Institutes for Informatics (Saarbruecken), Software Systems (Saarbruecken and Kaiserslautern), and Security and Privacy (Bochum), invite applications for tenure-track faculty in all areas of computer science. Pending final approval, we expect to fill several positions.
MPI-SWS faculty member Joël Ouaknine has been elected a member of the Academia Europaea in 2020.
We apply techniques from Software Engineering--including static analysis and test generation--to validate and verify properties of neural networks, such as robustness and fairness.
Max Planck Researchers have authored eight papers to appear in POPL 2020, just over 10% of all papers accepted this year.
The TOROS project, kindly supported by an ERC starting grant, is looking to fill several open PhD and Postdoc positions.
To establish software security at scale, we need efficient automated vulnerability discovery techniques ...