Research Assistant: Applications of Functional Programming - Ref. BAP-2016-578
Full-time - Fixed-term contract - Leuven
Research and develop exciting applications of functional programming.

Methodologies and computational tools for decentralized control of large-scale interconnected systems - Ref. BAP-2016-575
Full-time - Fixed-term contract - Leuven
An interdisciplinary project at the intersection of computational mathematics and control engineering (Marie Sklodowska-Curie action)

PhD Position on Harnessing Side-Effects in Programming Languages - Ref. DOCO-2016-112
 - Leuven
Develop the emerging algebraic effect handlers approach to remove the obstacle that side-effects pose to increased software productivity in conventional programming languages.

Hardware enabled security and cryptography - Ref. DOCO-2016-96
 - Leuven
Securing the Internet-of-Things

PhD position on multi-scale simulation of microstructure evolution at material interfaces - Ref. BAP-2016-572
Full-time - Fixed-term contract - Leuven
PhD positions on multi-scale simulation of microstructure evolution at material interfaces

Embedded model predictive control of mechatronic systems - Ref. BAP-2016-532
Full-time - Fixed-term contract - Leuven
The KU Leuven, Department of Mechanical Engineering is searching for an outstanding and highly motivated PhD researcher in optimization and control.

Automating Data Science (ERC) / Probabilistic Programming / Relational Learning - Ref. BAP-2016-441
Full-time - Fixed-term contract extendable - Leuven
Interested in the frontiers of artificial intelligence and data science ?