-
representation Desired qualifications: Experience with formal specification and modelling Experience with formal verification Experience with software engineering and software technology Experience with scientific
-
to high-performance computing facilities and datasets from laboratory experiments will be provided to support simulation and verification of the resulting model. Replicate and learn a theoretical model for
Searches related to software verification
Enter an email to receive alerts for software-verification positions