ACHIEVE is a H2020-MSCA Innovative Training Network for the research on Advanced Hardware/Software Components for Integrated/Embedded Vision Systems.
It aims at training a new generation of scientists through a research programme on highly integrated hardware-software...

The University of Luxembourg (UL) and Luxembourg Institute of Socio-Economic Research (LISER) invite applications for a DRIVEN PhD Fellow (Doctoral Researcher) position (m/f) as part of the DRIVEN Doctoral Training Unit (https://driven.uni.lu), consisting of 19 doctoral...

CIMI offers a 3-year support grant for 2 students starting a PhD in one of the teams related to CIMI to start in October 2019.
Eligibility criteria:
Those fellowships are open, on a competitive basis, to French and foreign students and awarded on the basis of the quality...

Every year CIMI (Centre International de Mathématiques et d’Informatique) in Toulouse provides a number of fellowships for students enrolled in a Master course in Mathematics or Computer Science in one of the programs associated with CIMI.
2 fellowships for students...

CIMI LabEx offers two post-doctoral positions to be filled as from 1st of October 2019.
The positions are funded for one year.
The research areas should be developed within the activities at the Institut de Mathématiques de Toulouse (IMT)and the Institut de Recherche en...

Work Integrated Learning (WIL) is University West’s overarching profile and basic principle applied to learning, the exchange of ideas, and educational development. The government has assigned the distinguished task of developing WIL to University West. Work integrated...

The University of Luxembourg is a multilingual, international research University.
The Interdisciplinary Centre for Security, Reliability and Trust (SnT) of University of Luxembourg and PayPal invite applications from PhD candidates in the general area of Software...

PsD-DRT-19-0022
RESEARCH FIELD
Computer science and software
ABSTRACT
Frama-C is an opensource framework providing several analyzers for C code. The analyzed programs can be annotated by formal specifications written in the ACSL specification language....