David Deharbe

Clearsy

Aix-en-Provence, FR
MOBILE NUMBERS
+91 *********19

Signup · Get unlimited contacts

WORK HISTORY

Present

@Clearsy

View department →

SKILLS

Model CheckingCProgrammingComputer ProgrammingFormal VerificationResearchAlgorithmsVhdlOcamlB MethodLecturingSoftware DevelopmentPythonLatexFormal MethodsJavaSoftware EngineeringComputer ScienceLinuxSchemeC++SmtUml

ABOUT DAVID DEHARBE

System design, system modeling, functional safety demonstration, data validation…

This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.