-
Australian Laureate Fellowship research project Temporal Analytics for a Complex, Dynamic and Ever‑Changing World. You will be responsible for developing new temporal analysis methods, implementing software
-
stakeholders to understand real-world problems and applying research techniques to develop solutions Working with a team of software engineers, multidisciplinary researchers and external stakeholders Contribute
-
: Experience in physical system modelling including finite element modelling Experience working with large codebases in open source software environments Proficient user of HPC environments including MPI
Searches related to software verification
Enter an email to receive alerts for software-verification positions