Dalay Almeida, Ph.D.
AeroLeads people directory · profile

Dalay Almeida, Ph.D. Email & Phone Number

Ingénieur de Recherche at CLEARSY
Location: Aix-En-Provence, Provence-alpes-côte D'azur, France 8 work roles 4 schools
LinkedIn matched
✓ Verified Jul 2026 3 data sources Profile completeness 86%

Contact Signals

LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
CLEARSY
Role
Ingénieur de Recherche
Location
Aix-En-Provence, Provence-alpes-côte D'azur, France
Company size
127 employees

Who is Dalay Almeida, Ph.D.? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Dalay Almeida, Ph.D. is listed as Ingénieur de Recherche at CLEARSY, a with 127 employees, based in Aix-En-Provence, Provence-alpes-côte D'azur, France. AeroLeads shows a matched LinkedIn profile for Dalay Almeida, Ph.D..

Dalay Almeida, Ph.D. previously worked as Research Engineer at Clearsy and Researcher at Université Gustave Eiffel. Dalay Almeida, Ph.D. holds Phd, Computer Science And Automation from Centrale Lille.

Company email context

Email format at CLEARSY

This section adds company-level context without repeating Dalay Almeida, Ph.D.'s masked contact details.

CLEARSY

Review company-level records connected to Dalay Almeida, Ph.D. before choosing the right outreach path.

View email format View company profile Management contacts
Profile bio

About Dalay Almeida, Ph.D.

Research Engineer at Clearsy, in Aix-en-Provence - France, working with the specification and development of safety-critical systems. He holds a PhD in Computer Science and Automation from École Centrale de Lille (France), a master's degree in Systems and Computing from the Federal University of Rio Grande do Norte (UFRN - Brazil) and a Bachelor's degree in Software Engineering from the same university. He studied one year (2/2014 - 1/2015) of Software Engineering at BME (Budapest University of Technology and Economics) in Budapest. Some of his subjects of interest are the analysis and development of critical systems, Formal Methods, system modelling and other related topics.

Current workplace

Dalay Almeida, Ph.D.'s current company

Company context helps verify the profile and gives searchers a useful next step.

CLEARSY
Clearsy
Ingénieur de Recherche
Aix-en-Provence, FR
Website
clearsy.com
Employees
127
AeroLeads page
Company profile
View company profile Email format
8 roles

Dalay Almeida, Ph.D. work experience

A career timeline built from the work history available for this profile.

Ingénieur De Recherche

Clearsy

Aix-En-Provence, Fr

Research Engineer

Current
Clearsy

Aix-En-Provence, Provence-Alpes-Côte D'Azur, France

- Development of critical systems using a formal methodology based on the B method.- Analysis and proof of systems for security.- Industrial and academic research with various international partners.- Participation in training missions and tutorials at universities and international conferences on the formal development of critical systems.- Technical Reference and Project Leader in the development and testing projects of railway systems (CBTC - Siemens).

Nov 2021 - Present

Scholarship

Universidade Federal Do Rio Grande Do Norte

Natal Area, Brazil

Scientific initiation, working with: composition of software modules, specification and verification of concurrent systems.

Sep 2011 - Dec 2012
Team & coworkers

Colleagues at CLEARSY

Other employees you can reach at clearsy.com. View company contacts for 127 employees →

JP Jean-Philippe Pitzalis Jean-Philippe Pitzalis Colleague at ClearsyFrance View → MF Mallory Farradèche Mallory Farradèche Colleague at ClearsyParis, Île-De-France, France View → JD Jason Daniel Jason Daniel Colleague at ClearsyLa Seyne-Sur-Mer, Provence-Alpes-Côte D'Azur, France View → LB Lucie Bauthamy Lucie Bauthamy Colleague at ClearsyAix-En-Provence, Provence-Alpes-Côte D'Azur, France View → YC Yoann Chaumy Yoann Chaumy Colleague at ClearsyAuenheim, Grand Est, France View → SA Sebastien Adhere Sebastien Adhere Colleague at ClearsyAix-En-Provence, Provence-Alpes-Côte D'Azur, France View → GD Gaëtan Dupeuble Gaëtan Dupeuble Colleague at ClearsyLyon, Auvergne-Rhône-Alpes, France View → MP Marc Pichon Marc Pichon Colleague at ClearsySainte-Foy-Lès-Lyon, Auvergne-Rhône-Alpes, France View → MM Michael Marmolle Michael Marmolle Colleague at ClearsyBouc-Bel-Air, Provence-Alpes-Côte D'Azur, France View → ET Emeric Tourniaire Emeric Tourniaire Colleague at ClearsyGreater Paris Metropolitan Region, France View →
4 education records

Dalay Almeida, Ph.D. education

FAQ

Frequently asked questions about Dalay Almeida, Ph.D.

Quick answers generated from the profile data available on this page.

What company does Dalay Almeida, Ph.D. work for?

Dalay Almeida, Ph.D. works for CLEARSY.

What is Dalay Almeida, Ph.D.'s role at CLEARSY?

Dalay Almeida, Ph.D. is listed as Ingénieur de Recherche at CLEARSY.

Where is Dalay Almeida, Ph.D. based?

Dalay Almeida, Ph.D. is based in Aix-En-Provence, Provence-alpes-côte D'azur, France while working with CLEARSY.

What companies has Dalay Almeida, Ph.D. worked for?

Dalay Almeida, Ph.D. has worked for Clearsy, Université Gustave Eiffel, Sig Software E Consultoria Em Tecnologia Da Informação, Capes - Coordenação De Aperfeiçoamento De Pessoal De Nível Superior, and Universidade Federal Do Rio Grande Do Norte.

Who are Dalay Almeida, Ph.D.'s colleagues at CLEARSY?

Dalay Almeida, Ph.D.'s colleagues at CLEARSY include Jean-Philippe Pitzalis, Mallory Farradèche, Jason Daniel, Lucie Bauthamy, and Yoann Chaumy.

How can I contact Dalay Almeida, Ph.D.?

You can use AeroLeads to view verified contact signals for Dalay Almeida, Ph.D. at CLEARSY, including work email, phone, and LinkedIn data when available.

What schools did Dalay Almeida, Ph.D. attend?

Dalay Almeida, Ph.D. holds Phd, Computer Science And Automation from Centrale Lille.

Find 750M verified contacts

Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.