Verification Engineer
Aktualisiert am 03.04.2024
Profil
Freiberufler / Selbstständiger
Remote-Arbeit
Verfügbar ab: 08.03.2024
Verfügbar zu: 100%
davon vor Ort: 5%
Formal Verification
Specman
UVM
Git
C++
Ruby on Rails
Dlang
C#
Java
Visual Basic
Assembler
XSL
SQL
Deutsch
Muttersprache
Englisch
Fortgeschritten
Spanisch
Grundkenntnisse

Einsatzorte

Einsatzorte

Deutschland, Schweiz, Österreich
möglich

Projekte

Projekte

1 Jahr 8 Monate
2022-01 - 2023-08

Verifikation eines Sensors

Verification Engineer Linux Rational ClearCase Bourne-again-shell ...
Verification Engineer
  • Verifikation eines Sensors auf Modulebene
  • Planung der Verifikation
  • Implementieren der Testbench
  • Specman e
  • OCP, I2C, I3C, SPI
  • ClearCase
Linux Rational ClearCase Bourne-again-shell Perl Git VHDL C++ Hardware-Design
Mailand
2 Jahre
2020-01 - 2021-12

Verifikation eines Sensors

Verification Lead Bourne-again-shell Rational ClearCase Atlassian JIRA ...
Verification Lead
  • Verifikation eines Sensors auf Modulebene
  • Leitung der Verifikation 
  • Planung der Verifikation
  • Implementieren der Testbench
  • Specman e
  • Onespin
  • OCP, I2C, I3C, SPI
  • ClearCase
Bourne-again-shell Rational ClearCase Atlassian JIRA C++ Linux VHDL MS Project MS Excel
Mailand
1 Jahr 9 Monate
2019-04 - 2020-12

Verifikation eines Sensors

Verification Engineer Bourne-again-shell Atlassian JIRA Linux ...
Verification Engineer
  • Verifikation auf Modulebene
  • Planung der Verifikation
  • Implementieren der Testbench
  • Specman e
  • OCP, I2C, I3C, SPI
  • ClearCase
Bourne-again-shell Atlassian JIRA Linux Hardware-Design VHDL C++ Rational ClearCase
Mailand
1 Jahr 7 Monate
2017-06 - 2018-12

Verifikation ASIC

Verification Engineer Bourne-again-shell Linux Hardware-Design ...
Verification Engineer
  • Verifikation auf Modulebene
  • Planung der Verifikation
  • Implementieren der Testbench
  • Specman e
  • Onespin
  • AHB
Bourne-again-shell Linux Hardware-Design VHDL C++
München
1 Jahr
2016-06 - 2017-05

Verifikation eines Sensors

Verification Engineer Rational ClearCase Bourne-again-shell Perl ...
Verification Engineer
  • Verifikation eines Sensors auf Modulebene
  • Planung der Verifikation
  • Implementieren der Testbench
  • Specman e
  • OCP
  • ClearCase
Rational ClearCase Bourne-again-shell Perl VHDL Hardware-Design Linux
Dresden
5 Jahre 11 Monate
2010-07 - 2016-05

Verifikation diverser ASICs

Design Engineer C++ Git Subversion ...
Design Engineer
  • Planen und Einrichten des Verifikation-Workflows mit Specman
  • Planung der Verifikation von ASICS bzw. der Module mit Taskjuggler und MS Project
  • Verification Lead
  • Code reviews mit Gerrit
C++ Git Subversion Bourne-again-shell MS Excel Linux MS Project SystemC SystemVerilog Verilog VHDL VBA Visual Basic C-Shell KornShell
Langen (Hessen)
5 Monate
2013-08 - 2013-12

Datenbank mit Webfrontend

Ruby on Rails JavaScript Ajax ...
  • Datenbankstruktur erstellen
  • Webfrontend entwickeln in Absprache mit Nutzern
Ruby on Rails JavaScript Ajax JSON PostgreSQL Linux Git
Darmstadt
2 Monate
2010-05 - 2010-06

Installation und Konfiguration von diversen Linux-Diensten

Consultant OpenLDAP Samba NFS ...
Consultant
  • Installation und Konfiguration von DNS, NFS, Samba, Gosa, Bacula und OpenLDAP
  • Installation und Konfiguration eines Subversionservers mit Authentifizierung durch Apache
  • Samba und Gosa mit LDAP verbinden
OpenLDAP Samba NFS bacula Linux Bourne-again-shell
Darmstadt
2 Monate
2010-03 - 2010-04

Beratung und Installation verschiedener Linux-Dienste

Consultant Linux Bourne-again-shell LDAP
Consultant
  • Umstellung auf UTF-8
  • LDAP Replikation
  • Installation und Konfiguration von sudo-ldap und nagios
  • Konfiguration von USV (apcupsd)
Nagios
Linux Bourne-again-shell LDAP
Darmstadt
1 Monat
2010-02 - 2010-02

Evaluierung eines RAID-Systems

Consultant RAID MS Excel Linux ...
Consultant
  • Performance-Messung mit iPhone für verschiedene RAID-Konfigurationen
  • Berechnen der Ausfallwahrscheinlichkeiten für verschiedene RAID-Konfigurationen 
RAID MS Excel Linux Bourne-again-shell
Darmstadt
1 Monat
2010-01 - 2010-01

Installation Ticketsystem OTRS

Consultant LDAP OTRS Linux
Consultant
  • Installation von OTRS
  • Anbindung an LDAP
LDAP OTRS Linux
Darmstadt
7 Monate
2009-06 - 2009-12

Verifikation Software für FPGA mit ISX

Verification Engineer Perl Subversion Bourne-again-shell ...
Verification Engineer
Evaluierung der Verifikation von Software für einen FPGA mit ISX
Cadence Design Systems
Perl Subversion Bourne-again-shell C++ VHDL Hardware-Design
München
1 Jahr
2008-07 - 2009-06

Verifikation PCIe zu AXI Brücke

Verification Engineer Subversion SystemC Bourne-again-shell ...
Verification Engineer
Verifikation auf Modulebene mit Specman, ISX und IFV
Cadence Design Systems
Subversion SystemC Bourne-again-shell Perl C++ VHDL Hardware-Design PCIe
München
1 Jahr
2007-08 - 2008-07

Verifikation eines Display-Controllers

Verification Engineer C++ SystemC VHDL ...
Verification Engineer
Verifikation auf Modulebene mit Specman, IFV und ISX
Cadence Design Systems
C++ SystemC VHDL Bourne-again-shell Perl Subversion ASIC Hardware-Design
München

Aus- und Weiterbildung

Aus- und Weiterbildung

5 Jahre
1996-09 - 2001-08

Elektrotechnik-Studium

Diplom-Ingenieur, TU Darmstadt
Diplom-Ingenieur
TU Darmstadt

- Verifikation

- Hardware Design

Kompetenzen

Kompetenzen

Top-Skills

Formal Verification Specman UVM Git C++ Ruby on Rails Dlang C# Java Visual Basic Assembler XSL SQL

Programmiersprachen

e verification language
Experte
C++
Experte
C
Fortgeschritten
Dlang
Fortgeschritten
Perl
Fortgeschritten
Ruby
Basics
Java
Fortgeschritten
F#
Basics
C#
Fortgeschritten
VHDL
Fortgeschritten
CSS
Fortgeschritten
HTML
Fortgeschritten
XSLT
Fortgeschritten
Visual Basic
Fortgeschritten

Datenbanken

Postgres
Fortgeschritten
SQL
Fortgeschritten

Design / Entwicklung / Konstruktion

Verifikation
Experte

Einsatzorte

Einsatzorte

Deutschland, Schweiz, Österreich
möglich

Projekte

Projekte

1 Jahr 8 Monate
2022-01 - 2023-08

Verifikation eines Sensors

Verification Engineer Linux Rational ClearCase Bourne-again-shell ...
Verification Engineer
  • Verifikation eines Sensors auf Modulebene
  • Planung der Verifikation
  • Implementieren der Testbench
  • Specman e
  • OCP, I2C, I3C, SPI
  • ClearCase
Linux Rational ClearCase Bourne-again-shell Perl Git VHDL C++ Hardware-Design
Mailand
2 Jahre
2020-01 - 2021-12

Verifikation eines Sensors

Verification Lead Bourne-again-shell Rational ClearCase Atlassian JIRA ...
Verification Lead
  • Verifikation eines Sensors auf Modulebene
  • Leitung der Verifikation 
  • Planung der Verifikation
  • Implementieren der Testbench
  • Specman e
  • Onespin
  • OCP, I2C, I3C, SPI
  • ClearCase
Bourne-again-shell Rational ClearCase Atlassian JIRA C++ Linux VHDL MS Project MS Excel
Mailand
1 Jahr 9 Monate
2019-04 - 2020-12

Verifikation eines Sensors

Verification Engineer Bourne-again-shell Atlassian JIRA Linux ...
Verification Engineer
  • Verifikation auf Modulebene
  • Planung der Verifikation
  • Implementieren der Testbench
  • Specman e
  • OCP, I2C, I3C, SPI
  • ClearCase
Bourne-again-shell Atlassian JIRA Linux Hardware-Design VHDL C++ Rational ClearCase
Mailand
1 Jahr 7 Monate
2017-06 - 2018-12

Verifikation ASIC

Verification Engineer Bourne-again-shell Linux Hardware-Design ...
Verification Engineer
  • Verifikation auf Modulebene
  • Planung der Verifikation
  • Implementieren der Testbench
  • Specman e
  • Onespin
  • AHB
Bourne-again-shell Linux Hardware-Design VHDL C++
München
1 Jahr
2016-06 - 2017-05

Verifikation eines Sensors

Verification Engineer Rational ClearCase Bourne-again-shell Perl ...
Verification Engineer
  • Verifikation eines Sensors auf Modulebene
  • Planung der Verifikation
  • Implementieren der Testbench
  • Specman e
  • OCP
  • ClearCase
Rational ClearCase Bourne-again-shell Perl VHDL Hardware-Design Linux
Dresden
5 Jahre 11 Monate
2010-07 - 2016-05

Verifikation diverser ASICs

Design Engineer C++ Git Subversion ...
Design Engineer
  • Planen und Einrichten des Verifikation-Workflows mit Specman
  • Planung der Verifikation von ASICS bzw. der Module mit Taskjuggler und MS Project
  • Verification Lead
  • Code reviews mit Gerrit
C++ Git Subversion Bourne-again-shell MS Excel Linux MS Project SystemC SystemVerilog Verilog VHDL VBA Visual Basic C-Shell KornShell
Langen (Hessen)
5 Monate
2013-08 - 2013-12

Datenbank mit Webfrontend

Ruby on Rails JavaScript Ajax ...
  • Datenbankstruktur erstellen
  • Webfrontend entwickeln in Absprache mit Nutzern
Ruby on Rails JavaScript Ajax JSON PostgreSQL Linux Git
Darmstadt
2 Monate
2010-05 - 2010-06

Installation und Konfiguration von diversen Linux-Diensten

Consultant OpenLDAP Samba NFS ...
Consultant
  • Installation und Konfiguration von DNS, NFS, Samba, Gosa, Bacula und OpenLDAP
  • Installation und Konfiguration eines Subversionservers mit Authentifizierung durch Apache
  • Samba und Gosa mit LDAP verbinden
OpenLDAP Samba NFS bacula Linux Bourne-again-shell
Darmstadt
2 Monate
2010-03 - 2010-04

Beratung und Installation verschiedener Linux-Dienste

Consultant Linux Bourne-again-shell LDAP
Consultant
  • Umstellung auf UTF-8
  • LDAP Replikation
  • Installation und Konfiguration von sudo-ldap und nagios
  • Konfiguration von USV (apcupsd)
Nagios
Linux Bourne-again-shell LDAP
Darmstadt
1 Monat
2010-02 - 2010-02

Evaluierung eines RAID-Systems

Consultant RAID MS Excel Linux ...
Consultant
  • Performance-Messung mit iPhone für verschiedene RAID-Konfigurationen
  • Berechnen der Ausfallwahrscheinlichkeiten für verschiedene RAID-Konfigurationen 
RAID MS Excel Linux Bourne-again-shell
Darmstadt
1 Monat
2010-01 - 2010-01

Installation Ticketsystem OTRS

Consultant LDAP OTRS Linux
Consultant
  • Installation von OTRS
  • Anbindung an LDAP
LDAP OTRS Linux
Darmstadt
7 Monate
2009-06 - 2009-12

Verifikation Software für FPGA mit ISX

Verification Engineer Perl Subversion Bourne-again-shell ...
Verification Engineer
Evaluierung der Verifikation von Software für einen FPGA mit ISX
Cadence Design Systems
Perl Subversion Bourne-again-shell C++ VHDL Hardware-Design
München
1 Jahr
2008-07 - 2009-06

Verifikation PCIe zu AXI Brücke

Verification Engineer Subversion SystemC Bourne-again-shell ...
Verification Engineer
Verifikation auf Modulebene mit Specman, ISX und IFV
Cadence Design Systems
Subversion SystemC Bourne-again-shell Perl C++ VHDL Hardware-Design PCIe
München
1 Jahr
2007-08 - 2008-07

Verifikation eines Display-Controllers

Verification Engineer C++ SystemC VHDL ...
Verification Engineer
Verifikation auf Modulebene mit Specman, IFV und ISX
Cadence Design Systems
C++ SystemC VHDL Bourne-again-shell Perl Subversion ASIC Hardware-Design
München

Aus- und Weiterbildung

Aus- und Weiterbildung

5 Jahre
1996-09 - 2001-08

Elektrotechnik-Studium

Diplom-Ingenieur, TU Darmstadt
Diplom-Ingenieur
TU Darmstadt

- Verifikation

- Hardware Design

Kompetenzen

Kompetenzen

Top-Skills

Formal Verification Specman UVM Git C++ Ruby on Rails Dlang C# Java Visual Basic Assembler XSL SQL

Programmiersprachen

e verification language
Experte
C++
Experte
C
Fortgeschritten
Dlang
Fortgeschritten
Perl
Fortgeschritten
Ruby
Basics
Java
Fortgeschritten
F#
Basics
C#
Fortgeschritten
VHDL
Fortgeschritten
CSS
Fortgeschritten
HTML
Fortgeschritten
XSLT
Fortgeschritten
Visual Basic
Fortgeschritten

Datenbanken

Postgres
Fortgeschritten
SQL
Fortgeschritten

Design / Entwicklung / Konstruktion

Verifikation
Experte

Vertrauen Sie auf GULP

Im Bereich Freelancing
Im Bereich Arbeitnehmerüberlassung / Personalvermittlung

Fragen?

Rufen Sie uns an +49 89 500316-300 oder schreiben Sie uns:

Das GULP Freelancer-Portal

Direktester geht's nicht! Ganz einfach Freelancer finden und direkt Kontakt aufnehmen.