We’re looking for an intern to join our Io T devices software team in Eindhoven.

Working for Signify means being creative and adaptive. Our culture of continuous learning and commitment to diversity and inclusion creates an environment that allows you to build your skills and career. Together, we’re transforming our industry.

As the world leader in lighting, we’re constantly ahead of the curve. Through our leadership in connected lighting and the Internet of Things, we’re breaking new grounds in data analytics, AI, and smart homes, offices, cities and more!

Signify is one of the few companies in the world to achieve carbon neutrality and our next sustainability goals are even bolder: doubling our positive impact on the environment and society by 2025.

As a software intern, you get the opportunity to design and implement formal methods and simulation techniques to validate control behaviors of wireless Io T sensor devices. This project shall be carried out in the context of Io T lighting systems that are part of smart building solutions.

We’re on the lookout for forward-thinking innovators with a passion for sustainability. If you match this description, get in touch!

Topic description
Contemporary smart building systems are usually monitored by a network of control units. These control units receive stimuli from sensors, time scheduled events and user triggers. Control units react to such inputs and make decisions to control various aspects of the building, such as lighting, heating, and ventilation. Decision making is primarily dictated by predefined behaviours in a form of finite state machines. Validating such control units at system level is time consuming and prone to missing critical transition sequences due to the complexity of these state machines, which typically comprise of numerous states, transitions, events and guard conditions. Moreover, various customizable control behaviours need to be deployed to meet specific user requirements. To overcome this challenge, formal methods and simulation techniques can be used to validate such state machines. Formal methods involve the use of mathematical techniques to prove that a system meets its requirements, while simulation techniques involve the use of software tools to simulate the behaviour of the system and identify any potential issues.

During this internship, the student will work with a team of domain experts to develop and implement formal methods and simulation techniques to validate finite state machines that are used in smart building control systems, specifically in lighting systems. The student will learn about the various techniques and tools used in the field and will gain hands-on experience working with real-world applications. The internship will provide an opportunity for the student to develop skills in software engineering, wireless Io T systems, formal methods, and simulation techniques, as well as gain experience working on a complex and challenging project.

What you’ll do

• Perform literature review on related works and evaluate a selected list of tools.
  
• Devise format methods and/or simulation-based techniques for validation of control behaviors in Io T sensor devices and wireless networks.
  
• Implement the proposed methodology and demonstrate the functionality in real-life projects.
  
• Propose an approach to integrate the solution in existing validation workflows
  
• Evaluate the effectiveness of the proposed methodology in terms of time and memory complexity
  

Your qualifications

• Enrolled in engineering degree in Embedded Systems, Software Engineering, Computer Science or related subject for the duration of the internship
  
• Passion in software development
  
• All-rounded mentality and readiness to learn new skills and programming languages
  
• Repository management experience using GIT
  
• Good in one of the programming language: C++/Java/C#/Python
  
• Optional: prior experience in Eclipse XText is a plus
  
• Available for 6-12 months, 32-40 hours per week
  

What you’ll get in return…
You will be part of an Io T software scrum team that develops smart wireless devices, integrated with Zig Bee/BLE radio stacks and a multitude of sensors. You will get mentorship from experienced developers and advance your knowledge in real-life Io T system design, wireless connectivity and experience Scrum/Agile way of working.

We’re offering multiple opportunities for career development, like mentoring, coaching and stretch assignments, with strong international exposure for dynamic profiles. Learning is fundamental to our culture. Through continuous learning, we are transforming the industry. You have the chance to learn every day, acquire new skills and perspectives through customized online programs, and on-the-job experiences.

See #Signify Life through the eyes of our employees!