Research Assistant: Improving Synthesized Supervisor Guards

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

About the ProjectCyber-physical systems are complex and require sophisticated control software. Synthesis-based engineering (SBE) helps manage this complexity by computing correct-by-construction controllers from models and requirements. However, synthesized supervisors are often difficult to read, hindering engineer comprehension and trust. This project...

About the ProjectTNO is seeking a talented MSc student to contribute to the improvement of synthesized supervisor readability in control systems. The goal of this project is to enhance the design of control systems by optimizing the representation of guards, which are crucial for ensuring safe control and explainability.BackgroundCyber-physical systems...

{"Job OverviewTNO 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 work on enhancing the conciseness and readability of guards for controllable events, leveraging formal methods and programming...

{"Job OverviewTNO 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...

About InnerINNER is an innovative B2B Deep-Tech startup based in the Netherlands. Our mission is to revolutionize the electric vehicle industry by developing cutting-edge AI-powered solutions for safer and more sustainable energy.Job DescriptionWe are seeking a highly motivated intern to join our team in September 2024. As an AI Research Assistant, you will...

About the PositionWe are seeking a highly motivated and experienced Assistant Professor to join our team at the Eindhoven University of Technology. As an Assistant Professor, you will be responsible for conducting research in the area of economics of technological change and sustainability, working on an own research line and as part of a TIS research...

About the RoleWe are seeking a highly skilled Research Scientist to join our team at Trinamics Beheer B.V. As a key member of our research team, you will be responsible for developing and optimizing algorithms for image processing, video processing, and computer vision applications.You will work closely with a team of experts to develop innovative solutions...

Job DescriptionWe are seeking a highly motivated and experienced researcher to join our team as an Assistant Professor in Nano-optics/Nanophotonics. The successful candidate will be part of the Photonics and Semiconductor Nanophysics (PSN) group within the Department of Applied Physics and Science Education at Eindhoven University of Technology.Research...

Job Title: Supervisor Warehouse Outbound regio EindhovenYou will lead the Outbound B2C department, ensuring the achievement of department objectives and efficiency by measuring processes and setting standards.You will coordinate daily planning with other supervisors, maintain contact with other departments, and report to the Logistics Manager.Key...

About this OpportunityTNO at Holst Centre in Eindhoven is seeking a research intern to contribute to the development of advanced battery technologies. As part of our team, you will work on testing lithium and sodium-ion batteries, improving scalable production techniques, and exploring materials for emerging battery concepts.Your RoleAs a research intern,...

About this PositionTNO, a leading innovation center, is seeking a research intern to contribute to the development of advanced battery technologies. As part of our team, you will be involved in the testing and improvement of lithium and sodium-ion batteries, as well as the exploration of emerging battery concepts such as all-solid-state and metal-air...

PhD Researcher in Quantum CryptographyWe are seeking a highly motivated PhD researcher to join our team at the Eindhoven University of Technology (TU/e) in the Coding Theory and Cryptology group. As a PhD researcher, you will work on the NWO project EPOCHAL, focusing on developing solutions for post-quantum cryptography and analyzing their security.The...

Job DescriptionWe are seeking a highly motivated and experienced researcher to join our team as an Assistant Professor in the field of Modeling of Plasma Surface Interaction. The successful candidate will be responsible for setting up and driving their own independent research program, generating funding, and supervising/coaching students at the...

Job DescriptionWe are seeking a highly motivated and detail-oriented Audit Assistant to join our team at Forvis Mazars. As an Audit Assistant, you will play a key role in supporting our audit teams in various sectors and industries.Key ResponsibilitiesAssist in planning and executing audits, including data collection and analysisConduct research and gather...

Jouw BaanWil jij nationale én internationale opdrachtgevers adviseren tijdens je opleiding Accountancy? Dan is de baan van Duaal Assistant Audit iets voor jou.Wanneer je als Duaal Assistant Audit start bij Baker Tilly kan je erop rekenen dat je vanaf dag één opgenomen wordt in ons team van collega's en ben je verzekerd van voldoende begeleiding. Je...

About the JobWe are seeking a highly motivated and talented PhD researcher to join our team at the Eindhoven University of Technology. The successful candidate will be part of a larger collaboration between our university and Shell on sustainability, focusing on the development of novel carbon materials.Key ResponsibilitiesDesign and synthesize...

Job DescriptionWe are seeking an exceptional researcher to join our team as an Assistant Professor in Applied Physics, with a focus on 2D materials growth for future semiconductors. The successful candidate will have a strong background in materials science, physics, or a related field, and will be responsible for leading research on the synthesis and...

Job DescriptionWe are seeking an exceptional researcher to join our team as an Assistant Professor in Applied Physics, with a focus on 2D materials growth for future semiconductors. The successful candidate will have a strong background in materials science, physics, or a related field, and will be responsible for leading research on the synthesis and...

Job DescriptionWe are seeking a highly skilled AI Research Engineer III to join our team at Thermo Fisher Scientific. As a key member of our AI team, you will be responsible for developing and proposing compelling proof-of-concepts for the application of generative AI in customer products or R&D process improvements.Key Responsibilities:Develop and propose...