Jonathan Certes Email
Formal Verification Engineer @ Keysom
5 free lookup(s). No credit card required.
If you need more lookups,
subscriptions start at $34 USD/month.
Jonathan Certes Location
- Bordeaux, FR
Jonathan Certes Work
- Formal Verification Engineer @ (December 2024 - Present)
- Teaching Assistant @ (September 2021 - June 2024)
- PHD Student @ (October 2019 - June 2023)
- Teaching Assistant @ (September 2019 - August 2021)
- Hardware Software Engineer @ BiBench Systems (February 2017 - July 2019)
- Hardware Engineer @ Dolphin Integration (May 2012 - February 2017)
Jonathan Certes Education
- Université Paul Sabatier Toulouse III
Doctor of Science (Computer Science)
2019-2023 - ENSEIRB-MATMECA - Bordeaux INP
Master of Science - MS (Electrical and Electronics Engineering)
2007-2011
Jonathan Certes Skills
- Assistant Teaching
- C (Programming Language)
- Computer Hardware
- Computer Science
- Cybersecurity
- Diplomas
- Embedded C
- Embedded Software
- Embedded Systems
- Formal Verification
- Hardware Design
- Information Security
- Model Checking
- Network Security
- Operating Systems
- Python (Programming Language)
- Research Skills
- SPICE
- Security Implementation
- Tcl-Tk
- VHDL
- Verification and Validation (V&V)
- Verilog
Jonathan Certes Summary
- Jonathan Certes, based in Bordeaux, FR, is currently a Formal Verification Engineer at Keysom. Jonathan Certes brings experience from previous roles at Université de Bordeaux, Université Paul Sabatier Toulouse III, ENSEEIHT and BiBench Systems. Jonathan Certes holds a 2019 - 2023 Doctor of Science in Computer Science @ Université Paul Sabatier Toulouse III. With a robust skill set that includes Assistant Teaching, C (Programming Language), Computer Hardware, Computer Science, Cybersecurity and more. Jonathan Certes has 1 emails on RocketReach.
Looking for a different Jonathan Certes?
Find contact details for 700 million professionals.
Others Named Jonathan Certes
Top Keysom Employees
Dany Nativel
Chief Revenue Officer
La Ciotat, FR
Marion Touzac
Office Manager
Bordeaux, FR
Cyril Sagonero
Chief Executive Officer
Bordeaux, FR
Fabrice Bonnet
Chief Technology Officer
Bordeaux, FR
Théo le Mestre
Hardware Designer
Bordeaux, FR
Luca Testa
Co-founder and COO
Bordeaux, FR
Louis Saubole
Hardware Designer
Bordeaux, FR
Dylan Leothaud
Hardware Designer
Bordeaux, FR
Jonathan Certes
Formal Verification Engineer
Bordeaux, FR
Yassine Faize
Lead Architect
Nouvelle-Aquitaine, France
G2 Crowd Trusted
300K+ Plugin Users
© 2026 RocketReach.co