AeroLeads people directory · profile
Philip Offtermatt Email & Phone Number
Technical Lead
at
Hydro
LinkedIn matched
✓ Verified August 2026
3 data sources
Profile completeness 86%
Current company
Role
Technical Lead
Location
Greater Munich Metropolitan Area, Germany
Company size
Who is Philip Offtermatt? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Philip Offtermatt is listed as Technical Lead at Hydro, a with 1 employees, based in Greater Munich Metropolitan Area, Germany. AeroLeads shows a matched LinkedIn profile for Philip Offtermatt.
Philip Offtermatt previously worked as Solutions Architect at Informal Systems and Research Engineer at Informal Systems. Philip Offtermatt holds Ph.D., Computer Science, Graduated With Distinction from Université De Sherbrooke.
Company email context
Email format at Hydro
This section adds company-level context without repeating Philip Offtermatt's masked contact details.
Hydro
Review company-level records connected to Philip Offtermatt before choosing the right outreach path.
Profile bio
About Philip Offtermatt
I'm a Research Engineer at Informal Systems, working on the security and reliability of critical code in the Cosmos Ecosystem, in particular the Cosmos Hub and Interchain Security.For this, I'm leveraging my training in formal verification, modeling and theoretical computer science.I hold a PhD from the Université de Sherbrooke in Sherbrooke, Quebec, Canada, supervised by Michael Blondin and Filip Mazowiecki. My research is concerned with verifying increasingly complex, interconnected and impactful software systems. I am interested in formal methods, their implementation, and their applications.
Current workplace
Philip Offtermatt's current company
Company context helps verify the profile and gives searchers a useful next step.
Hydro
13 roles
Philip Offtermatt work experience
A career timeline built from the work history available for this profile.
Solutions Architect
Research Engineer
Doctoral Student
Research Area: Verification of software systems, in particular concurrent systems.Working on developing and improving mathematical techniques for the analysis of software systems, in order to prove correctness or find errors. In particular, I focus on modeling distributed systems as Petri nets and answering verification questions on them.
Jan 2020 - Jul 2023
Doctoral Student
Jul 2022 - Feb 2023
Research Intern / Contractor
Project: Implement support for arbitrary temporal properties to the symbolic model checker Apalache (https://apalache.informal.systems/)Resulted in a presentation at the TLA+ conference (https://conf.tlapl.us/2022/sub3.pdf)
Apr 2022 - Dec 2022
Doctoral Student
Sep 2020 - Sep 2021
Working Student
Development of an IoT gateway for use in an automotive setting as part.Used Go, Python, MQTTand Docker.Was part of a team of ~5 developers.Held frequent customer presentations to evaluate progress.
Sep 2019 - Dec 2019
Teaching Assistant
Taught classes of 10-30 students.Course subject was Fundamentals of Algorithms and Data Structures.
Apr 2019 - Sep 2019
Research Assistant
Working at the chair for Foundations of Software Reliability and Theoretical Computer Science.Developed an open source plugin for the Process Mining tool ProM, using Java, with evaluation infrastructure written in Python.
Sep 2018 - Apr 2019
Student Intern
Development of a pipeline for machine learning for the goal of matching applicants to project descriptions.Collected large datasets of potential applicants and project tenders.Ran preliminary data analysis to detect outliers and get first insights into relevance of the data.Prepared data for use in machine learning.Mainly used Python.
Sep 2018 - Jan 2019
Teaching Assistant
Taught classes of 10-30 students, including grading homework and exams. Course subjects were Fundamentals of Algorithms and Data Structures, Introduction to Theory of Computation and Discrete Structures.
Oct 2015 - Aug 2017
Apr 2016 - Mar 2017
4 education records
Philip Offtermatt education
Ph.D., Computer Science, Graduated With Distinction
Master Of Science - Ms, Informatics, 1.3
Bachelor Of Science - Bs, Informatics, 1.7
Education record
FAQ
Frequently asked questions about Philip Offtermatt
Quick answers generated from the profile data available on this page.
What company does Philip Offtermatt work for?
Philip Offtermatt works for Hydro.
What is Philip Offtermatt's role at Hydro?
Philip Offtermatt is listed as Technical Lead at Hydro.
Where is Philip Offtermatt based?
Philip Offtermatt is based in Greater Munich Metropolitan Area, Germany while working with Hydro.
What companies has Philip Offtermatt worked for?
Philip Offtermatt has worked for Hydro, Informal Systems, Université De Sherbrooke, University Of Warsaw, and Max Planck Institute For Software Systems.
How can I contact Philip Offtermatt?
You can use AeroLeads to view verified contact signals for Philip Offtermatt at Hydro, including work email, phone, and LinkedIn data when available.
What schools did Philip Offtermatt attend?
Philip Offtermatt holds Ph.D., Computer Science, Graduated With Distinction from Université De Sherbrooke.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial