freiberufler Senior Formal Verification and Safety Engineer auf freelance.de

Senior Formal Verification and Safety Engineer

offline
  • auf Anfrage
  • nicht angegeben
  • Weltweit
  • sq  |  en  |  de
  • 11.06.2023

Kurzvorstellung

Strong experience in Formal Verification (tools: OneSpin, JasperGold)
Ongoing PhD on Safety Verification

Qualifikationen

  • Automotive functional safety expert (AFSE)
  • Digital Design
  • Formal Verification
  • ISO 26262
  • Python
  • System Verilog
  • System Verilog Assertions
  • UML
  • Verilog HDL

Ausbildung

Master of Science
1.1/5
TU Kaiserslautern
2020
Germany

Persönliche Daten

Sprache
  • Englisch (Fließend)
  • Deutsch (Gut)
  • Spanisch (Grundkenntnisse)
  • Albanisch (Muttersprache)
Reisebereitschaft
Weltweit
Arbeitserlaubnis
  • Europäische Union
Profilaufrufe
72
Alter
27
Berufserfahrung
5 Jahre (seit 05/2019)

Kontaktdaten

Nur registrierte PREMIUM-Mitglieder von freelance.de können Kontaktdaten einsehen.

Jetzt Mitglied werden