-
. Responsibilities: Conduct research on automated reasoning and proof checker, AI-assisted collaboration. Develop and analyze algorithms for learning and optimization. Participate in collaborative research projects
-
vision, controls, cyber-physical systems and their security, hardware security, and machine learning and their security. The work will include algorithm design, prototype implementation (e.g., in Matlab
-
in innovative research projects in ML, focusing on developing novel ML algorithms, enhancing human-AI collaboration, and exploring systems tailored to dynamic, human-centered environments. They may
Enter an email to receive alerts for algorithm-"INSERM" positions