Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in
-
of research and innovation! Be part of change Software development of the DSP toolbox for LiFi system Implementation of algorithms and software development using C++, Python or MATLAB Technical documentation
-
, software-defined material flow platform that is transforming intralogistics. Our patented technology replaces rigid conveyor systems with intelligent hexagonal cells equipped with omnidirectional wheels
-
Max Planck Institute for Gravitational Physics (Hanover), Hannover | Hannover, Niedersachsen | Germany | 3 months ago
, and test reports. Collaborate with system engineering, electronics, software teams, and external partners. Support integration and verification campaigns at AEI and partner facilities. Ensure compliance
-
Max Planck Institute for Extraterrestrial Physics, Garching | Garching an der Alz, Bayern | Germany | about 1 month ago
testing of the MICADO instrument with the focus on alignment and verification using Laser trackers, optical Autocollimators and Measurement arms Independently work on mechanical concepts, proper calculation
-
the development of innovative solutions for real security and data protection issues. What you will do Many successful attacks on IT systems are based on exploiting vulnerabilities in software
-
verification methods and software for emerging computing technologies. Our focus on interdisciplinary partnerships and networks will enable you to meet many interesting people (at places all over the world) and
-
Optimization and Reinforcement Learning methods for problems of design/layout Exploration of Heuristics and Data-driven Methods for the generation of design blocks Automated Test and Verification of designs
-
methods and software tools that aid the design of microfluidic devices (also known as Labs-on-a-Chip). While these devices are mainly designed manually thus far, we investigate methods that eventually will
-
to extend our activities into one or more of the following directions: Methods and software tools for the design and validation of ETCS systems Modeling search problems with realistic train movementss