-
Assurance and verification offerings for AI are fragmented and target specific areas of AI lifecycle (e.g. model assurance or prompt injections) without offering a unified view of the security
-
of the research theme. Some exposure to commercialisation market studies or IP processes. Strong skills in MATLAB Simulink and other modelling tools. Programming skills including software for programming DSP, PSoC
Searches related to software verification postdoc
Enter an email to receive alerts for software-verification-postdoc positions