Research Fellow Formal Methods
Job Location:
Delft - Netherlands
Monthly Salary:
Posted on:
Vacancies:
Job Summary
Research Fellow - Formal Methods
Delft Netherlands
About thisjob
We are currently looking for a Research Fellowto join the team in Eindhoven.
As a ResearchFellow you will have the unique opportunity of raising the systemsengineering competencies in the high-tech industry to higher levels buildingon the knowledge and insights generated by the research projects performed byyour colleagues at our industry partners. The aim is to embed cutting-edgemethodologies to support the needs of the High-Tech Industry by using formalmethods and mapping them on a Domain Specific Language (DSL) that suits theinterests and capabilities of the intended users the best way possible.
Job details
Research Fellow - Formal Methods
Main responsibilities
- You will be part of a strategic researchteam working on a project where you explore new capabilities forsoftware-intensive high-tech systems and applications.
- You will work on topics related to systemengineering; dealing with formal methods verification simulation andcontroller synthesis.
- Youwill research the problem develop proof of concepts to demonstrate it developdifferent scenarios for solutions demonstrate the business value constraintsand benefits of these solutions and help them bring them into industrial use.
- Youwill work most of the time at the partners premises.
Requirements
- Youhave a Masters or PhD in Computer Science Mathematics ElectricalEngineering or another relevant domain.
- Youhave a mix of academic and professional work experiences.
- You have strong foundations in MBSE domainspecific languages and formal methods on at least one of the followingtopics: model checking supervisory controller synthesis or model-basedtesting and experience applying theory into practice.
- You have an affinity and interest in solvingchallenges of engineering complex high-tech systems with novelmodel-driven methodologies enabling efficient and effective engineeringprocesses.
- You are able to look from a systems perspective.
- You can lead and facilitate conversations ofdifferent groups towards a common research goal.
- You are energetic and spread it among theteam.
Its anadvantage if you have:
- Familiarity with at least one of the formalisms:state machines petri nets process algebra labelled transition systems ortemporal logics-
- Familiarity with at least one industrystandard 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
In order to apply for this vacancy you must submit your personal information to S&T. We will collect use and process your personal information as mentioned in our Privacy Policy. Our policy and processing of your personal information are compliant with the GDPR.
How to apply
Would you like to hear more Send your CV and motivational letter to or apply directly through our website.
Kindly note that acquisition from third parties (e.g. agencies) based on this vacancy is not welcome.
About Company
At S[&]T we contribute to a safer life on Earth by translating space data into valuable and actionable insights. With over two decades of expertise we empower organisations, governments, and industries to strengthen their information position and enhance decision-making.
