“Project: Hail Mary” by Weir is also really enjoyable. It scratched the same “solving problems in space with logic and science” itch for me.