• category theory (1 post)
• datalog (1 post)
• fixed-point-oriented programming (1 post)
• functional programming (1 post)
• logic programming (1 post)
• static analysis (1 post)