Onderzoeker Productontwikkeling Textiel, Leder En Schoeisel
Plaats
Vandaag

Research Fellow: Formal Methods & Systems Innovation

salaris€5.000
uren40 uur
dienstverbandVast
werk locatieEindhoven
opleidingsniveauWO
brancheAdvies/Consultancy

Functieomschrijving

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.
Samenwerking en Ecosystem

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

 

TNO-ESI is een toonaangevend instituut binnen de Brainport Eindhoven. Wij werken aan de complexiteit van de systemen van morgen. Onze cultuur is er een van openheid, innovatie en nauwe samenwerking met de industrie.

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

Functieomschrijving Systeemarchitectuur van de toekomst voor de Nederlandse High-Tech

Ben jij een expert in formele methoden die de kloof wil overbruggen tussen academische innovatie en industriële toepassing? Bij TNO-ESI werk je direct samen met de wereldtop in de high-tech industrie (denk aan ASML, Philips en Canon) om de volgende generatie software-intensieve systemen vorm te geven. Maak jij het onmogelijke controleerbaar?

Jouw Impact als Research Fellow

Bij Embedded Systems Innovation (ESI), onderdeel van TNO, werk je op het snijvlak van wetenschap en industrie. Onze missie is het verhogen van de systeemengineering-competenties in de Nederlandse high-tech sector. Als Research Fellow Formal Methods word je onderdeel van een strategisch onderzoeksteam dat de grenzen van systeembeheersing verlegt.

Je brengt een groot deel van je tijd door op de locatie van onze industriële partners. Hier onderzoek je complexe vraagstukken rondom verification, simulation en controller synthesis. Jouw doel? Het inbedden van geavanceerde methodologieën om de uitdagingen van morgen op te lossen.

Jouw werkzaamheden:

  • Onderzoek & Ontwikkeling: Je onderzoekt fundamentele problemen en ontwikkelt Proof of Concepts (PoCs) die de waarde van formele methoden in de praktijk aantonen.
  • Controller Synthesis: Je werkt aan projecten waar requirement-modellen worden gebruikt om supervisory controllers te synthetiseren.
  • Bridging the Gap: Je vertaalt complexe formele modellen naar Domain Specific Languages (DSLs) die aansluiten bij de belevingswereld van de eindgebruikers in de industrie.
  • Strategisch Advies: Je demonstreert business value, brengt beperkingen in kaart en begeleidt de implementatie van nieuwe oplossingen binnen de organisatie van de partner.
Functie-eisen Wat wij van jou vragen (Eisen)

Je bent een gedreven professional die energie krijgt van het leveren van hoogwaardige resultaten in een dynamische omgeving.

  • Academisch Fundament: Je hebt een afgeronde MSc of PhD in Computer Science, Mathematics, Electrical Engineering of een vergelijkbare richting.
  • Expertise in Formal Methods: Je hebt een sterke achtergrond in minimaal één van de volgende gebieden: Model Checking, Model-Based Testing of Supervisory Controller Synthesis.
  • Theoretische Kennis: Vertrouwdheid met formalismen zoals state machines, Petri nets, process algebra, labeled transition systems of temporal logics is een vereiste.
  • Modelleringstalen: Je hebt ervaring met industriestandaarden zoals SysML, BPMN of UML.
  • Praktijkervaring: Je hebt een bewezen trackrecord in het toepassen van theoretische concepten in een professionele/industriële setting (Medior niveau, 3-10 jaar ervaring).
  • Veerkracht: Je bent in staat om effectief te acteren binnen de soms complexe organisatiedynamiek van grote high-tech spelers.
Arbeidsvoorwaarden
  • 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!

bedrijfsinfo

Wil jij een baan als Onderzoeker Productontwikkeling Textiel, Leder En Schoeisel in de Advies of Consultancy? Bekijk het uitgebreide overzicht met Advies of Consultancy vacatures van Nationale Vacaturebank en vind jouw droombaan als Onderzoeker Productontwikkeling Textiel, Leder En Schoeisel!

Veelgestelde vragen

  • Er is 1 vacature beschikbaar.