Stefan Frehse

Principal Software Architect bei BAADER

Bremen, DE

2

Office Hours

How does this work?
Ask me about
Confluent
Work experience
logo

Aug 2020 - Present

BAADER

Principal Software Architect

Apr 2019 - Present

matched.io

Co-Founder

Mar 2018 - Aug 2020

BAADER, Nordischer Maschinenbau Rud.Baader GmbH+Co.KG

Senior Software Architect

Apr 2015 - Dec 2019

Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI)

Researcher

Apr 2015 - Feb 2018

SCiLS

Software Engineer

logo

Jan 2015 - Mar 2015

University of Bremen

Researcher

Jun 2013 - Dec 2014

solvertec GmbH

Software Engineer

Developing high-performance solutions for automated hardware debugging (EDA).

Feb 2013 - Jun 2013

DFKI (German Research Center for Artificial Intelligence)

Researcher

Industrial Formal Verification (FV), Automatic Test Pattern Generation (ATPG)

logo

Jan 2009 - Feb 2013

University of Bremen

PhD-Student

formal verification, automated debugging, synthesis, safety critical systems

logo

Jul 2010 - Oct 2010

IBM

Researcher

Industrial Verification of fault tolerant systems using formal methods.

Talk to Stefan

@ Copyright 2020 OfficeHours Technologies Co.