Sort by
Refine Your Search
-
. 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
Searches related to algorithm
Enter an email to receive alerts for algorithm positions