IoT Device Software Intern, Eindhoven

Job TitleIoT Device Software Intern
Job Description
Were looking for an
intern
to join our
IoT devices software team
in
Eindhoven
(link removed)>
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, were transforming our industry.

As the world leader in lighting, were constantly ahead of the curve. Through our leadership in connected lighting and the Internet of Things, were 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 IoT sensor devices. This project shall be carried out in the context of IoT lighting systems that are part of smart building solutions.

Were 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 IoT systems, formal methods, and simulation techniques, as well as gain experience working on a complex and challenging project.


What youll 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 IoT 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 youll get in return

You will be part of an IoT software scrum team that develops smart wireless devices, integrated with ZigBee/BLE radio stacks and a multitude of sensors. You will get mentorship from experienced developers and advance your knowledge in real-life IoT system design, wireless connectivity and experience Scrum/Agile way of working.

Were 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#SignifyLifethrough the eyes of our employees!