Eline van Mantgem
Angestellt, Researcher, KIT Campus Alpine IMK-IFU
Garmisch-Partenkirchen, Deutschland
Über mich
I am a researcher/algorithm engineer with an interest in developing and implementing exact algorithms for hard problems. I apply different solving techniques (integer linear programming, satisfiability solving, dynamic programming) to solve combinatorial optimization problems. My interests are network analysis, formal verification and graph algorithms. I'm looking for a position in which I can apply my analytical skills to formulate, implement and optimize algorithms for hard problems.
Werdegang
Berufserfahrung von Eline van Mantgem
Bis heute 10 Monate, seit Sep. 2023
Researcher
KIT Campus Alpine IMK-IFU
Bis heute 6 Jahre und 10 Monate, seit Sep. 2017
Researcher
Heinrich Heine Universität
Researcher at the Algorithmic Bioinformatics group, Heinrich Heine Universität Düsseldorf. My main research topic involves network analysis of signalling networks. Given experimental data, I learn the exact logical topology of signalling networks. The implementation is done in Python and Rust using the integer linear programming solver Gurobi and the satisfiability solver Cryptominisat. Lecturer (2019 - 2022) for Seminar Combinatorial Optimization and Seminar Reproducibility in Bioinformatics Research
Sprachen
Deutsch
Gut
Englisch
Fließend
Niederländisch
Muttersprache