2 computational-mechanics PhD positions at University of Twente

PhD position on Liveness from causality analysis

University of Twente | Netherlands | 22 days ago

-proof. You will contribute to the CYCLIC project : Cyclic Structures in Programs and Proofs , a collaboration among five Dutch universities, uniting experts in cyclic structures, coinduction, program

PhD Position in Surgical Robotics

University of Twente | Netherlands | about 23 hours ago

, s.misra@utwente.nl. Interviews will take place approximately 4 weeks after your application. About the organisation The Faculty of Engineering Technology (ET) engages in education and research of Mechanical