Company: European Association for Programming Languages and Systems (EAPLS)

PhD positions: Verification of AI/ AI Safety Heriot-Watt and Edinburgh Universities are launching a new PhD training program on “Dependable and Deployable AI for Robotics”. We welcome applications from candidates interested in verification of AI. Candidates with interest in verification and programming languages for AI are encouraged to contact ek19@hw.ac.uk . As cutting-edge research in [...]Read More... from PhD positions: Verification of AI/ AI Safety See details

by Ekaterina Komendantskaya, July 12, 2024 Vacancy: PhD in Computer Science Title: Formal Verification of AI Interfaces Advisors: Ekaterina Komendantskaya (Southampton University, UK), Alessandro Bruni (IT University of Copenhagen, Denmark), Reynald Affeldt (AIST, Japan) Start Date: As soon as the right candidate is found Location: Southampton University, UK; with collaborative visits involving researchers at AIST, [...]Read More... from PhD position: Theorem Proving for AI See details

by Ekaterina Komendantskaya, July 12, 2024 Vacancy: PhD in Computer Science Title: Formal Verification of AI Interfaces Advisors: Ekaterina Komendantskaya (Southampton University, UK), Alessandro Bruni (IT University of Copenhagen, Denmark), Reynald Affeldt (AIST, Japan) Start Date: As soon as the right candidate is found Location: Southampton University, UK; with collaborative visits involving researchers at AIST, [...]Read More... from PhD position: Theorem Proving for AI See details