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
-
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 | 2 months 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 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
-
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 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
-
, simulation, and 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
-
Test and Verification of designs created using Machine Learning methods Utilization of feedback loops to improve design choices Creation of an automated pipeline and frameworks for data generation and
-
develop 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