Sort by
Refine Your Search
-
verification and logic. Website for additional job details https://emploi.cnrs.fr/Offres/CDD/UMR7503-VERCOR-005/Default.aspx Work Location(s) Number of offers available1Company/InstituteLaboratoire lorrain de
-
. He/she may also participate in teaching: Dependable Software Engineering, Software Verification and Validation Methods (apprenticeship), and Computer System Dependability (apprenticeship). He/she will
-
sequences, verification, and logical aspects of verification. - Research within the Automata and Applications group - Participation in research seminars and group discussions - Participation in meetings
-
(with applications in fusion). Where to apply Website https://emploi.cnrs.fr/Candidat/Offre/UMR7031-SANGUE-058/Candidater.aspx Requirements Research FieldEngineeringEducation LevelPhD or equivalent
-
uncertain environment (essentially for the purposes of assisting understanding, verification and validation) of the uncertain environment in which the SAACD Component or the SAACD SoS evolves; (For P2) "AI as
-
(essentially for the purposes of assisting understanding, verification and validation) of the uncertain environment in which the SAACD Component or the SAACD SoS evolves; (For P2) "AI as a component" as a
-
), and contributing to the verification, description and updating of inventories held in museums; - Integrating all gathered data into the project's digital databases; - Providing scientific support for
-
verification of the compilation scheme: the candidate will develop a mechanized proof that the generated C program does implement the behavior specified by the source Smala program. To do so, the candidate will