Jaco van de Pol
Prof. Dr. J.C. van de Pol
Formal Methods and Tools
University of Twente
, Faculty
EEMCS
See my new
personal website
at Aarhus University.
I'm Hiring in Aarhus!!
Currently, I have one vacancy for a
PhD student
(fully paid, three years) and one vacancy for a
Postdoc researcher
(2 years).
Courses in Twente
FMT is involved in many
courses and student projects
. Enroll in our master program
Software Technology
.
Research in Twente
For concrete research projects, papers and tools, please refer to the
FMT research website
.
