About this role
Conduct research in formal verification, machine learning and AI system assurance to develop techniques and tools for analysing, verifying and improving the correctness, robustness and reliability of deep neural networks and AI-enabled software systems. Responsibilities include developing verification and robustness analysis methods, evaluating techniques on experiments and benchmark datasets, publishing results, and collaborating with the research team while mentoring junior researchers and students.
Skills for this role
Formal verificationMachine learningArtificial intelligenceAI system assuranceDeep neural networksVerificationTestingRobustness analysisAbstractionInvariant learningConvex approximationSymbolic analysisHigh-dimensional geometric analysisExperimental evaluationBenchmark datasetsResearch publicationTechnical reportingCollaborationMentoring