Research Fellow - Formal Methods
Build your career on Magnet.me
Create a profile and receive smart job recommendations based on your liked jobs.
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.
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.
Company
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.
Sensing problems. Developing solutions.
Our Sensing and Control Systems provide new insights and access to what is happening in harsh environments. Scientific Data Processing ensures that you get the most out of the world's most under-utilized precious resource: data. We can then turn that data into smart decisions with our Intelligent Software Applications. Or if you need on-site support, we have…
Sensing problems. Developing solutions.
Our Sensing and Control Systems provide new insights and access to what is happening in harsh environments. Scientific Data Processing ensures that you get the most out of the world's most under-utilized precious resource: data. We can then turn that data into smart decisions with our Intelligent Software Applications. Or if you need on-site support, we have the brightest minds and greatest people in Technical Consulting for R&D.
Taking the R&D Journey Together
Research and development projects are usually long-term investments in complex systems involving stringent requirements, formalized relationship structures and interfaces, and highly impactful project phases and team scaling. It is important to have an experienced partner that is in it for the long haul. At S[&]T, we are relationship driven, and think not only about the first steps toward partnership, but the long-term win-win-win. We have flexible methods of partnering, and are able to support R&D via projects, personnel and products, depending on which method provides the best solution. Our open communication style and people-driven methods create smooth interfaces and ensure that we are a dependable partner through thick and thin.
Meant to be at S[&]T
At S[&]T, relationships always come first, and we treat our employees like we would like to be treated. We understand that smart people need flexibility, challenging projects, open communication and a motivating career path. If you would like to choose your own adventure when it comes to building a role that is right for you, we are here to support you along the way. Our flat structure and direct connections in a variety of R&D settings provides you with plenty of opportunity, while we also work hard to ensure that we create a fun environment along the way.
People also viewed
View what's on offer:
Change language to: Dutch
This page is optimised for people from the Netherlands. View the version optimised for people from the UK.