Post doc call results

4TU Delft
4TU Eindhoven
4TU Twente
4TU Wageningen

Results postdoc call 2017

The postdocs of the following proposals will be funded (60k plus 10k benchfee).

  • TU/e Serebrenik and TU Delft Zaidman: Social aspects of software quality 
  • UT Haverkort and WUR Tekinerdogan: Safe & Secure Machine Cooperation in Agri & Food (S2MCAF)
  • U/e Wijs en UT Huisman: Veried Generation of Parallel Software (ViGARO) 
  • Jan Friso Groote (TU/e), Eelco Visser (TU Delft): Formalization of the Static Semantics of mCRL2 with Spoofax

The last two on the list are directly supported by the deans of the EEMCS faculties of TU Delft and UTwente.

For questions about NIRICT funding schemes, please contact:

Results postdoc call 2017

The postdocs of the following proposals will be funded (60k plus 10k benchfee).

  • TU/e Serebrenik and TU Delft Zaidman: Social aspects of software quality 
  • UT Haverkort and WUR Tekinerdogan: Safe & Secure Machine Cooperation in Agri & Food (S2MCAF)
  • U/e Wijs en UT Huisman: Veried Generation of Parallel Software (ViGARO) 
  • Jan Friso Groote (TU/e), Eelco Visser (TU Delft): Formalization of the Static Semantics of mCRL2 with Spoofax

The last two on the list are directly supported by the deans of the EEMCS faculties of TU Delft and UTwente.

For questions about NIRICT funding schemes, please contact:

Post doc call results

Results postdoc call 2017

The postdocs of the following proposals will be funded (60k plus 10k benchfee).

  • TU/e Serebrenik and TU Delft Zaidman: Social aspects of software quality 
  • UT Haverkort and WUR Tekinerdogan: Safe & Secure Machine Cooperation in Agri & Food (S2MCAF)
  • U/e Wijs en UT Huisman: Veried Generation of Parallel Software (ViGARO) 
  • Jan Friso Groote (TU/e), Eelco Visser (TU Delft): Formalization of the Static Semantics of mCRL2 with Spoofax

The last two on the list are directly supported by the deans of the EEMCS faculties of TU Delft and UTwente.

For questions about NIRICT funding schemes, please contact:

Results postdoc call 2017

The postdocs of the following proposals will be funded (60k plus 10k benchfee).

  • TU/e Serebrenik and TU Delft Zaidman: Social aspects of software quality 
  • UT Haverkort and WUR Tekinerdogan: Safe & Secure Machine Cooperation in Agri & Food (S2MCAF)
  • U/e Wijs en UT Huisman: Veried Generation of Parallel Software (ViGARO) 
  • Jan Friso Groote (TU/e), Eelco Visser (TU Delft): Formalization of the Static Semantics of mCRL2 with Spoofax

The last two on the list are directly supported by the deans of the EEMCS faculties of TU Delft and UTwente.

For questions about NIRICT funding schemes, please contact: