PHD RESEARCHER POSITION – UNIVERSITY OF TWENTE NETHERLANDS – COMPUTER SCIENCES
PhD position in Computer Sciences – SlaLoM project @ University of Twente Netherlands
Deadline: 15th July, 2009
The research group Formal Methods and Tools at the University of Twente (Enschede – The Netherlands) is looking for a PhD researcher (4 years), on
Security by Logic for Multithreaded applications (Vacancy number 09/124)
Our research:
This project develops a uniform verification framework [...]
