Dr. Björn Engelmann

Bis 2021, Senior Software Developer, Formal Methods Expert, PONTON GmbH

Hamburg, Deutschland

Fähigkeiten und Kenntnisse

Software Verification Know-How
Model-Driven Software Development
Language Engineering
DSL
Information Security know-how
Blockchain Expertise
Software Development experience
strong analytical and conceptual skills
flexibility
team spirit
AWS
Cloud-Security

Werdegang

Berufserfahrung von Björn Engelmann

  • 1 Jahr und 11 Monate, Nov. 2019 - Sep. 2021

    Senior Software Developer, Formal Methods Expert

    PONTON GmbH
  • 2 Jahre und 11 Monate, Nov. 2016 - Sep. 2019

    IT Consultant, Formal Methods Expert

    itemis
  • 4 Jahre, Okt. 2012 - Sep. 2016

    PhD Candidate in the Research Training Group SCARE

    University of Oldenburg

  • 4 Jahre, Aug. 2008 - Juli 2012

    Lead-Developer

    ConceptPeople consulting gmbh
  • 5 Monate, Nov. 2005 - März 2006

    Math Tutor

    Department of Mathematics, University of Hamburg

  • 1 Jahr und 9 Monate, Feb. 2004 - Okt. 2005

    Graduate Assistant

    Department of Informatics, University of Hamburg

    Team-based Scientific Software Development

  • 3 Jahre und 10 Monate, Apr. 2000 - Jan. 2004

    Independant Contractor

    Björn Engelmann

    Self-dependent design, implementation and maintenance of several small-scale software projects along with giving the necessary training courses.

Ausbildung von Björn Engelmann

  • 4 Jahre und 2 Monate, Sep. 2012 - Okt. 2016

    Computer Science

    Carl von Ossietzky University of Oldenburg

    Software Verification, Programming Languages, Program Analysis, Type Systems

  • 5 Jahre und 7 Monate, Sep. 2002 - März 2008

    Computer Science

    University of Hamburg

    Software & Network Security

Sprachen

  • Englisch

    Fließend

  • Deutsch

    Muttersprache

  • Chinesisch

    Grundlagen

Interessen

Web- and Network-Security
Secure Software Development
Patent- and Intellectual property issues
Open Source
Collaborative Software
Martial Arts
Skateboarding
Snowboarding
Surfing
Hiking
Swimming
Squash
Reading
Meeting Friends
Traveling
Software Verification
Program Analysis
Model-Driven Software Development
Programming Languages
Theorem Proving (Automated and Interactive)
Cryptography
Distributed Systems
Domain-Specific Languages
Crypto-Currencies
Blockchain
Smart Contracts
Open Access
Language Engineering

21 Mio. XING Mitglieder, von A bis Z