Sort by
Refine Your Search
-
Category
-
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
-
Max Planck Institute for Extraterrestrial Physics, Garching | Garching an der Alz, Bayern | Germany | 1 day 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
-
Max Planck Institute for Gravitational Physics (Hanover), Hannover | Hannover, Niedersachsen | Germany | about 1 month 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
-
program generation and optimization Verification, testing and security of software systems Explainability of AI and of software engineering Software for distributed, highly-parallel AI systems Intelligent
-
European Organisation for Astronomical Research in the Southern Hemisphere | Garching an der Alz, Bayern | Germany | 3 months ago
Observatory. It is foreseen that the student will need to travel several times to Chile for system implementation (interface verification and hardware installation). Where to apply E-mail planetes.jobs
-
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