Postdoc at the Intersection of AI and Software Engineering at CISPA & Uni Stuttgart
We are looking for people interested in joining the Software Lab as a postdoc. We conduct research at the intersection of software engineering, programming languages, artificial intelligence, and security, with a focus on tools and techniques for constructing reliable, efficient, and secure software.
General areas of research include:
Artificial intelligence to reason about software (e.g., LLM agents for finding and fixing bugs)
Static and dynamic program analysis (e.g., to infer specifications)
Test input generation (e.g., to compare the behavior of old and new code via differential testing)
The Software Lab is headed by Prof. Michael Pradel. It is associated with the CISPA Helmholtz Center for Information Security and the University of Stuttgart.
