Student (f/m/x) - Design and implementation of a safe AXI DMA Ethernet - Forschung, Ingenieur

Vor 6 Tagen


Braunschweig, Deutschland Deutsches Zentrum für Luft- und Raumfahrt (DLR) Vollzeit

Welcome to the Institute of Flight Systems. Our work focuses on the interaction between aircraft configuration, pilots and modern flight system technology. From flight dynamics to unmanned aerial vehicles, from simulation to real flight tests - we analyse, test and develop innovations that will shape the flying of the future. What to expect In the context of our research into distributed avionics platforms, a reliable and performant way of safely connecting to avionics networks inside the aircraft is needed. While the processing systems often have to fulfill hard-real-time constraints, aircraft core networks based on Ethernet work mostly asynchronously. Therefore, much work needs to be offloaded to the hardware to not block up the processing system. Systems-on-a-Chip (SoC) that integrate both programmable hardware (FPGAs) and processing systems (CPUs) are a promising target for these applications. Your tasks Your task is to design, implement and evaluate a verifiable software driver for communicating with an FPGA-based Ethernet device using AXI scatter-gather DMA. While reference implementations for these drivers in the programming language C exist for Xilinx FPGAs, the goal is to evaluate the feasibility of verifiable programming languages such as Pancake for use in complex device drivers. You will perform a suitable evaluation that accesses the performance and correctness of your implementation and compare the results to that of the reference implementation. Your profile You are currently studying for a Bachelor's or Master's degree. practical experience with software for embedded systems practical experience with FPGA SoCs interest in formal methods and software verification practical experience with data analysis tools like SciPy, RStudio or similar We look forward to getting to know you If you have any questions about this position (Vacancy-ID 3547) please contact: Tim Schubert Tel.: 0531 295-1612



  • Braunschweig, Deutschland Deutsches Zentrum für Luft- und Raumfahrt (DLR) Vollzeit

    Herzlich willkommen am Institut für Flugsystemtechnik. Im Zentrum unserer Arbeit steht das Zusammenspiel von Flugzeugkonfiguration, Pilotinnen und Piloten und moderner Flugsystem-Technologie. Von der Flugdynamik bis zu unbemannten Luftfahrzeugen, von der Simulation bis zum realen Flugversuch – wir analysieren, testen und entwickeln Innovationen, die das...


  • Braunschweig, Deutschland Deutsches Zentrum für Luft- und Raumfahrt (DLR) Vollzeit

    Welcome to the Institute of Flight Systems. Our work focuses on the interaction between aircraft configuration, pilots and modern flight system technology. From flight dynamics to unmanned aerial vehicles, from simulation to real flight tests - we analyse, test and develop innovations that will shape the flying of the future. What to expect Autonomous flight...


  • Braunschweig, Deutschland Deutsches Zentrum für Luft- und Raumfahrt (DLR) Vollzeit

    Welcome to the Institute of Flight Systems. Our work focuses on the interaction between aircraft configuration, pilots and modern flight system technology. From flight dynamics to unmanned aerial vehicles, from simulation to real flight tests - we analyse, test and develop innovations that will shape the flying of the future. What to expect In the context of...

  • Phd Student

    Vor 6 Tagen


    Braunschweig, Deutschland TU Braunschweig, Institut für Halbleitertechnik Vollzeit

    **TU Braunschweig, Institut für Halbleitertechnik**: With around 17,000 students and 3,800 employees, the Technische Universität Braunschweig is one of Germany´s leading institutes of technology. It stands for strategic and performance-oriented thinking and acting, relevant research, committed teaching, and the successful transfer of knowledge and...

  • Head of Marketing

    vor 1 Woche


    Braunschweig, Deutschland smartmicro Vollzeit

    We are smartmicro, leading specialist in high-performance automotive and traffic radar sensor technology. We design, develop and manufacture high-tech radar sensors for autonomous driving, intelligent traffic infrastructure and smart cities. Our mission is to make roads safer, enable autonomous driving in all-weather scenarios, optimize traffic flow for...

  • Head of Marketing

    vor 1 Woche


    Braunschweig, Deutschland s.m.s, smart microwave sensors GmbH Vollzeit

    **Introduction**: We are smartmicro, leading specialist in high-performance automotive and traffic radar sensor technology. We design, develop and manufacture high-tech radar sensors for autonomous driving, intelligent traffic infrastructure and smart cities. Our mission is to make roads safer, enable autonomous driving in all-weather scenarios, optimize...

  • PhD Student

    vor 3 Wochen


    Braunschweig, Deutschland TU Braunschweig, Institut für Halbleitertechnik Vollzeit

    TU Braunschweig, Institut für HalbleitertechnikWith around 17,000 students and 3,800 employees, the Technische Universität Braunschweig is one of Germany´s leading institutes of technology. It stands for strategic and performance-oriented thinking and acting, relevant research, committed teaching, and the successful transfer of knowledge and technologies...

  • PhD Student

    Vor 4 Tagen


    Braunschweig, Deutschland TU Braunschweig, Institut für Halbleitertechnik Vollzeit

    TU Braunschweig, Institut für HalbleitertechnikWith around 17,000 students and 3,800 employees, the Technische Universität Braunschweig is one of Germany´s leading institutes of technology. It stands for strategic and performance-oriented thinking and acting, relevant research, committed teaching, and the successful transfer of knowledge and technologies...

  • Head of Department

    vor 2 Wochen


    Braunschweig, Deutschland Rambøll Vollzeit

    We invite you to support us in a wide range of railway and light-rail projects in the field of control and safety technology all over the world and to contribute your customer-oriented way of working. We are looking for a new Head of Department (M/F/d) who will drive forward and further develop the team of currently around 22 people at our Braunschweig site....


  • Braunschweig, Deutschland smartmicro Vollzeit

    We are smartmicro, leading specialist in high-performance automotive and traffic radar sensor technology. We design, develop and manufacture high-tech radar sensors for autonomous driving, intelligent traffic infrastructure and smart cities. Our mission is to make roads safer, enable autonomous driving in all-weather scenarios, optimize traffic flow for...