Software Engineer for Synthesis-Based Engineering
4 weken geleden
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.
-
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...
-
Embedded Software Engineer
3 weken geleden
Eindhoven, Noord-Brabant, Nederland ACE development & engineering VoltijdAbout 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 VoltijdWe 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 VoltijdJob 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 VoltijdJob 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 VoltijdAs 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 VoltijdSoftware 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 VoltijdWe 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 VoltijdJob 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 VoltijdSoftware 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 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 Intern
3 weken geleden
Eindhoven, Noord-Brabant, Nederland Thermo Fisher Scientific VoltijdJob 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...
-
Postdoctoral Researcher in AI for Software Engineering
1 maand geleden
Eindhoven, Noord-Brabant, Nederland Eindhoven University of Technology VoltijdJob 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...
-
Senior Software Engineer for Cloud Services
2 weken geleden
Eindhoven, Noord-Brabant, Nederland Leger des Heils VoltijdAs 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 VoltijdCareer 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 VoltijdUnlock 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. VoltijdJob 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...
-
Senior Principal Software Engineer, Cloud
4 weken geleden
Eindhoven, Noord-Brabant, Nederland UiPath VoltijdJoin 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...