Nicolas Amat
Research Scientist at ONERA - The French Aerospace Lab | Toulouse, Occitanie, France
Engage
candidates 10x faster
Enjoy unlimited access and discover candidates outside of LinkedIn
Trusted by 1.4M users from 76% of Fortune 500 companies
The most accurate data ever
CCPA Compliant
GDPR Compliant
150M
Personal Emails
200M
Work Emails
100M
Direct Dials
250M
Professional Profiles
40M
Company Profiles
Find anyone, anywhere
with ContactOut
today
Making remote or global hires?
Connecting
with key decision-makers? We can help.
- 40 emails / month
- 3 phone numbers / month
- Works on standard LinkedIn only
-
Work emails, personal emails,
mobile numbers
No credit card required
Research Scientist at ONERA - The French Aerospace Lab in October 2024 to Present
Postdoctoral Researcher at IMDEA Software Institute in November 2023 to October 2024
PhD Student: Model-Checking Petri nets with a Polyhedral Method at LAAS-CNRS in October 2020 to October 2023
Formal Methods Intern: Model Checking - Petri Nets - SMT Solving at Inria in February 2020 to August 2020
Embedded Software Intern - User-mode Linux at Arm in June 2019 to August 2019
Introduction to Laboratory Research - Separation Logic - Interactive Theorem Prover at LIG - Grenoble Informatics Laboratory in January 2019 to May 2019
Crypto Developer Intern at IRIT (Institut de Recherche en Informatique de Toulouse) in May 2017 to June 2017
See more
See less
INSA Toulouse - Institut National des Sciences Appliquées de Toulouse, Doctor of Philosophy - PhD, September 2026
National School of Computer Science and Applied Mathematics of Grenoble, Engineer's degree, September 2026
Université Grenoble Alpes, Master of Science in Informatics at Grenoble (MOSIG), September 2026
La Prépa des INP, September 2026
See more
See less
Model Checking
SAT / SMT Solving
Isabelle/HOL (proof assistant)
C
Linux
Python (Programming Language)
Object-Oriented Programming (OOP)
Bash
Shell Scripting
Java
LaTeX
C++
Open Source Software
R
Git
Logic
Kernel
Linux Kernel
RISC-V
Petri Nets
See more
See less
Discover more about ONERA - The French Aerospace LabWhat is Nicolas Amat email address?
Email Nicolas Amat at [email protected]. This email is the most updated Nicolas Amat's email found in 2026.
How to contact Nicolas Amat?
To contact Nicolas Amat send an email to [email protected]. (updated on November 17, 2025)
What company does Nicolas Amat work for?
Nicolas Amat works for ONERA - The French Aerospace Lab
What is Nicolas Amat's role at ONERA - The French Aerospace Lab?
Nicolas Amat is Research Scientist
What is Nicolas Amat's Phone Number?
Nicolas Amat's phone (**) *** *** 121
What industry does Nicolas Amat work in?
Nicolas Amat works in the Research industry.
Nicolas Amat Email Addresses
Nicolas Amat Phone Numbers
looking for?
Find personal and work emails for over 250M professionals.
People like Nicolas Amat
Research Scientist at Laboratoire de Génie Chimique Toulouse / Chemical Engineering Research Center of Toulouse
Research Scientist at CERFACS
Research Scientist at University Paul Sabatier (Toulouse, France)
Senior Research Scientist at Centre national de la recherche scientifique
Senior Research Scientist at CERFACS
Research Scientist (CRCN) at IRD
Research Scientist at ONERA - The French Aerospace Lab
Research Scientist at Evotec
Research scientist at Boehringer Ingelheim
Research Scientist at Evotec
Associate Manager at Accenture
Associate Analyst at First National Financial LP
Show more
Show less