Diego Machado Dias
AeroLeads people directory · profile

Diego Machado Dias Email & Phone Number

Systems Verification Engineer at Kernkonzept at Kernkonzept
Location: Dresden, Saxony, Germany 7 work roles 4 schools
1 work email found @kernkonzept.com LinkedIn matched
✓ Verified May 2026 4 data sources Profile completeness 100%

Contact Signals · 1 work email

Work email d****@kernkonzept.com
LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Kernkonzept
Role
Systems Verification Engineer at Kernkonzept
Location
Dresden, Saxony, Germany
Company size
13 employees

Who is Diego Machado Dias? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Diego Machado Dias is listed as Systems Verification Engineer at Kernkonzept at Kernkonzept, a company with 13 employees, based in Dresden, Saxony, Germany. AeroLeads shows a work email signal at kernkonzept.com and a matched LinkedIn profile for Diego Machado Dias.

Diego Machado Dias previously worked as Systems Verification Engineer at Kernkonzept and Teaching Assistant at Newcastle University. Diego Machado Dias holds Phd In Computer Science, Formal Methods from Newcastle University.

Company email context

Email format at Kernkonzept

This section adds company-level context without repeating Diego Machado Dias's masked contact details.

{first_initial}{last}@kernkonzept.com
79% confidence

AeroLeads found 1 current-domain work email signal for Diego Machado Dias. Compare company email patterns before reaching out.

View email format View company profile Management contacts
Profile bio

About Diego Machado Dias

Diego Machado Dias is a Systems Verification Engineer at Kernkonzept at Kernkonzept. He possess expertise in java, linux, mysql, software engineering, artificial intelligence and 27 more skills.

Listed skills include Java, Linux, Mysql, Software Engineering, and 28 others.

Current workplace

Diego Machado Dias's current company

Company context helps verify the profile and gives searchers a useful next step.

Kernkonzept
Kernkonzept
Systems Verification Engineer at Kernkonzept
dresden, saxony, germany
Website
kernkonzept.com
Employees
13
AeroLeads page
Company profile
View company profile Email format
7 roles

Diego Machado Dias work experience

A career timeline built from the work history available for this profile.

Systems Verification Engineer

Current
Kernkonzept

Dresden Area, Germany

Sep 2018 - Present

Teaching Assistant

Newcastle University

Newcastle Upon Tyne

During my PhD research I assisted lecturers in modules involving practical sessions. These included: Software Verification, Systems Validation, Programming (I and II), Computer Architecture, Mathematics for Computer Sciences, Semantics of Programming Languages, Cryptography, Systems Environment and Software Engineering.

Apr 2013 - Dec 2017

Research Assistant

Newcastle University

Newcastle Upon Tyne, United Kingdom

Verification of functional properties of a tracing garbage collector algorithm using rely-guarantee.

Jun 2017 - Sep 2017

Consultant

Total Informática Ltda

Feira De Santana Area, Brazil

Total is a company that provides logistic and commerce solutions for other business. These solutions are regularly updated to reflect changes in tax regulations and new demands from their clients. As a consultor, my role was to improve their software development process. I introduced continuous integration into the company to minimise the time spent on.

Dec 2012 - Feb 2013

Lecturer

Faculdade De Ciências E Tecnologia De Pernambuco - Fatec

Recife E Região, Brasil

Module: Applied Algebra for Computing Science

Aug 2011 - Aug 2012
Team & coworkers

Colleagues at Kernkonzept

Other employees you can reach at kernkonzept.com. View company contacts for 13 employees →

FM Frank Mehnert Frank Mehnert Colleague at Kernkonzept Dresden, Saxony, Germany, Germany View → JK Jan Klötzke Jan Klötzke Colleague at Kernkonzept Dresden, Saxony, Germany, Germany View → CB Christiane Berndt Christiane Berndt Colleague at Kernkonzept Dresden, Saxony, Germany, Germany View → SL Sven Linker Sven Linker Colleague at Kernkonzept Leipzig, Saxony, Germany, Germany View → MM Marius Melzer Marius Melzer Colleague at Kernkonzept Dresden, Saxony, Germany, Germany View → SL Steffen Liebergeld Steffen Liebergeld Colleague at Kernkonzept Greater Dresden Area, Germany View → MH Michael Hohmuth Michael Hohmuth Colleague at Kernkonzept Dresden, Saxony, Germany, Germany View → HT Hendrik Tews Hendrik Tews Colleague at Kernkonzept Greater Dresden Area, Germany View →
4 education records

Diego Machado Dias education

Phd In Computer Science, Formal Methods

Newcastle University

Phd In Computer Science, Formal Methods

Universidade Federal De Pernambuco
FAQ

Frequently asked questions about Diego Machado Dias

Quick answers generated from the profile data available on this page.

What company does Diego Machado Dias work for?

Diego Machado Dias works for Kernkonzept.

What is Diego Machado Dias's role at Kernkonzept?

Diego Machado Dias is listed as Systems Verification Engineer at Kernkonzept at Kernkonzept.

What is Diego Machado Dias's email address?

AeroLeads has found 1 work email signal at @kernkonzept.com for Diego Machado Dias at Kernkonzept.

Where is Diego Machado Dias based?

Diego Machado Dias is based in Dresden, Saxony, Germany while working with Kernkonzept.

What companies has Diego Machado Dias worked for?

Diego Machado Dias has worked for Kernkonzept, Newcastle University, Total Informática Ltda, Universidade Federal Rural De Pernambuco, and Faculdade De Ciências E Tecnologia De Pernambuco - Fatec.

Who are Diego Machado Dias's colleagues at Kernkonzept?

Diego Machado Dias's colleagues at Kernkonzept include Frank Mehnert, Jan Klötzke, Christiane Berndt, Sven Linker, and Marius Melzer.

How can I contact Diego Machado Dias?

You can use AeroLeads to view verified contact signals for Diego Machado Dias at Kernkonzept, including work email, phone, and LinkedIn data when available.

What schools did Diego Machado Dias attend?

Diego Machado Dias holds Phd In Computer Science, Formal Methods from Newcastle University.

What skills is Diego Machado Dias known for?

Diego Machado Dias is listed with skills including Java, Linux, Mysql, Software Engineering, Artificial Intelligence, Software Development, Uml, and Scrum.

Find 750M verified contacts

Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.

People with similar names

Check these profiles if this is not the Diego Machado Dias you were looking for.

View similar profiles