-
. 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
-
programming skills in MATLAB, Python, or R and training in statistical signal processing, machine learning, and capability in applying various mathematical algorithms for biomedical engineering applications
-
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
-
, including efficient learning and inference of complex AI/ML algorithms, specialized neural processing hardware and design tools, and ML security, and their applications in resource-constrained Embodied-AI