Job Opportunities

We are currently seeking several candidates for PhD positions
(see attached document - contact person Alessandro Cimatti).

We have also open positions for post-docs, technologists and programmers:

• Researcher for the HUBCAP project on technology transfer of model-based design techniques
  (contact person Stefano Tonetta)
• Technologist for the HUBCAP project on a collaborative platform for model-based design technology
  (contact person Stefano Tonetta)
• Programmer supporting FBK-Bosch collaboration on formal methods for safety-critical systems
  (contact person Stefano Tonetta)