Senior Researcher: Pointer Analysis for Static Data-Flow Analysis

vor 3 Wochen

Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit
Job Description

Research Opportunity at Fraunhofer Institute

We are seeking a highly motivated researcher to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a researcher, you will be working on a project that focuses on evaluating the impact of different pointer analyses on a bug-finding data-flow analysis in the context of C/C++.

Responsibilities
  • Investigate and evaluate different pointer analysis implementations based on LLVM
  • Integrate these implementations into the PhASAR framework for static analysis of C/C++-based LLVM IR
  • Develop a ranking system to evaluate the precision of these pointer analyses
  • Evaluate the accuracy and performance of client data-flow analyses, considering the quality rank of the used pointer analysis
  • Derive guidelines on when it is beneficial to use which pointer analysis
Requirements
  • Studies in Computer Science or equivalent
  • Good C++ knowledge
  • Basic knowledge in static program analysis
  • Completed the course "Designing Code Analyses for Large Scale Software Systems" or equivalent (optional)
What We Offer
  • A strong team culture with flat hierarchies
  • Professional supervision and expert support in the preparation of your research project/thesis
  • Insight into current business challenges
  • Flexible working from home to combine studies and work in the best possible way

We value and promote the diversity of our employees' skills and therefore welcome all applications - regardless of age, gender, nationality, ethnic and social origin, religion, ideology, disability, sexual orientation and identity. Severely disabled persons are given preference in the event of equal suitability.

