-
Requirements: PhD in Computer Science, Software Engineering, Artificial Intelligence or a closely related discipline. Demonstrated ability to conduct independent research and develop novel research methods
-
services for AUMOVIO through close collaboration with its business units. Key Responsibilities: Conducting the research in AI domains and formal methods Applying the developed research ideas and approaches
-
Research and support positive outcomes for the project and research group. Key Responsibilities: Project performance AI method development Gathering of domain knowledge and formalization Writing of research
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions