Research Fellow Formal Methods

Want to make your mark on our time? Become a Research Fellow Formal Methods at TNO in Eindhoven!

About this position

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).

What will be your role?

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 and 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.

What we expect from you

• 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.

What you'll get in return

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 € 4,500 and € 6,600 (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.

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

• 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.
• We offer a comprehensive and flexible mobility plan that also includes full compensation for public transportation for commuting and business travel.
• 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.
• A good pension scheme.

TNO as an employer

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.

‘TNO is like a giant candy shop.’ Yvonne Pribnow is a senior recruiter for the ICT and Strategic Analysis & Policy units. For the former, finding the very best researchers is particularly challenging.
Yvonne Pribnow Recruiter