-
research: Develop and analyze dynamic models and guidance and control algorithms Conceptualize and develop sample scenarios, roadmaps and trade-off analyse Code software libraries and perform computational
-
(GIWAXS) and others) Contribution to the scattering data analysis and support of data/metadata formats developed in the group Integration of the developed software into the computational environments and
-
for future researchers. Thematically, CAUSE covers all levels of digital systems, from system-of-systems over software stacks to digital hardware. PhD students in CAUSE will cooperate closely to investigate
Searches related to software verification postdoc
Enter an email to receive alerts for software-verification-postdoc positions