Research Associate (Postdoc) position in Program Analysis

at  Universit du Luxembourg

The University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character.
The Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg is a leading international research and innovation centre in secure, reliable and trustworthy ICT systems and services.
We play an instrumental role in Europe by fueling innovation through research partnerships with industry, boosting R&D investments leading to economic growth, and attracting highly qualified talent. We look for researchers from diverse academic backgrounds to contribute to our projects in areas such as: Network Security, Information Assurance, Model-driven Security, Cloud Computing, Cryptography, Satellite Systems, Vehicular Networks, and ICT Services & Applications.

We offer a dynamic postdoctoral research position who will join the TruX Research Group headed by Prof. Dr. Tegawendé F. Bissyandé. The successful candidate will work on projects focused on advancing program analysis techniques for mobile apps, with an emphasis on static analysis. The research is twofold: 1) boost dynamic analysis by leveraging insights from static analysis; and 2) improve the effectiveness and output of static analysis tools using AI-driven methods and advanced static analysis techniques. The role includes contributing to cutting-edge research in the mobile ecosystem, actionable tool development, and the supervision of PhD students.
TruX conducts research in software security, software repair, and explainable software to create key practical solutions for developers, allowing them to achieve trustworthiness, efficiency, and transparency. Application areas include FinTech, embedded systems (e.g., mobile), business or entertainment systems, cybersecurity, and more. For more information, you may refer to https://www.uni.lu/snt-en/research-groups/trux/.

The successful candidate will

• Conduct advanced research in static analysis for mobile systems
• Develop innovative approaches to enhance static analysis tools using AI techniques and refined static analysis methods
• Collaborate with PhD students, guiding their research and ensuring progress on related topics
• Contribute to national and international research collaborations in program analysis and software engineering
• Prepare project deliverables and disseminate results through high-quality scientific publications
• Present findings at renowned international conferences and workshops
• Support the organization of demonstrations and workshops showcasing developed tools and methodologies
• Assist in drafting research proposals to secure funding for related projects

For further information, please get in touch with Dr. Jordan Samhi (email address: jordan.samhi@uni.lu).