Research internships in automated testing and code verification

• Wanneer

  November 2024 4 - 52 weken 16 - 40 uur per week
• Waar

  Amsterdam
• Opleidingsniveaus

  HBO-Bachelor HBO-Master WO-Bachelor WO-Master
• Stagesoorten

  Meewerkstage Afstudeerstage
• Salaris

  Zie salaris opmerking

  market conform

We are dit bedrijf, 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 dit bedrijf](see …m/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 dit bedrijf and other leading projects zonnecollege 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 dit bedrijf 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.

Gewenste profiel

For these internships we are looking for people that can have a strong theoretical background in automated testing & automated code verification and are proficiant in embedded C++ and a higher level language like python.

Wat bieden wij

We operate in a fully agile development environment and a key interest in (learning) the Agile philosophy would be key.

Depending on your field of specialty and the level of your education of which the internship is part, you will be receiving day to day coaching and learning from one or multiple of our senior staff members.

Do you want to get your foot in the door in working in a leading-edge start-up and do you want to experience working with the latest technologies and development methodologies used in the industry?

No matter your educational level we are looking for candidates that can show they are at the top of their class and have the dedication and drive to reach the top of their abilities.

Get in contact and let us know your interests and requirements for an internship and lets see if we are a match.