Sort by
Refine Your Search
-
for interpretation and validation of results Contribute to the integration of the developed methods into open-source software tools and data portals of the institute • Collaborate with internal and external, as
-
enable systematic validation across relevant scenarios. All software arising from this work including improved analysis pipelines and benchmarking datasets will be released through an open-source library
-
for Software Systems (MPI-SWS), the Computer Science Department at Saarland University, and the Computer Science Department at RPTU Kaiserslautern-Landau. IMPRS-TRUST cooperates with the Saarbruecken Graduate
Searches related to software verification postdoc
Enter an email to receive alerts for software-verification-postdoc positions