bastian schlich

competence manager systems and infrastructure

About

Standort: Allendorf, Hessen, Deutschland; Branche: Elektro-/Elektronik-Herstellung ... University,; NICTA. Ausbildung. RWTH Aachen University ... PhD Student & Research Assistant ... German. Muttersprache oder zweisprachig ... Philipp Vorst.

Country

germany

City

haine

Industry

information technology and services

Skill

softwareentwicklung, software engineering, softwaretechnik, c++, software, scrum, software development, java, c, formal verification, software architecture, agile methodologies, r&d, computer science, latex, computerwissenschaft, industrie 4.0, static analysis, model checking, embedded systems, project management, cloud computing, embedded software, automation, leadership, uml, ruby, python, c#, automotive

Experience

competence manager systems and infrastructure

grandcentrix gmbh

2019-12 - Present · 6 yrs 10 mos

senior berater

viadee unternehmensberatung gmbh

2017-11 - 2019-11 · 2 yrs 1 mo

department head

viessmann elektronik

2016-1 - 2017-10 · 1 yr 10 mos

* Department Connected Devices * Responsible for development and maintenance of several connectivity solutions (embedded software and hardware), applications and mobile apps in the context of heating and cooling devices * Managerial responsibility * Budget control * Functional leadership of i-THINx and parts of Wroclaw R&D Center * Management of external suppliers and service providers

scientist

abb

2010-3 - 2011-12 · 1 yr 10 mos

* Group Industrial Software Technologies * Leading, executing, and proposing research projects * Publishing papers and writing patent applications * Working with ABB Corporate Research programs, ABB businesses, and academia * Publishing papers

researcher

rwth aachen university

2008-7 - 2010-2 · 1 yr 8 mos

* Leading group Formal Verification * Leading development of [mc]square and SPATz * Researching formal verification of embedded software * Publishing papers * Giving lectures and seminars * Supervising students

phd student and research assistant

rwth aachen university

2004-4 - 2008-6 · 4 yrs 3 mos

* Researching formal verification of software for microcontrollers * Developing [mc]square * Publishing papers * Giving exercises and seminars * Supervising students

visiting researcher

nicta

2007-9 - 2008-2 · 6 mos

* Researching formal verification of software * Working with Goanna * Publishing papers * Giving talks

group leader

abb

2012-1 - 2015-12 · 4 yrs

* Group Industrial Software Technologies * Managerial responsibility * Defining group strategy * Managing project portfolio * Leading, executing, and proposing research projects * Publishing papers and writing patent applications * Interacting with ABB Corporate Research programs, ABB businesses, customers, and * academia