Model Based Testing for Complex Algorithms Intern

Work Schedule

Standard (Mon-Fri)

Environmental Conditions

Office

Job Description

Do you have a passion for innovative ideas and groundbreaking discoveries? With over $1 billion invested annually in R&D, at Thermo Fisher Scientific you’ll help solve some of the world’s toughest challenges, from giving cancer patients hope, ensuring safe drinking water and helping law enforcement tackle cases through forensics. We empower our teams to put science into meaningful action and give our R&D colleagues the autonomy, resources and tools they need to take science a step beyond.

Global Digital Group

As part of the R&D organization, The Global Digital group is committed to bring value-adding and groundbreaking software solutions to our customers that help them with their success. Global Digital covers all software created in the MSD-EM related sites, globally over the world. Main R&D sites can be found in Eindhoven (the Netherlands), Bordeaux (France), Hillsboro (US), Brno (Czech). The group is responsible for the complete software stack, from FPGAs to embedded and application software.

Discover Impactful Work

Transmission electronic microscopes are the most complex laboratory instruments that are being developed and used today. Software is crucial into exploiting all the potential of these microscopes, pushing the limits of current physical technologies. These microscopes are used by scientists and engineers in life science, material sciences and semiconductor industry, indirectly affecting our life in many aspects. By contributing into this software development, you might help the development of better vaccines, new lighter and stronger materials, or more efficient semiconductors.

Research Question

We are using model-based testing (MBT) with formal methods and descriptions of interfaces at several locations in our software development. Within the Automation group we have a specific challenge in applying MBT for the algorithms we develop. Our sophisticated algorithms work based on the current state of the microscope. They use acquired images to draw conclusions and make adjustments to the parameters of the system.

How can we use model-based testing for these complex algorithms?

Assignment

In this assignment you analyze the specific challenges for using MBT to test complex algorithms that are largely driven by image data. Create one or more proposals how MBT can be applied and implemented in this environment. Using the chosen solution direction, implement a proof of concept and validate the solution.

Candidate's Profile

• Software Engineering education (BA/MA)

• Passion for software testing and test automation

• Experience with (abstract) modeling of software and/or software interfaces will be a plus

• C++ and/or Python is a nice-to-have.

Physical Requirements / Work Environment

Location will be Eindhoven, on site. You will be collaborating with colleagues in Brno, Czech Republic.

Benefits

We offer internship remuneration based on level and type of the assignment.