Your future area of responsibility:
* Developing and extending program analysis engines to extract structured, security-relevant insights from code.
* Working with graph-based code representations (e.g., ASTs, CPGs, call graphs) to model and analyze program behavior.
* Integrating analysis components into larger systems, including pipelines that interface with AI agents.
* Designing and maintaining scalable, testable, and maintainable code for analysis frameworks.
* Building APIs and services that expose analysis results for downstream systems.
* Building testing strategies (unit, integration, and end-to-end) to ensure the correctness and reliability of analysis results.
* Collaborating closely with machine learning, security, and systems researchers to translate research into a usable system.
For content-related questions regarding the position, Hossein Hajipour is available as your contact person via email.
We are looking for someone who is passionate about advancing the state of the art in software security and building systems that can reason about vulnerabilities at scale.
Your qualifications profile:
* Bachelor’s degree in computer science or a related field; master's or PhD preferred.
* Strong software engineering skills with experience building real-world systems.
* Solid understanding of program analysis concepts (e.g., static analysis, data-flow analysis, taint tracking).
* Experience with program analysis tools such as Tree-sitter.
* Experience writing clean, testable, and maintainable code, with a focus on reliability and scalability.
* Ability to effectively leverage AI coding agents and developer tools to accelerate development while maintaining high standards of code quality and reliability.
We’d be lucky if you also:
* Have hands-on experience integrating program analysis tools into real-world developer workflows or security pipelines.
* Have worked on vulnerability detection or secure code analysis in practice.
* Are comfortable bridging research and engineering.
* Have experience working with or alongside LLM-based systems or AI-assisted development tools
* Enjoy tackling ambiguous problems and shaping both the technical direction and implementation details.
What we offer:
* Work on cutting-edge research at the intersection of AI and software security
* Contribute to technology that addresses real-world, high-impact security challenges
* Be part of a highly ambitious, research-driven team
* Shape the future of autonomous, intelligent security systems
* A challenging and exciting role with a high degree of creative freedom in a research institution dedicated to shaping the future of information security in a scientific and strongly international environment
* A strong commitment to work-life balance and equal opportunities; all positions are generally suitable for part-time work
* Compensation and social benefits in accordance with the German public sector collective agreement (TVöD Bund)
* A fixed-term position
* Up to two days of remote work per week (subject to operational requirements)
* Flexible working hours
* Occupational pension scheme (VBL)
* Opportunities for professional development and further training
* Subsidized job ticket
* Social and team-building activities
* Workplace health management programs