Internship Azure Cyber Security at Cobase (Fintech)

Cobase offers a SaaS based multi-bank platform to large corporates that need a solution to efficiently manage their bank accounts if they work with many different banks. The platform provides a single point of access to bank accounts and other financial products and services from many banks around the world. See www.cobase.com for more information.

Vacancy Internship UX Designer

Share Council is an employee participation platform for organisations that want to make an impact. It was founded on the premise that the world's biggest problems are just getting bigger - while the world's richest are just getting richer. This cannot be the goal. So we decided to fix both. The secret weapon is co-ownership.

A test suite for WebAssembly implementations

An open source test suite for WebAssembly implementations exists. To make it suitable for testing based on a functional safety standard, such as the ISO 26262 standard for automotive software, more is needed. In this project we want to investigate what is needed to build parts of it as a proof of concept.

Additional code scanner for compiler-generated code

In the functional safety standard for the aviation industry, there is a requirement that the compiler does not generate "additional code". To help engineers with this analysis, we propose a generic tool that compares the parse tree of the program to the generated assembly.

Test suite for C++ coverage analysis tools

At Solid Sands, we have developed our own tools for coverage analysis of the C++ headers based on a combination of gcov and LLVM-based source code analysis. Now we need to show that these tools are robust enough to use for certification purposes.

Developing a test suite for Rust or Python implementations

The programming languages Rust and Python are both gaining interest in safety-critical embedded applications. To use them in that role, it is required that the implementation is verified with a requirements-based test suite.

Verification of multithreading primitives in C

C11 added multithreading primitives to the C programming language, as well as shared memory communication primitives between threads. These features are difficult to test because they are non-deterministic. In this project we want to work towards a proof of concept approach.

Verifying the implementation of machine learning libraries

AI applications based on Machine Learning are notoriously hard to verify because there is no definition of their expected behavior other than their input set. This makes it hard to put a ML based program in charge of a safety critical device such as a car. But it is possible to verify that the ML algorithm itself is correctly implemented.

Afstudeeropdracht in e-commerce

Wij zijn een Amsterdamse tech startup in e-commerce en hebben jouw hulp nodig om het bedrijf verder te laten groeien! Zit jij in je laatste jaar van je studie en heb je affiniteit met data en e-commerce? Lees dan verder!

Afstudeerstage Full Stack Developer

Wij zijn een Amsterdamse tech startup in e-commerce en hebben jouw hulp nodig om het bedrijf verder te laten groeien! Zit jij in je laatste jaar van je studie en heb je affiniteit met data en e-commerce? Lees dan verder!