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.
LLVM is an industrial-strength compiler that's used for everything from day-to-day iOS development ...