4 structures-"https:" "https:" "https:" "https:" "https:" "https:" uni jobs at University of Southern Denmark

Tenure Track Assistant Professors within the areas of Medical Robotics and Robot Control

University of Southern Denmark | Denmark | 6 days ago

Robot Control: Professor Christoffer Sloth: contact information Please visit us on LinkedIn: https://www.linkedin.com/company/sdu-robotics . If you experience technical problems, please contact our

DIAS Fellow in Formal Methods and Future Computing

University of Southern Denmark | Denmark | 2 months ago

universal repository of knowledge and tools verified by proof assistants. Our vision  is to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction

Full, Assistant and Associate Professors in Software Engineering for the Centre for Software Technology at SDU Vejle

University of Southern Denmark | Denmark | 3 months ago

at https://www.sdu.dk/mmmi. Curious? If you are interested in learning more about the position, please contact Torben Worm (Head of Centre) tow@mmmi.sdu.dk Mikkel Baun Kjærgaard (Vice Head of Centre) mbkj

Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Formal Methods

University of Southern Denmark | Denmark | 3 months ago

by proof assistants. Our vision  is to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous