Research Fellow Formal Methods

Bedrijfsomschrijving

Hoofddoel en Focusgebieden

Het primaire doel van TNO-ESI is het verbeteren van de doorlooptijd en effectiviteit van de productinnovatieprocessen van high-tech bedrijven, evenals de functionaliteit, kwaliteit en maatschappelijke impact van hun producten. Dit doen ze door middel van:

• Onderzoek en ontwikkeling van methodologieën en tools voor het ontwerp en de engineering van complexe, geïntegreerde systemen.
• Focus op het beheersen van de complexiteit in deze systemen.
• Systems Architecting: Het leggen van de koppeling tussen klantwaarde, marktwaarde en de technische realisatie van systemen.
• Model-Based Engineering: Het gebruik van modellen en simulatie, zoals bijvoorbeeld de ontwikkeling van een digitale kopie van een fysiek medisch apparaat (Virtual Cathlab van Philips).
• Hele productlevenscyclus: Aandacht voor continue updates en upgrades gedurende de volledige levensduur van een product.

ESI werkt nauw samen met een ecosysteem van industriële partners (leidende hightechbedrijven zoals ASML, Philips, Canon Production Printing, Thales en Vanderlande) en academische partners (Nederlandse en buitenlandse (technische) universiteiten).

• Het is een Joint Innovation Center (JIC), gedragen door industrie, wetenschap en TNO.
• Deze open innovatie is essentieel om gezamenlijk oplossingen te vinden voor gedeelde complexe uitdagingen in de sector.

Achtergrond

Het huidige Embedded Systems Innovation by TNO is ontstaan uit het voormalige Embedded Systems Institute (ESI) dat in januari 2013 is ingebed in TNO. Het Ministerie van Economische Zaken en de Topsector High Tech Systems en Materialen (HTSM) hebben het strategische belang van deze kennis onderstreept en TNO verzocht het programma voort te zetten.

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 will participate in a strategic research team, working in one of the TNO-ESI research projects, where you explore new capabilities for software-intensive high-tech systems and applications. These research teams spend most of their time working on the customer premises. Your work will be in the research cluster Embedded Systems Innovation on the topic of system engineering dealing with formal methods, verification, simulation, and controller synthesis. One of the objectives of TNO- ESI is to embed cutting edge methodologies to resolve industry needs in the High Tech Industry. At this moment there are several projects in TNO-ESI in which application of formal methods is investigated together with industry partners. As example one of our projects researches how requirement models can be used to synthesize supervisory controllers. The synthesized models are further used for the generation of system artifacts, deployment strategies, but also for formal verification on specific system aspects (like the absence of deadlocks). An important aspect in working with formal methods is how to map these on a Domain Specific Language that fits better with the interests and capabilities of the intended users.

Your work consists of researching the problem, developing proof of concepts to demonstrate the problem, develop different scenarios for solutions, demonstrate the business value, constraints and benefits of these solutions and help bring them into industrial use. More about ESI? watch this video introducing ESI

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, in particular either model checking, model-based testing, or supervisory controller synthesis, with experience in 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 MSc 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 on at least one of the following topics: model checking, supervisory controller synthesis, or model-based testing.
• Familiarity with at least one of the formalisms: state machines, petri nets, process algebra, labelled transition systems, or temporal logics, is a prerequisite.
• Familiarity with at least one industry standard modeling language such as SysML, BPMN, or UML is a prerequisite.
• 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.

• Een uitstekend salaris;
• Een contract voor de duur van de opdracht, waarbij we graag toewerken naar een onbepaalde tijdscontract;
• Een dertiende maandsalaris of vergelijkbare bonusregeling;
• 8,33% vakantiegeld;
• 25 vakantiedagen per jaar o.b.v. 40 uur;
• Een aantrekkelijke Pensioen Plus regeling.

Overige arbeidsvoorwaarden:

• Reiskosten- en thuiswerkvergoeding;
• Netto €750,- om jouw thuiswerkplek in te richten;
• Opleidingen via de Randstad Digital Academy mét erkende certificaten;
• Referral bonussen tot maximaal € 1.500,- ;
• Collectieve voordelen op verzekeringen en personeelsvoordeelwinkel;
• Vast HR aanspreekpunt en persoonlijke begeleiding door een talentmanager;
• Kennis- & netwerkevents afgestemd op expertise binnen het vakgebied IT en jouw carrièreontwikkeling.

Deze opdracht staat ook open voor doorleen (leveranciers). ZZP is niet toegestaan. Ben je zzp'er en sta je open voor een projectcontract? We gaan graag met je in gesprek!