Fraunhofer plays a central role in the innovation process, enabling the commercial utilization of its work by business and industry. As a pioneer and catalyst for groundbreaking developments and scientific excellence, Fraunhofer helps shape society now and in the future.

  • Senior Researcher: Pointer Analysis for Static Data-Flow Analysis

    vor 3 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Job DescriptionWe are seeking a highly skilled researcher to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a researcher, you will be responsible for evaluating the impact of different pointer analyses on a bug-finding data-flow analysis in the context of C/C++.ResponsibilitiesFind and integrate different pointer analysis...

  • Senior Researcher: Pointer Analysis for Static Data-Flow Analysis

    vor 3 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Job DescriptionWe are seeking a highly skilled researcher to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a researcher, you will be responsible for evaluating the impact of different pointer analyses on a bug-finding data-flow analysis in the context of C/C++.ResponsibilitiesFind and integrate different pointer analysis...

  • Senior Researcher: Pointer Analysis for Static Data-Flow Analysis

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Job DescriptionResearch Opportunity at Fraunhofer InstituteWe are seeking a highly motivated researcher to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a researcher, you will be working on a project that focuses on evaluating the impact of different pointer analyses on a bug-finding data-flow analysis in the context of...

  • Senior Researcher: Pointer Analysis for Static Data-Flow Analysis

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Job DescriptionResearch Opportunity at Fraunhofer InstituteWe are seeking a highly motivated researcher to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a researcher, you will be working on a project that focuses on evaluating the impact of different pointer analyses on a bug-finding data-flow analysis in the context of...

  • Static Data-Flow Analysis Researcher: Evaluating Pointer Analysis Impact in C/C++

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Research Opportunity at Fraunhofer Institute for Mechatronic Design IEMWe are seeking a highly motivated researcher to join our team at the Fraunhofer Institute for Mechatronic Design IEM in Paderborn, Germany. As a Static Data-Flow Analysis Researcher, you will play a key role in evaluating the impact of different pointer analyses on bug-finding data-flow...

  • Static Data-Flow Analysis Expert

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join Our Team as a Static Data-Flow Analysis ExpertWe are seeking a highly skilled Static Data-Flow Analysis Expert to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a key member of our research team, you will be responsible for developing and implementing advanced static data-flow analysis techniques to improve the precision and...

  • Static Data-Flow Analysis Expert

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join Our Team as a Static Data-Flow Analysis ExpertWe are seeking a highly skilled Static Data-Flow Analysis Expert to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a key member of our research team, you will be responsible for developing and implementing advanced static data-flow analysis techniques to improve the precision and...

  • Static Data-Flow Analysis Expert

    vor 3 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join Our Team as a Static Data-Flow Analysis ExpertWe are seeking a highly skilled Static Data-Flow Analysis Expert to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a key member of our research team, you will be responsible for developing and implementing advanced static data-flow analysis techniques to improve the precision and...

  • Static Data-Flow Analysis Expert

    vor 3 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join Our Team as a Static Data-Flow Analysis ExpertWe are seeking a highly skilled Static Data-Flow Analysis Expert to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a key member of our research team, you will be responsible for developing and implementing advanced static data-flow analysis techniques to improve the precision and...

  • Senior Researcher: Static Data-Flow Analysis in C/C++

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join our team at the Fraunhofer Institute for Mechatronic Design IEMWe are seeking a highly motivated and skilled researcher to join our team in Paderborn, Germany. As a researcher, you will be working on the development of innovative solutions for mechanical and plant engineering, the automotive industry, and related sectors.Static analysis is a crucial...

  • Senior Researcher: Static Data-Flow Analysis in C/C++

    Vor 7 Tagen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Research Opportunity at Fraunhofer Institute for Mechatronic Design IEMWe are seeking a highly motivated researcher to join our team at the Fraunhofer Institute for Mechatronic Design IEM in Paderborn, Germany. As a researcher, you will be working on a thesis project that focuses on the evaluation of pointer analyses in the context of C/C++.Project...

  • Static Data-Flow Analysis Researcher

    vor 1 Woche

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Research Opportunity at Fraunhofer InstituteWe are seeking a highly motivated researcher to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a researcher, you will contribute to the development of innovative solutions for mechanical and plant engineering, the automotive industry, and related sectors.Our research focuses on static...

  • Static Data-Flow Analysis Expert

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join Our Team as a Static Data-Flow Analysis ExpertWe are seeking a highly skilled Static Data-Flow Analysis Expert to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a key member of our research team, you will be responsible for evaluating the impact of alias representations on static data-flow analysis in C/C++.About the ProjectThe...

  • Static Data-Flow Analysis Expert

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Join Our Team as a Static Data-Flow Analysis ExpertWe are seeking a highly skilled Static Data-Flow Analysis Expert to join our team at the Fraunhofer Institute for Mechatronic Design IEM. As a key member of our research team, you will be responsible for evaluating the impact of alias representations on static data-flow analysis in C/C++.About the ProjectThe...

  • Final Thesis: Assessing the Influence of Pointer Analyses on Static Data-Flow Analysis in C/C++

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Job DescriptionWe are seeking a highly motivated student to work on a final thesis project at the Fraunhofer Institute for Mechatronic Design IEM. The project focuses on assessing the influence of pointer analyses on static data-flow analysis in C/C++.Project OverviewStatic analysis is a crucial tool for finding bugs and security vulnerabilities in software....

  • Final Thesis: Assessing the Influence of Pointer Analyses on Static Data-Flow Analysis in C/C++

    vor 4 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Job DescriptionWe are seeking a highly motivated student to work on a final thesis project at the Fraunhofer Institute for Mechatronic Design IEM. The project focuses on assessing the influence of pointer analyses on static data-flow analysis in C/C++.Project OverviewStatic analysis is a crucial tool for finding bugs and security vulnerabilities in software....

  • Static Data-Flow Analysis Expert

    vor 1 Monat

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Improve Static Data-Flow Analysis with PhASARWe are seeking a skilled developer to enhance the precision and performance of PhASAR's alias sets and taint analysis. As a member of our team, you will work on improving the accuracy of PhASAR's results and optimizing its performance.Key Responsibilities:Implement a variant of PhASAR's alias set implementation...

  • Static Data-Flow Analysis Expert

    vor 1 Monat

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Improve Static Data-Flow Analysis with PhASARWe are seeking a skilled developer to enhance the precision and performance of PhASAR's alias sets and taint analysis. As a member of our team, you will work on improving the accuracy of PhASAR's results and optimizing its performance.Key Responsibilities:Implement a variant of PhASAR's alias set implementation...

  • PhD Researcher: Enhancing Static Data-Flow Analysis with Advanced Alias Representations

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    Research Opportunity at Fraunhofer Institute for Mechatronic Design IEMWe are seeking a highly motivated PhD researcher to contribute to our ongoing research in static data-flow analysis. The successful candidate will work on enhancing the precision of PhASAR's alias sets by incorporating non-transitivity of alias information and improving the performance of...

  • Evaluating the Impact of Alias Representations on Static Data-Flow Analysis in C/C++

    vor 2 Wochen

    Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit

    About the ProjectWe are seeking a highly motivated individual to contribute to the development of advanced static data-flow analysis techniques. The goal of this project is to evaluate the impact of alias representations on the performance and precision of static data-flow analysis in C/C++.Key ResponsibilitiesImplement a variant of PhASAR's alias set...