wo Fotomodel vacatures

Research Fellow - Formal Methods

Eindhoven

Full time (40 hours per week)

Medior

About this job

We are currently looking for a Research Fellow to join the team in Eindhoven .

As a Research Fellow, 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. The aim is to embed cutting-edge methodologies to support the needs of the High-Tech Industry by using formal methods and mapping them on a Domain Specific Language (DSL) that suits the interests and capabilities of the intended users the best way possible.

Research Fellow - Formal Methods

Main responsibilities

• You will be part of a strategic research team , working on a project where you explore new capabilities for software-intensive high-tech systems and applications .
• You will work on topics related to system engineering ; dealing with formal methods , verification , simulation , and controller synthesis .
• You will research the problem, develop proof of concepts to demonstrate it, develop different scenarios for solutions, demonstrate the business value, constraints and benefits of these solutions, and help them bring them into industrial use .
• You will work most of the time at the partner's premises.

Requirements

• You have a Master's or PhD in Computer Science, Mathematics, Electrical Engineering or another relevant domain.
• You have a mix of academic and professional work experiences .
• 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 , and experience applying theory into practice .
• 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 are able to look from a "systems perspective".
• You can lead and facilitate conversations of different groups towards a common research goal.
• You are energetic and spread it among the team.

It's an advantage if you have:

• Familiarity with at least one of the formalisms: state machines, petri nets, process algebra, labelled transition systems, or temporal logics -
• Familiarity with at least one industry standard modeling language such as SysML, BPMN, or UML .

Please note that if you do not hear back from us within 10 days of your application, you may assume that we have selected another candidate we would like to interview for this position. We do our best to get back to you individually; however, due to a high volume of responses, it can be that we have not been able to reject your application in person.

We kindly request that recruitment agencies do not contact us regarding this vacancy. We are not seeking assistance and will not be liable for any fees or charges associated with unsolicited CVs or candidate introductions. Any candidates submitted by agencies without prior written agreement will be considered our direct applicants and may be employed without obligation or fee.

Are you enthusiastic about becoming our new Research Fellow - Formal Methods?

Apply via our application form, or send your CV and motivational letter directly to .

Our story

At S[&]T we contribute to a safer life on earth by translating space data into valuable and actionable insights. We oversee data from instruments to application, and apply our expertise within our software frameworks, information products and consultancy.

Our society relies on space and scientific instruments for climate change monitoring, navigation, defence and national security, and other crucial services we all use in our daily lives. These instruments produce an enormous quantity of complex data, and our goal is to unlock its value.

We have more than 20 years of experience working on instrument calibration, the creation of data quality monitoring tools, the development of real-time data processing frameworks, and the development of application-specific algorithms. With this, we help organisations, governments and industries to strengthen their information position and thereby improve their decision making. We focus on the following domains: Space & Science, Defence & Security, Environment & Sustainability, and High-Tech Consulting.

Privacy notice

Kindly note that acquisition from third parties (e.g. agencies) based on this vacancy is not welcome.

Contact S[&]T