We are very happy that in October Michael Pradel will be starting as a new research group leader at EC SPRIDE. Currently he is looking for motivated students interested in joining the Software Lab as research assistants and Ph.D. students.
The Software Lab (SOLA) conducts research at the intersection of software engineering and programming languages, with a focus on tools and techniques for constructing reliable, efficient, and secure software. General areas of research include:
- Dynamic program analysis
- Static program analysis
- Test case generation
More concretely, projects to be worked on may include but are not limited to:
- Automated analyses that detect malicious behavior in browser extensions
- Systematic studies of known security problems in web applications
More information is available here.