-
enhance the competencies of the Institute in one or more of the following research areas: foundation models and efficient training/adaptation methods on HPC systems, generative AI and multimodal learning
-
models, (d) computer vision and medical imaging, (e) agentic AI systems, (f) software engineering for high-TRL AI prototypes. Overseeing daily engineering workflows and coordinating technical activities
-
systems, including coupling with external tools such as optical ray-tracing software (e.g., Tonatiuh++) and other numerical simulation platforms. Position Specific Responsibilities/activities: Develop
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions