We offer a 4-year PhD position on Multi-Core Model Checking. This is a great opportunity to cut your teeth on multi-core software, in two ways:
- You get to do research on cutting-edge multi-core algorithms. Find new (parallel) ways to solve problems as efficient as possible on today's and near-future hardware.
- Find new ways how to prove multi-core algorithms correct (and apply them on in practice).
Either way, we have a stack of nice hardware ready, waiting to be exercized.
Deadline is November 1st, 2008! So, get your CV into shape and apply!
UPDATE 2008-10-20: Linked!
A big Thank You
to
the multicoreinfo team
for picking
up the
story so quickly!