Huidige banen gerelateerd aan Improve Synthesis-Based Engineering for Cyber-Physical Systems - Eindhoven, Noord-Brabant - TNO
-
Improve Synthesis-Based Engineering for Cyber-Physical Systems
3 weken geleden
Eindhoven, Noord-Brabant, Nederland TNO VoltijdAbout the ProjectCyber-physical systems are becoming increasingly complex, and ensuring their safe control is a significant challenge. Synthesis-based engineering (SBE) provides a promising approach by combining model-based engineering with computer-aided design. However, the readability of synthesized supervisors is often a concern, making it difficult for...
-
Eindhoven, Noord-Brabant, Nederland TNO VoltijdAbout the ProjectCyber-physical systems are complex and require sophisticated control software. To manage this complexity, synthesis-based engineering provides assistance by combining model-based engineering with computer-aided design. This project aims to improve the readability of synthesized supervisors, which are crucial for engineers to comprehend and...
-
Software Engineer for Synthesis-Based Engineering
4 weken geleden
Eindhoven, Noord-Brabant, Nederland TNO VoltijdAbout the ProjectCyber-physical systems consist of mechatronic components controlled by software, often with complex supervisory controllers. To manage this complexity, synthesis-based engineering (SBE) combines model-based engineering with computer-aided design. SBE builds on the synthesis procedure, computing a correct-by-construction controller from...
-
Eindhoven, Noord-Brabant, Nederland TNO VoltijdAbout the ProjectCyber-physical systems are becoming increasingly complex, and ensuring the safety of these systems is a significant challenge. To address this, we are developing a method to improve the readability of synthesized supervisors, which are used to control these systems. The goal is to make these supervisors more understandable and easier to work...
-
Improve the Readability of Synthesized Supervisors
3 weken geleden
Eindhoven, Noord-Brabant, Nederland TNO VoltijdJob DescriptionCyber-physical systems consist of mechatronic components controlled by software, including supervisory controllers that orchestrate system interactions. To manage complexity, synthesis-based engineering combines model-based engineering with computer-aided design, computing correct-by-construction controllers from system models and...
-
Research Internship: Improving Synthesized Supervisor Guards
2 maanden geleden
Eindhoven, Noord-Brabant, Nederland TNO VoltijdAbout the ProjectCyber-physical systems consist of mechatronic components controlled by software, including supervisory controllers that orchestrate system interactions. To manage complexity, synthesis-based engineering combines model-based engineering with computer-aided design, computing correct-by-construction controllers from system models and...
-
PhD in Secure Estimation and Control of Cyber-Physical Systems
3 weken geleden
Eindhoven, Noord-Brabant, Nederland Eindhoven University of Technology VoltijdPhD Position in Cyber-Physical Systems SecurityWe are seeking a highly motivated PhD candidate to join our team at the Eindhoven University of Technology. The successful candidate will work on developing foundational theory in addressing the security of cyber-physical systems, with applications in relevant areas such as energy systems, automotive, and...
-
Eindhoven, Noord-Brabant, Nederland TNO VoltijdCompany OverviewTNO is a research institute that applies knowledge to solve societal issues in the areas of health, safety, energy, and environment. Our expertise is based on three key areas: information & communication technology, earth & life sciences, and physical sciences & engineering.SalaryWe offer a salary ranging from € 2,700 to € 3,200 per...
-
PhD in Secure Estimation and Control of Cyber-Physical Systems
3 weken geleden
Eindhoven, Noord-Brabant, Nederland Eindhoven University of Technology VoltijdJob DescriptionWe are seeking a highly motivated PhD candidate to join our team at the Eindhoven University of Technology. The successful candidate will be part of the Dynamics and Control section and will work on developing foundational theory in addressing the security of cyber-physical systems.Cyber-physical systems are becoming increasingly prevalent in...
-
PhD in Secure Estimation and Control of Cyber-Physical Systems
2 maanden geleden
Eindhoven, Noord-Brabant, Nederland Eindhoven University of Technology VoltijdJob DescriptionWe are seeking a highly motivated PhD candidate to join our research team at the Eindhoven University of Technology. The successful candidate will be working on the development of foundational theory in addressing the security of cyber-physical systems, with applications in relevant areas such as energy systems, automotive, and robotics.Key...
-
Cyber-Physical Systems Security Researcher
4 dagen geleden
Eindhoven, Noord-Brabant, Nederland Eindhoven University of Technology VoltijdDiscover a PhD opportunity at Eindhoven University of Technology to develop foundational theory in securing cyber-physical systems.About the PositionThis is a four-year full-time employment with an intermediate evaluation after nine months, allowing you to grow as a researcher while contributing to cutting-edge projects. You will spend 10% of your time on...
-
IC Physical Design Engineer
4 weken geleden
Eindhoven, Noord-Brabant, Nederland Snap Inc. VoltijdAbout Snap Inc.Snap Inc. is a technology company that believes the camera presents the greatest opportunity to improve the way people live and communicate. Our mission is to empower people to express themselves, live in the moment, learn about the world, and have fun together.Job SummaryWe are seeking a highly skilled IC Physical Design Engineer to join our...
-
Firmware Design Engineer for FPGA-Based Systems
2 maanden geleden
Eindhoven, Noord-Brabant, Nederland Trinamics Beheer B.V. VoltijdFirmware Design Engineer for FPGA-Based SystemsWe are seeking a highly skilled Firmware Design Engineer to join our team at Trinamics Beheer B.V. as an FPGA Firmware Designer. In this role, you will be responsible for designing and implementing firmware for FPGA-based systems, ensuring optimal functionality.Key Responsibilities:Design and implement firmware...
-
PhD Researcher in Sustainable Polymer Synthesis
2 maanden geleden
Eindhoven, Noord-Brabant, Nederland Eindhoven University of Technology VoltijdJob DescriptionWe are seeking a highly motivated and talented PhD researcher to join our team in the Polymer Performance Materials group at Eindhoven University of Technology. The successful candidate will work on the synthesis of novel thermosetting polymers for coatings that are more amenable to recycling.Research FocusThe focus of the research will be on...
-
PhD Researcher in Sustainable Polymer Synthesis
3 weken geleden
Eindhoven, Noord-Brabant, Nederland Eindhoven University of Technology VoltijdJob DescriptionIn the pursuit of a more sustainable future, we are seeking a highly motivated PhD researcher to join our team at Eindhoven University of Technology. The successful candidate will contribute to the development of novel thermosetting polymers for coatings that are more amenable to recycling.Research FocusThe PhD research will focus on the...
-
PhD Researcher in Sustainable Polymer Synthesis
4 weken geleden
Eindhoven, Noord-Brabant, Nederland Eindhoven University of Technology VoltijdJob DescriptionWe are seeking a highly motivated and talented PhD researcher to join our team in the Polymer Performance Materials group at the Eindhoven University of Technology. The successful candidate will work on the synthesis of novel thermosetting polymers for coatings that are more amenable to recycling.Research FocusThe research will focus on the...
-
PhD Researcher in Sustainable Polymer Synthesis
3 weken geleden
Eindhoven, Noord-Brabant, Nederland Eindhoven University of Technology VoltijdJob DescriptionIn the pursuit of a more sustainable future, we are seeking a highly motivated PhD researcher to join our team at Eindhoven University of Technology. The successful candidate will contribute to the development of novel thermosetting polymers for coatings that are more amenable to recycling.Research FocusThe PhD research will focus on the...
-
Cyber Security Engineer Trainee
1 maand geleden
Eindhoven, Noord-Brabant, Nederland True Legends VoltijdCyber Security Engineer TraineeWe zijn op zoek naar een enthousiaste en ambitieuze Junior Cyber Security Engineer die wil bijdragen aan de digitale weerbaarheid van onze klanten. Als Cyber Security Engineer Trainee zal je onderdeel uitmaken van ons team en je zult je ontwikkelen tot een expert in de wereld van Cyber Security.Wat ga je doen?Als Cyber Security...
-
Embedded Systems Architect
4 weken geleden
Eindhoven, Noord-Brabant, Nederland Yacht VoltijdJob Title: Embedded Software EngineerThe Architecture department within Embedded Engineering is responsible for translating requirements into a physical Electric/Electronic (E/E) Architecture consisting of Control Systems, hardware, and software components. We are seeking a well-qualified E/E Architect for Electrification projects to work within our creative...
-
iOS Software Engineer
1 maand geleden
Eindhoven, Noord-Brabant, Nederland MindYourPass VoltijdAbout MindYourPassMindYourPass is a fast-growing Dutch cybersecurity scaleup that provides insight into online security and protects all online accounts using uncrackable passwords and patented technology.Job DescriptionWe are seeking an iOS Software Engineer to join our dynamic team. As an iOS Software Engineer, you will be responsible for designing and...
Improve Synthesis-Based Engineering for Cyber-Physical Systems
2 maanden geleden
Job Overview
TNO is seeking a talented MSc student to contribute to the development of novel strategies for improving the readability of synthesized supervisors in cyber-physical systems. As a member of our team, you will explore alternative approaches for computing and converting extra guards for controllable events, with the goal of enhancing their conciseness and readability.
Key Responsibilities
- Investigate existing literature on formal methods and programming techniques
- Develop and implement novel strategies for guard optimization
- Validate the approach using Eclipse ESCET and other relevant tools
Requirements
- MSc student in Computer Science or Mathematics
- Strong background in formal methods and programming (in Java)
- Experience with event-based systems and model-based engineering
- Excellent communication and teamwork skills
What We Offer
TNO provides a dynamic and supportive work environment, with opportunities for professional growth and development. As a member of our team, you will have access to cutting-edge technology and expertise, as well as a competitive compensation package.
