Stage: Research internships in automated testing and code verification
| Branche | Zie onder |
| Dienstverband | Zie onder |
| Uren | Zie onder |
| Locatie | Amsterdam |
| Opleidingsniveau | Zie onder |
| Contactpersoon | Zie onder |
Informatie
We are Ingy, a fast growing and well-funded start-up developing smart lighting and building systems. We were founded 3 years ago with a mission to deliver smart building technology at a far lower cost-price by integrating all required technology in the lighting \[Youtube video Ingy\](see https://www.youtube.com/watch?v=eGiBoJ9m_eY for a summary of what we do). Since our start we have been moving very fast, having closed partnerships with multiple large global lighting companies, global leading smart building portal providers and a wide range of leading sensor providers. Our technology is currently rolled out in the UMC-Utrecht [Umc utrecht Ingy](https://ingy.nl/umc-casestudy/) and other leading projects [zonnecollege project](https://www.ingy.nl/zonecollege-project/). We have been widely recognized in the global and national media and have been nominated for multiple global awards as a leading Proptech start-up [ingy news](https://ingy.nl/news/).
Werkzaamheden We currently have a number of open positions for people that want to look into the cutting edge of automated testing and verification of embedded software which is operating in a decentralised wirless mesh with thousands of nodes. Some of the potential internship assignement we have open include: * Automated analyses of embedded C++ code for potential critical bugs including buffer overflows, null pointer exceptions and overwiting memory location unintensionally * Automated testing of complex lighting control behaviours in a decentralised mesh consisiting of large scale networks with complex decsion rules and products from multiple vendors * Building a PC based simulation of the NRF52 board, for example by extending QEMM or building a purpose build simulater for our library calls * Proving the correctnes of comples individual lighting control algorithms based on sensor values, like daylight harvesting. The challenge here is to prove that our daylight harvesting algorithm works correctly, independent of how the sensor is mounted, what hardware our firmware is flashed into, what luminaires are used and what the reflective properties of the space are.Omschrijving
We are Ingy, a fast growing and well-funded start-up developing smart lighting and building systems. We were founded 3 years ago with a mission to deliver smart building technology at a far lower cost-price by integrating all required technology in the lighting \[Youtube video Ingy\](see https://www.youtube.com/watch?v=eGiBoJ9m_eY for a summary of what we do). Since our start we have been moving very fast, having closed partnerships with multiple large global lighting companies, global leading smart building portal providers and a wide range of leading sensor providers. Our technology is currently rolled out in the UMC-Utrecht [Umc utrecht Ingy](https://ingy.nl/umc-casestudy/) and other leading projects [zonnecollege project](https://www.ingy.nl/zonecollege-project/). We have been widely recognized in the global and national media and have been nominated for multiple global awards as a leading Proptech start-up [ingy news](https://ingy.nl/news/).
Werkzaamheden We currently have a number of open positions for people that want to look into the cutting edge of automated testing and verification of embedded software which is operating in a decentralised wirless mesh with thousands of nodes. Some of the potential internship assignement we have open include: * Automated analyses of embedded C++ code for potential critical bugs including buffer overflows, null pointer exceptions and overwiting memory location unintensionally * Automated testing of complex lighting control behaviours in a decentralised mesh consisiting of large scale networks with complex decsion rules and products from multiple vendors * Building a PC based simulation of the NRF52 board, for example by extending QEMM or building a purpose build simulater for our library calls * Proving the correctnes of comples individual lighting control algorithms based on sensor values, like daylight harvesting. The challenge here is to prove that our daylight harvesting algorithm works correctly, independent of how the sensor is mounted, what hardware our firmware is flashed into, what luminaires are used and what the reflective properties of the space are.