Research Fellow Formal Methods | Eindhoven

You will have the unique opportunity of raising the systems engineering competencies in the high tech industry to higher levels, building on the knowledge and insights generated by the research projects performed by your colleagues at our industry partners (ASML, Canon, ITEC, Philips, Thales and Vanderlande).

You are a goal-oriented and self-driven professional energized by delivering high quality results and willing to learn from new experiences and your colleagues. You are passionate about helping improve the industrial systems engineering way of working by raising the relevant competences of individuals and teams.

You are familiar with systems architecting / systems engineering methods processes & required competences. You have a strong background in formal methods and experience with applying theory into practice. You have an affinity with the high-tech world and are fascinated by the role of human aspects in innovation and technology development.

At the same time you are resilient in the face of organizational and operational difficulties that are part and parcel of the dynamics of the high tech industry. You can adapt and respond fast to new insights from research and changing needs of the application domain.

• You have an academic degree, preferably Master or PhD in Computer Science, Mathematics, Electrical Engineering or equivalent.
• You have a mix of academic and professional working experiences.
• You have an affinity and interest in solving challenges of engineering complex high tech systems with novel model-driven methodologies enabling efficient and effective engineering processes.
• You have strong foundations in MBSE, domain specific languages and formal methods, in particular with theory and practice of model-based testing, model learning and model checking techniques.
• Familiarity with at least one of the formalisms of state machines, labelled transition systems, Petri nets or process algebra is a pre-requisite.
• Familiarity with industry standard modeling languages such as SysML, UML, BPMN is a pre-requisite.
• You can give energy to a group.
• You look at things from a systems perspective (business, customer, technology).
• You can lead and facilitate conversations of diverse groups towards a common research goal.

LET OP: aub handmatig de teksten tussen [] aanpassen, de [INSTRUCTION] opvolgen en de zin verwijderen. En daarnaast de [OPTIONAL] onderdelen reviewen en waar nodig verwijderen.

Challenging and varied work with a real impact. And plenty of opportunities as, at TNO, you are in charge of shaping your career. We offer a gross monthly salary between [€ X,XXX] and [€ X,XXX] (based on your knowledge and experience), 8% holiday pay, a 13th month bonus of 8.33% and a flex budget (5.58% + € 180). In addition, you will be given every opportunity to develop yourself.

[OPTIONAL] Perhaps you would like to grow your career in the direction of commerce or consultancy? Or would you like to become a project manager? Immerse yourself in sustainable innovations? Or carve out a career as a technical expert?

TNO offers optional employee benefits, enabling you to tailor your benefits package to match your personal situation. You may also expect:

[INSTRUCTION] The bullets below are examples only. Please determine the order on the basis of the target group’s priorities and, if necessary, make additions.

• An extremely professional, innovative working environment where colleagues are leading experts in their field.
• The opportunity to attend courses, workshops and conferences, and to receive training and coaching based on your needs.
• 33 days annual leave on a full-time basis.
• An employer that values and encourages diverse talent, with initiatives like the Female Leadership Program, our Rainbow Community and round tables on inclusion topics.
• We offer a comprehensive and flexible mobility plan that also includes full compensation for public transportation for commuting and business travel[OPTIONAL] or a leased car.
• Great social events with your team and other TNO colleagues. That’s how you will get to know a lot of people really quickly.
• Flexible working hours, the possibility to work parttime (32 of 36 hours) and the possibility of working from home.
• [OPTIONAL FOR JUNIORS] Access to our Talent Development Programme.
• [OPTIONAL FOR JUNIORS] Networking opportunities and great activities organized by Jong TNO.
• [OPTIONAL FOR PROJECT MANAGERS] Access to TNO’s project managers guild: a network of some three hundred equals. The guild organizes workshops, conferences, intervision sessions and other activities for project managers.
• [OPTIONAL FOR IMPATS] Extensive relocation package for international candidates.
• A good pension scheme.

Read more about tailoring your benefits package.

At TNO, we innovate for a healthier, safer and more sustainable life. And for a strong economy. Since 1932, we have been making knowledge and technology available for the common good. We find each other in wonder and ingenuity. We are driven to push boundaries. There is all the space and support for your talent and ambition. You work with people who will challenge you: who inspire you and want to learn from you. Our state-of-the-art facilities are there to realize your vision. What you do at TNO matters: impact makes the difference. Because with every innovation you contribute to tomorrow’s world. Read more about TNO as an employer.

At TNO we encourage an inclusive work environment, where you can be yourself. Whatever your story and whatever unique qualities you bring to the table. It is by combining our unique strengths and perspectives that we are able to develop innovations that make a real difference in society. Want to know more? Read what steps we are taking in the area of diversity, equity and inclusion.

Please apply before the 21st of November, 2025. The selection process comprises two interview rounds. The preliminary interview takes place on the 10th and 11th of December, 2025. The second interview round has been scheduled for the 12th of December, 2025. In a final meeting we will discuss the terms of employment and your tailored benefits package. We aim to finalize the entire process within four weeks.

The selection process may include an online assessment and a reference check.

A certificate of Conduct (VOG) is required before starting a new job at TNO.