HiWi position, theory, implementation

Supervisor: Jonas Gösgens

Level: Bachelor or Master Student (m/w/d)

Tasks

1. Proofreading of proofs and similar literature to ensure accuracy, clarity and correctness.
2. Implementation of theoretical algorithms starting with only theoretical concepts.
3. Engaging in deep discussions about current research theories and concepts.
4. Continuing development of SIFT [1].

What we expect:

• Strong foundation in AI planning, graph theory, and complex theoretical constructs.
• Commitment to long term projects and willingness to learn.
• Good implementation skills in an imperative language such as Python or C++.

What we offer:

• A reasonably fast compute cluster for experiments to support your work.
• Access to quality tea, coffee, and Club Mate to keep you energized.
• A supportive team of students and researchers at the chair who value collaboration and knowledge sharing.
• Opportunity for a long-term contract as we seek committed individuals who can grow with our research initiatives.

Interested?

Contact Jonas Gösgens.

Sources [1] Learning Lifted STRIPS Models from Action Traces Alone: A Simple, General, and Scalable Solution, Goesgens et al., 2024, https://arxiv.org/abs/2411.14995