Sort by
Refine Your Search
-
Country
-
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
-
for rapid and accurate analysis of meat product quality parameters; 10) To support data analysis using R software; 11) To support the dissemination and exploitation of the results obtained in the project. 4
-
explore new topics while playing nice in a team. Your main task will be the development, conceptualization, and eventual implementation of new design automation methods and software for your field, e.g
Searches related to software verification
Enter an email to receive alerts for software-verification positions