C/C++ Developer

Project Description

Hello,

we are looking for highly skilled C/C++ developers with (preferably) expertise in BDDs and Complexity Theory.

You will primarily be implementing a parallelisation framework aimed to distribute assignments over various CPUs across multiple machines.