Job Description
Contexte et atouts du poste
In the field of systems engineering, contract-based design [1] is a modular methodology that enables independent component development while ensuring correct system-wide integration. A specific instance is the assume--guarantee contract: Con...
Apply for this Position
Ready to join INRIA? Click the button below to submit your application.
Submit Application