Sort by
Refine Your Search
-
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
-
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
-
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
-
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
-
These duties await you ... You will support our group in the verification of our digital wind farm simulator. You will learn to simulate individual wind turbines and entire wind farms using the tools developed
-
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
-
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
-
, 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