Sort by
Refine Your Search
-
.+Application . Fill out all mandatory fields (*) and kindly use “Verification of CPS” as the “Title of Position”. Please do not include a cover letter. Further similar job offerings will be announced on https
-
verification problem compared to verifying a neural network with millions of neurons. We will also use the feedback of the safety layer to improve the learning rate by excluding provably unsafe actions during
-
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
-
methods for the design, verification, and test of circuits and systems for conventional as well as alternative and post-CMOS computing technologies. Besides that, we have successfully applied the methods