About this role
Conduct research in AI domains and formal methods and apply research to improve software engineering processes, especially requirement engineering and testing. Develop and integrate AI algorithms into development, prepare academic publications and patent applications, and contribute to reports and collaboration with AUMOVIO-NTU teams.
Skills for this role
Artificial IntelligenceFormal methodsProgram synthesisRequirement engineeringAutomatic testingSoftware engineeringExplainabilityRobustnessPythonAI algorithmsAcademic writingPatent applicationsReport writingCommunicationCollaboration