Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics
-
to compile an individual employment package every year. Discount with health insurers on supplemental packages. Flexible working week. Every year, 232 leave hours (at 38 hours). You can also sell or buy
-
, leading the analysis work, and taking responsibility for data quality. The work also includes compiling data and evaluating information, participating in project meetings, and leading the work to publish
-
experience and expertise and in line with our internal salary framework. An excellent pension scheme via the ABP. The possibility to compile an individual employment package every year. Discount with health
-
work, and taking responsibility for data quality. The work also includes compiling data and evaluating information, participating in project meetings, and leading the work to publish results
-
- another candidate(s) from the compiled ranking list. In the event that for any reason the funding provided for the project is interrupted, FORTH-IMBB reserves the right to interrupt the execution
-
replacement will be carried out by selecting - based on score/point allocation - another candidate(s) from the compiled ranking list. In the event that for any reason the funding provided for the project is
-
An excellent pension scheme via the ABP. The possibility to compile an individual employment package every year. Discount with health insurers on supplemental packages. Flexible working week. Every year, 232
-
the Collective Labour Agreement for Dutch An excellent pension scheme via the ABP. The possibility to compile an individual employment package every year. Discount with health insurers on supplemental packages
-
to compile an individual employment package every year. Discount with health insurers on supplemental packages. Flexible working week. Every year, 232 leave hours (at 38 hours). You can also sell or buy