Profilbild von Anonymes Profil, Software Architect and Engineer / Testing / Verification
verfügbar

Letztes Update: 25.11.2020

Software Architect and Engineer / Testing / Verification

Abschluss: nicht angegeben
Stunden-/Tagessatz: anzeigen
Sprachkenntnisse: deutsch (Muttersprache) | englisch (verhandlungssicher)

Skills

  • Entwurf und Entwicklung komplexer Softwaresysteme
  • Rust / Go / Java / C / TypeScript / Python / Bash
  • Technologietransfer
  • Software Verifikation, Verifikation von C-Code (ACSL, FramaC, CBMC)
  • Satisfiability Modulo Theories (SMT)

Projekthistorie

Reisebereitschaft

Verfügbar in den Ländern Deutschland
Profilbild von Anonymes Profil, Software Architect and Engineer / Testing / Verification Software Architect and Engineer / Testing / Verification
Registrieren