2 model-checking Fellowship positions in Denmark

Postdoctoral Fellowship in AI Safety and Mechanistic Interpretability

University of Southern Denmark | Denmark | about 10 hours ago

scalable methods for understanding the inner workings of large language models and developing functionally-grounded steering and control techniques. The successful candidate will contribute to frontier

2-3 year Postdoctoral Fellows in Quantum Mathematics

University of Southern Denmark | Denmark | about 1 month ago

: Quantum Programming Beyond the Circuit Model” (DFF Sapere Aude) led by Associate Professor Robin Kaarsgaard Sales. Contact information Further information is available from the Head of the Centre, Professor