Wenn Du mit dem etwas zu hohen Gewicht und der zu hohen Dicke kein Problem hast, würde sich das ThinkPad L440 meiner Ansicht nach gut eignen.
Insbesondere
diese Version mit Studentenrabatt, 8GB RAM, 128GB SSD + 500GB HDD und i3-4000M würde sich meiner Ansicht nach relativ gut eignen und schont zudem das Budget.
Der i3-4000M sollte von der Leistung her die nächsten drei Jahre bei deinen Anforderungen in jedem Fall eignen, das Gerät ist zudem wie alle ThinkPads recht stabil.
HDMI besitzt das L440 zwar nicht (denn im Business-Umfeld ist Displayport verbreiteter), es gibt jedoch Adapter von Displayport auf HDMI oder Dockingstations mit HDMI.