Static Data-Flow Analysis Expert

vor 4 Wochen

Paderborn, Nordrhein-Westfalen, Deutschland Fraunhofer-Gesellschaft Vollzeit
Join Our Team as a Static Data-Flow Analysis Expert

We 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 performance of our PhASAR tool.

Key Responsibilities:
  • Design and implement novel alias set reconstruction algorithms to improve the precision of PhASAR's alias sets
  • Develop and integrate clustering algorithms for aliasing pointers to enhance the performance of PhASAR's taint analysis
  • Collaborate with our research team to empirically evaluate the impact of these modifications on performance and precision
Requirements:
  • Master's or Ph.D. in Computer Science or a related field
  • Excellent C++ programming skills and experience with static program analysis
  • Strong understanding of data-flow analysis and alias representation
What We Offer:
  • A dynamic and collaborative research environment with opportunities for professional growth
  • Flexible working arrangements to balance work and studies
  • Competitive salary and benefits package

We are an equal opportunities employer and welcome applications from diverse candidates. If you are passionate about static data-flow analysis and want to contribute to cutting-edge research, please submit your application.

  • 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...

  • 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...

  • 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...

  • 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...

  • 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...

  • 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...

  • 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...

  • 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: Pointer Analysis for Static Data-Flow Analysis

    vor 3 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 3 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: 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...

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

    vor 1 Monat

    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 1 Monat

    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....

  • 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...

  • 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...