Student (f/m/x) - Design and implementation of a safe AXI DMA Ethernet - Forschung, Ingenieur
Vor 6 Tagen
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
-
Brunswick, Deutschland Deutsches Zentrum für Luft- und Raumfahrt (DLR) VollzeitHerzlich 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...
-
Brunswick, Deutschland Deutsches Zentrum für Luft- und Raumfahrt (DLR) VollzeitWelcome 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...
-
Brunswick, Deutschland Deutsches Zentrum für Luft- und Raumfahrt (DLR) VollzeitWelcome 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...
-
Student computer science
vor 3 Wochen
Brunswick, Deutschland Deutsches Zentrum für Luft- und Raumfahrt (DLR) VollzeitThe DLR Institute of Software Technology sees software as a catalyst for research and innovation. The institute's staff, currently numbering around 200, make a significant contribution to advancements in the fields of aviation, space, energy, transportation, and security through the development of state-of-the-art software solutions and innovative research....
-
Student computer science
vor 3 Wochen
Brunswick, Deutschland Deutsches Zentrum für Luft- und Raumfahrt (DLR) VollzeitThe DLR Institute of Software Technology sees software as a catalyst for research and innovation. The institute's staff, currently numbering around 200, make a significant contribution to advancements in the fields of aviation, space, energy, transportation, and security through the development of state-of-the-art software solutions and innovative research....
-
Algorithm Engineer
vor 2 Wochen
Brunswick, Deutschland s.m.s, smart microwave sensors GmbH VollzeitIntroductionWe are smartmicro, the leading specialist in high performance automotive and traffic radar sensor technology. We design, develop and manufacture high-tech radar sensors for autonomous driving and for intelligent traffic infrastructure and smart cities. Our mission is to make roads safer, enable autonomous driving in all-weather scenarios,...
-
Brunswick, Deutschland Deutsches Zentrum für Luft- und Raumfahrt (DLR) VollzeitThe DLR Institute of Software Technology sees software as a catalyst for research and innovation. The institute's staff, currently numbering around 200, make a significant contribution to advancements in the fields of aviation, space, energy, transportation, and security through the development of state-of-the-art software solutions and innovative research....
-
Algorithm Engineer
Vor 4 Tagen
Brunswick, Deutschland smartmicro VollzeitWe 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 and for intelligent traffic infrastructure and smart cities. Our mission is to make roads safer, enable autonomous driving in all-weather scenarios, optimize traffic flow...
-
Working Student AI Engineering
vor 6 Stunden
Brunswick, Deutschland OKAPI:Orbits GmbH TeilzeitYour missionSpace is getting crowded and satellite collisions are becoming a real threat, at OKAPI:Orbits we build software that keeps space operations safe and sustainable.As a Working Student AI Engineering / LLM Prototyping (m/f/d) you help us explore how modern AI can improve our products and internal processes. You work with LLMs, RAG pipelines,...
-
Team Lead Tracking
vor 1 Woche
Brunswick, Deutschland s.m.s, smart microwave sensors GmbH VollzeitIntroductionWe are smartmicro, the 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...
