Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification
-
. The Technische Informationsbibliothek (TIB ) – Leibniz Information Centre for Science and Technology – Program Area C, Research and Development, Team Terminology Service is looking to employ a Scientific Software
-
to employ a Scientific Software Developer (m/f/d) as of 1st January 2026. The position is limited to two years. The regular weekly working time is 39.8 hours (full-time) and the position is generally suitable
-
wide range of markets such as automotive, industrial and aerospace. Not all aspects of verification and validation can be adequately covered by purely RTL-based simulations. Specifically, demonstrating
-
Max Planck Institute for Extraterrestrial Physics, Garching | Garching an der Alz, Bayern | Germany | 22 days ago
supply for the WFI camera with numerous different and noise-sensitive analog voltages to FPGA-based control electronics including the understanding and functional and verification testing of an externally
-
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
-
for the verification of integrated circuits incl. heterogenous integration, PCB layout, test hardware and software Good communications skills and experience with maintaining good customer and team
-
of system architectures and mixed-signal blocks such as amplifiers, comparators, and custom digital cells down to the transistor and layout level. You participate in the development of software tools
-
of control software, and reuse efforts from earlier stages as much as possible. On-the-fly Synthesis and Verification: We develop techniques for the online verification and synthesis of controllers
-
(TIB ) – Leibniz Information Centre for Science and Technology – Program Area C, Research and Development, is looking to employ a Open Source Developer for Digital Scientific Infrastructures (m/f/d