Passende Schulungen
finden Sie hier:
↪ Webentwicklung mit JavaScript, HTML 5 und CSS
↪ Microsoft SQL Server 2012/2014 Reporting Services (SSRS)
↪ Microsoft SQL Server 2012/2014 Analysis Services (SSAS) Tabular Mode
↪ MOC 55319 HTML5 and CSS
↪ Microsoft SQL Server 2012/2014 Hochverfügbarkeit und AlwaysOn

#ITPFL-3022

Entwickler, Experte für formale Methoden

T.T. 1979 2022
Registrieren Sie sich jetzt kostenlos
um Ihre Anfrage versenden zu
können!

Oder loggen Sie sich ein!
Anfrage senden

Freelancerdetails
akademischer Grad Dr.
Ausbildung/Studium Informatiker/in (Hochschule)
Einsatzgebiet national
Verfügbar ab aktuell verfügbar
Verfügbarkeit vor Ort: 50%
Interesse an Festanstellung Nein
Bietet Schulungsleistungen an Ja

Vorstellung

Ich biete als Freiberufler IT-Dienstleistungen und IT-Beratung. Unter anderem biete ich Systementwicklung und -instandhaltung sowie Beratung und Schulungen für Unternehmen sowie Privatpersonen an. Mein Schwerpunkt liegt bei formalen Methoden und interaktivem Theorembeweisen, ich arbeite jedoch auch in anderen Bereichen.

Profil
Programmiersprachen
Haskell, OCaml, SML, Python, Java, C#, Javascript, C++, Bash-Scripte, Perl, PHP, ...

 

 

weitere IT-Kenntnisse
Datenbankentwicklung (besonders MySQL und MS SQL Server), Git, XML, HTML, CSS, JSON, Docker, ...

 

 

Theorembeweisen
Experte für den HOL 4 theorem prover, erfahrener Nutzer von Isabelle/HOL und Coq

Spezifikation und Conformance Testing
Erfahrung mit Model based Testing; einer der Entwickler von Lem; Entwickler von ADATT; Mitarbeit an Spezifikation von POSIX Dateisystemen

 

Sprachkenntnisse
Deutsch
Experte
Englisch
Experte
Kenntnisse & Fähigkeiten
C
Grundkentnisse
C++
Grundkentnisse
CSS
Fortgeschritten
Docker
Fortgeschritten
git
Profi
HTML
Profi
HTML5
Profi
Java
Fortgeschritten
JavaScript
Fortgeschritten
MySQL
Fortgeschritten
Perl
Grundkentnisse
PHP
Fortgeschritten
PostgreSQL
Fortgeschritten
Python
Fortgeschritten
SQL
Profi
SQL Server
Fortgeschritten
SQL Server 2012
Fortgeschritten
XML
Fortgeschritten