Jan Philipp Hafer
Angestellt, Software-Developer C++, Pixargus GmbH
Aachen, Deutschland
Über mich
Working Fullstack at Pixargus to automate image processing with focus on low level tasks and modeling. Outside of work I prefer doing technical analysis related to low level engineering and I do design currently an optimal CI library for hackable and reproducible environments. See also my github profile https://github.com/matu3ba. Previously working on automation to develop, monitor and test hardware and software (HiL, SiL, full stack, devops etc) with self-written integration test solution for multi-process optionally networked test execution, simple protocol validation, (de)serialization of execution context, setup/build integration, git worktree integration and more besides the implementation work to use it. Did Zig compiler_rt/number stuff, signaling, process and test related things besides (unfinished) OS security analysis and a bunch of other things. Does your (software) project(s) have 1. design goal, 2. introspection possibilities and 3. evaluation tools? If no: Why not?
Werdegang
Berufserfahrung von Jan Philipp Hafer
Bis heute 8 Monate, seit Nov. 2023
Software-Developer C++
Pixargus GmbH
Automation of image data processing to detect surface anomalies for defect recognition. Emphasis on Low Level, but generally Full Stack including Planning and Customer contact (Business Solutions, Requirements analysis and validation, Optimizations, IoT 4.0, Concepts and Specifications, Reviews, Testing, Cross-field collaboration). This will be updated.
1 Jahr und 5 Monate, Juni 2022 - Okt. 2023
Embedded Software Engineer
aixACCT Systems GmbH
Embedded Software Developer with focus on test automation, related devops, documentation, system design and interested in use cased based development. Likes performance optimizations and guidelines and does not like design problems or bad tooling.
6 Monate, Jan. 2019 - Juni 2019
Wissenschaftliche Hilfskraft
Institut für Datenbanken und Informationssysteme an der RWTH Aachen
Requirement analysis; Investigating potential data sources and state of the art in data connection of hospitals; Protocol for data investigation
7 Monate, Juni 2014 - Dez. 2014
Wissenschaftliche Hilfskraft
Institut für Werkstoffe der Elektrotechnik 2 an der RWTH Aachen
C# mostly; Co-supervision of institute project (construction of scanning tunnel microscope [STM]). Maintenance of sputtering system (PDI-heat control, improvements), control and GUI of STM walker.
10 Monate, Juni 2013 - März 2014
Wissenschaftliche Hilfskraft
Institut für Werkstoffe der Elektrotechnik 2 an der RWTH Aachen
Lua; Matlab; C; Channel current measurements of resistive memory; Evaluation and plots; Programming of measurement instructrements (Keithley SCS4200 + others)
Ausbildung von Jan Philipp Hafer
4 Jahre und 5 Monate, Apr. 2018 - Aug. 2022
Computer Science
RWTH Aachen University
Delayed by birth of son in April 2020. Thesis "Property Directed Equivalence of PLC Programs". Incremental Regression Verification: try to prove program equivalence between over-approximation of reachable states. Complexity, test cases, performance of own implementation and idea on general scalability (saving program changes by the editor) are presented. Automation and formal methods Medicine (Software development by IEC 62304) Publication "A Characterization of Political Communities on Reddit"
3 Jahre und 6 Monate, Okt. 2014 - März 2018
Computer Science
RWTH Aachen University
Thesis "Eigenvalue decomposition for Reachability Analysis in Hybrid Systems". Reachability analysis of unsafe states from initial states was applied on Hybrid Automata [HA]. Eigenvalue decomposition simplifies computing the matrix exponential into dimension-wise independent parts, which is used to compute the reachable states of the HA. Theory: Compiler construction, digital currency, Lyapunov functions for Software correctness, overview of AI methods Practice: Tracking of model cars
3 Jahre, Okt. 2011 - Sep. 2014
Electrical Engineering
RWTH Aachen University
Sprachen
Deutsch
-
Englisch
-