A leading technology research center in Dublin is seeking a FM Research Engineer PhD Intern to work on the formal verification of AI infrastructure systems. The role involves applying formal methods and collaborating with engineers to address critical challenges. Ideal candidates are pursuing a PhD in Computer Science or a related field, possess strong programming skills, and have experience with formal verification tools. This internship offers valuable exposure to cutting-edge AI technologies and collaborative opportunities across Europe and China.
#J-18808-Ljbffr