-
computer science and philosophy. The REMAX project on Rigorous Evaluation Methods for AI Explainability, funded by a Villum Synergy grant, aims to create methods for explainable AI and their rigorous evaluation. It
-
developing optimization-driven approaches to multimodal device tailoring. We are looking for someone with A PhD in Human-Computer Interaction or a closely related field Strong programming skills (e.g., Python
-
. Kyriakopoulos seeks to improve the autonomy of Field Robotic systems by fusing control theoretic and machine intelligence approaches. Formal models are directly applied in real experimental facilities. Marine
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions in computer-science