Postdoctoral researcher

The Algorithm Engineering group at KIT Institute of Theoretical Informatics

is looking for a

POSTDOCTORAL RESEARCHER

working in all areas of algorithm engineering. For example,

• data structures
• basic toolbox algorithms (sorting, ...)
• improving standard libraries of programming languages
• graph algorithms
• optimization in mobility applications
• SAT solving, SMT solving, verification or theorem proving
• the algorithms behind machine learning and explainable AI
• computational geometry
• parallel algorithms
• algorithms on modern architectures – GPU, SIMD instructions,...
• hardware-algorithm co-design

Prerequisites

• a PhD (when starting)
• a successful publication record in highly visible conferences or journals
• excellent programming skills (e.g., C++, Rust, CUDA) or highly successful theoretical contributions with a perspective to cooperate with my group to bring theory and practice together

Contact
Prof. Dr. Peter Sanders
sanders ∂does-not-exist.kit edu