Software Engineer for Synthesis-Based Engineering

4 weken geleden


Eindhoven, Noord-Brabant, Nederland TNO Voltijd

About the Project

Cyber-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 models of the system and associated requirements.

Your Role

In this project, you will explore alternative strategies for computing and/or converting extra guards for controllable events, to improve their conciseness and readability. You will investigate existing literature, shape your own ideas based on the literature, implement the ideas, and validate the approach. If successful, the results could be incorporated into the Eclipse ESCET open source project.

Requirements

You are an MSc student in Computer Science or Mathematics looking for a graduation assignment of 6-9 months. You have an affinity with formal methods as well as programming (in Java) and know the basics of event-based systems. You speak and write English on a sufficient level, are a team player but also capable of independent work, have an open and enthusiastic mindset, and strive for high-quality research and with real industrial impact.

What We Offer

TNO values your personal and professional development. You will be properly supervised during your work placement and given the scope to get the best out of yourself. Naturally, we provide suitable work placement compensation.



  • Eindhoven, Noord-Brabant, Nederland TNO Voltijd

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

  • Embedded Software Engineer

    3 weken geleden


    Eindhoven, Noord-Brabant, Nederland ACE development & engineering Voltijd

    About the JobAs an Embedded Software Engineer at ACE development & engineering, you will be part of an international team working on the development of software for future car models. Your main tasks will include writing and maintaining requirements, creating detailed designs, and analyzing options for make or buy decisions.Main ResponsibilitiesWrite and...

  • Software Engineer

    2 weken geleden


    Eindhoven, Noord-Brabant, Nederland Secretary Plus Voltijd

    We are looking for a skilled Software Engineer to join our team. Key responsibilities include designing, developing, and deploying cloud-based systems using a range of technologies. The ideal candidate will have a strong background in programming languages such as Java, Python, and C++, as well as experience with cloud platforms like AWS and Azure.As a...

  • Senior Software Engineer

    2 weken geleden


    Eindhoven, Noord-Brabant, Nederland WolframChain Voltijd

    **Job Title:** Senior Software EngineerOur company is seeking an experienced Senior Software Engineer to join our team. As a Senior Software Engineer, you will be responsible for designing, developing, and maintaining our cloud-based software solutions. Key Responsibilities:• Collaborate with cross-functional teams to identify business needs and develop...

  • Senior Software Engineer

    2 weken geleden


    Eindhoven, Noord-Brabant, Nederland Maandag Voltijd

    Job Title: Senior Software EngineerAbout the Role:An exciting opportunity has arisen for a Senior Software Engineer to join our team and contribute to the design, development, and maintenance of our cloud-based software solutions.Main Responsibilities:Design, develop, and test software applications to meet business requirementsCollaborate with...

  • Embedded Software Engineer

    3 weken geleden


    Eindhoven, Noord-Brabant, Nederland ACE development & engineering Voltijd

    Job OverviewAs an Embedded Software Engineer at ACE development & engineering, you will be part of an international team working on the Embedded Software for future car models of our customers. Your role will involve working on the complete software lifecycle, from requirements to testing, to ensure the software platform meets both organizational and...

  • Software Engineer

    2 weken geleden


    Eindhoven, Noord-Brabant, Nederland Young Engineering Voltijd

    As a Software Engineer at {company}, you will be responsible for designing and developing software applications using a variety of programming languages and technologies. Your primary focus will be on building scalable and efficient software solutions that meet the needs of our customers.Key Responsibilities:Design and develop software applications using...

  • Software Engineer Intern

    3 weken geleden


    Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific Voltijd

    Software Engineer InternAre you passionate about software development and eager to contribute to cutting-edge projects? We're looking for a talented Software Engineer Intern to join our Global Digital Group at Thermo Fisher Scientific. As a Software Engineer Intern, you will be part of a dynamic team responsible for developing software solutions that drive...

  • DevSecOps Engineer

    3 weken geleden


    Eindhoven, Noord-Brabant, Nederland MCA Engineering Nederland Voltijd

    We are seeking a highly skilled DevSecOps Engineer to join our team at MCA Engineering Nederland. As a DevSecOps Engineer, you will be responsible for implementing and maintaining our development environment, including the introduction of a new build system (Bazel). Your primary goal will be to enable DevSecOps practices using industry standards, ensuring...

  • Software Engineer

    2 weken geleden


    Eindhoven, Noord-Brabant, Nederland Carbyon Voltijd

    Job Overview:As a Software Engineer, you will be responsible for designing, developing, and testing software applications. This is a challenging and rewarding role that requires strong technical skills and a passion for innovation.Key Responsibilities:Design and develop software applications using Java and cloud-based technologies.Collaborate with...

  • Software Engineer Intern

    3 weken geleden


    Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific Voltijd

    Software Engineer Internship OpportunityAre you a motivated and ambitious individual looking to kick-start your career in software engineering? Thermo Fisher Scientific is seeking a talented intern to join our Global Digital group, where you will have the opportunity to work on challenging projects and contribute to the development of innovative software...


  • Eindhoven, Noord-Brabant, Nederland TNO Voltijd

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

    3 weken geleden


    Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific Voltijd

    Job Title: Software Engineer InternAbout the Role:We are seeking a highly motivated and talented Software Engineer Intern to join our team at Thermo Fisher Scientific. As a Software Engineer Intern, you will be responsible for designing, developing, and testing software applications that support our customers' success.Key Responsibilities:- Design and...


  • Eindhoven, Noord-Brabant, Nederland Eindhoven University of Technology Voltijd

    Job DescriptionWe are seeking a highly skilled postdoctoral researcher to join our Software Engineering and Technology cluster for a two-year project on the application of generative AI in software development at ASML, a world-leading supplier to the semiconductor industry.Project OverviewThe postdoctoral researcher will focus on applying generative AI...


  • Eindhoven, Noord-Brabant, Nederland Leger des Heils Voltijd

    As a senior software engineer for cloud services, you will lead the development of cloud-based solutions that drive business growth. Your responsibilities will include designing and implementing scalable cloud architectures, collaborating with cross-functional teams, and ensuring high-quality code delivery. If you are a technology leader with expertise in...

  • Software Engineer

    2 weken geleden


    Eindhoven, Noord-Brabant, Nederland 247drive Voltijd

    Career Opportunity: We are looking for a skilled Software Engineer to join our team and contribute to the development of our cloud-based web application. As a Software Engineer, you will be responsible for designing, developing, and testing software applications. Your primary focus will be on the backend development using Node.js and MongoDB. Our ideal...

  • Senior Software Engineer

    2 weken geleden


    Eindhoven, Noord-Brabant, Nederland Spirit Hospitality Services Voltijd

    **Job Title:** Senior Software Engineer **About the Role:** We are seeking a skilled Senior Software Engineer to join our team. As a cloud deployment expert, you will be responsible for designing, implementing, and maintaining scalable and secure cloud-based systems. **Key Responsibilities:** * Design and implement cloud-based applications using AWS and...

  • Software Engineer

    3 weken geleden


    Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific Voltijd

    Unlock Your Potential as a Software EngineerAt Thermo Fisher Scientific, we're committed to empowering our customers to make the world a healthier, cleaner, and safer place. As a Software Engineer, you'll play a critical role in developing innovative software solutions that drive scientific breakthroughs and improve people's lives.About the RoleAs part of...

  • Senior Software Engineer

    4 weken geleden


    Eindhoven, Noord-Brabant, Nederland Trinamics Beheer B.V. Voltijd

    Job Title: Senior Software Engineer About the Role: We are seeking a highly skilled Senior Software Engineer to join our team at Trinamics Beheer B.V. As a key member of our engineering team, you will be responsible for designing, developing, and delivering complex software modules and systems. Key Responsibilities: * Lead the development of software...


  • Eindhoven, Noord-Brabant, Nederland UiPath Voltijd

    Join UiPath as a Senior Principal Software Engineer, CloudUiPath is a leading enterprise software company that is revolutionizing the way businesses work. We are seeking a highly skilled Senior Principal Software Engineer, Cloud to join our team.About the RoleAs a Senior Principal Software Engineer, Cloud, you will be responsible for designing and developing...