I am looking for motivated students and postdocs who would like to join my research group at the Max Planck Institute for Software Systems (MPI-SWS) to work on exciting projects at the intersection of software verification, synthesis and approximate computing.
Computing resources are fundamentally limited and we often end up approximating our computations, trading accuracy for resource efficiency when implementing real-world systems. Unfortunately, we are currently lacking the required tool support to take full advantage of this tradeoff. We are looking for motivated candidates who would like to work towards our vision of a ‘verifying and approximating compiler’ which will apply approximations automatically and in a trustworthy fashion.
PhD positions (in collaboration with Saarland University) are fully funded and typically last 4 years. PhD students are involved in research from day one and choose projects based on mutual interest. The starting date is flexible.
Postdocs should work with me on an existing project, but can also develop individual lines of research. Postdoc positions are fully funded, last 1-2 years and can start any time.