Implement new parallel algorithms in CUDA/C++ using the COMOC; Extend the current model of computation to tackle new applications; Generalize existing combinatorial solving methods to a lattice-theoretic framework, such as global constraints; Writing or helping to write project proposals
Requirements:
The candidate should possess a PhD degree in Computer Science. We expect the candidates to have some knowledge and/or experience in at least one of the following areas: Combinatorial optimization and experience implementing constraint solving methods; Lattice theory or abstract interpretation; Parallel programming and weakly consistent memory model
Text:
Postdoctoral researcher in Parallel Programming & Combinatorial Optimisation Implement new parallel algorithms in CUDA/C++ using the COMOC; Extend the current model of computation to tackle new applications; Generalize existing combinatorial solving methods to a lattice-theoretic framework, such as global constraints; Writing or helping to write project proposals The candidate should possess a PhD degree in Computer Science. We expect the candidates to have some knowledge and/or experience in at least one of the following areas: Combinatorial optimization and experience implementing constraint solving methods; Lattice theory or abstract interpretation; Parallel programming and weakly consistent memory model
Please click here, if the job didn't load correctly.
Please wait. You are being redirected to the job in 3 seconds.