-
modelling evaluating trade-offs between competing alignment methods designing and curating real-world datasets in partnership with the ABC (Australia) and BR (Germany) training and evaluating new reward
-
(e.g., C++, Unity, Python) a background or interest in human-computer interaction, gender studies, and/or construction familiarity with qualitative and quantitative research methods. How to apply We
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions