Freiberufler / Selbstständiger
Remote-Arbeit
Verfügbar ab: 17.04.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
Einsatzorte
Deutschland, Schweiz, Österreich
Projekte
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
- 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
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
Verification Engineer
- Verifikation auf Modulebene
- Planung der Verifikation
- Implementieren der Testbench
- Specman e
- Onespin
- AHB
Bourne-again-shell
Linux
Hardware-Design
VHDL
C++
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
- 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)
- Datenbankstruktur erstellen
- Webfrontend entwickeln in Absprache mit Nutzern
Ruby on Rails
JavaScript
Ajax
JSON
PostgreSQL
Linux
Git
- 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
- Umstellung auf UTF-8
- LDAP Replikation
- Installation und Konfiguration von sudo-ldap und nagios
- Konfiguration von USV (apcupsd)
Linux
Bourne-again-shell
LDAP
- Performance-Messung mit iPhone für verschiedene RAID-Konfigurationen
- Berechnen der Ausfallwahrscheinlichkeiten für verschiedene RAID-Konfigurationen
RAID
MS Excel
Linux
Bourne-again-shell
- Installation von OTRS
- Anbindung an LDAP
LDAP
OTRS
Linux
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
Verification Engineer
Verifikation auf Modulebene mit Specman, ISX und IFV
Cadence Design Systems
Subversion
SystemC
Bourne-again-shell
Perl
C++
VHDL
Hardware-Design
PCIe
Verification Engineer
Verifikation auf Modulebene mit Specman, IFV und ISX
Cadence Design Systems
C++
SystemC
VHDL
Bourne-again-shell
Perl
Subversion
ASIC
Hardware-Design
Aus- und Weiterbildung
Diplom-Ingenieur
TU Darmstadt
Kompetenzen
Top-Skills
Formal Verification
Specman
UVM
Git
C++
Ruby on Rails
Dlang
C#
Java
Visual Basic
Assembler
XSL
SQL
Produkte / Standards / Erfahrungen / Methoden
Skills:
Development tools
- Subversion
- git
- MS Visual Studio
- Mercurial
- Valgrind
- Bison
- Flex
- Ant
- KDevelop
- Eclipse
Linux services
- OpenLDAP
- Samba
- Apache
- apcups
- bind
- CUPS
- Gosa
- OpenSSH
- Postfix
- Dovecot
Tools
- Specman
- Incisive Formal Verifier
- LATEX
- eGroupware
- OneSpin 360 MV
- Taskjuggler
- MS Project
- Advanced Modelsim
- Simvision
Other
- Object and aspect oriented programming
- AHB
- AXI
- Design pattern
- PCIe
- Cryptography
- Functional Programming
- Cryptography
Betriebssysteme
Programmiersprachen
Datenbanken
Design / Entwicklung / Konstruktion
Einsatzorte
Deutschland, Schweiz, Österreich
Projekte
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
- 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
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
Verification Engineer
- Verifikation auf Modulebene
- Planung der Verifikation
- Implementieren der Testbench
- Specman e
- Onespin
- AHB
Bourne-again-shell
Linux
Hardware-Design
VHDL
C++
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
- 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)
- Datenbankstruktur erstellen
- Webfrontend entwickeln in Absprache mit Nutzern
Ruby on Rails
JavaScript
Ajax
JSON
PostgreSQL
Linux
Git
- 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
- Umstellung auf UTF-8
- LDAP Replikation
- Installation und Konfiguration von sudo-ldap und nagios
- Konfiguration von USV (apcupsd)
Linux
Bourne-again-shell
LDAP
- Performance-Messung mit iPhone für verschiedene RAID-Konfigurationen
- Berechnen der Ausfallwahrscheinlichkeiten für verschiedene RAID-Konfigurationen
RAID
MS Excel
Linux
Bourne-again-shell
- Installation von OTRS
- Anbindung an LDAP
LDAP
OTRS
Linux
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
Verification Engineer
Verifikation auf Modulebene mit Specman, ISX und IFV
Cadence Design Systems
Subversion
SystemC
Bourne-again-shell
Perl
C++
VHDL
Hardware-Design
PCIe
Verification Engineer
Verifikation auf Modulebene mit Specman, IFV und ISX
Cadence Design Systems
C++
SystemC
VHDL
Bourne-again-shell
Perl
Subversion
ASIC
Hardware-Design
Aus- und Weiterbildung
Diplom-Ingenieur
TU Darmstadt
Kompetenzen
Top-Skills
Formal Verification
Specman
UVM
Git
C++
Ruby on Rails
Dlang
C#
Java
Visual Basic
Assembler
XSL
SQL
Produkte / Standards / Erfahrungen / Methoden
Skills:
Development tools
- Subversion
- git
- MS Visual Studio
- Mercurial
- Valgrind
- Bison
- Flex
- Ant
- KDevelop
- Eclipse
Linux services
- OpenLDAP
- Samba
- Apache
- apcups
- bind
- CUPS
- Gosa
- OpenSSH
- Postfix
- Dovecot
Tools
- Specman
- Incisive Formal Verifier
- LATEX
- eGroupware
- OneSpin 360 MV
- Taskjuggler
- MS Project
- Advanced Modelsim
- Simvision
Other
- Object and aspect oriented programming
- AHB
- AXI
- Design pattern
- PCIe
- Cryptography
- Functional Programming
- Cryptography
Betriebssysteme
Programmiersprachen
Datenbanken
Design / Entwicklung / Konstruktion
Das Freelancer-Portal
Direktester geht's nicht! Ganz einfach Freelancer finden und direkt Kontakt aufnehmen.