Yes, you’d pay $5k/yr.

In fact you might just want to ask for a raise to $55k and be net ahead because that’s not a great software engineering salary.

Being net ahead at $55K suggests the repayment is tax deductible. Is that the case?

No, that’s an oversimplification on my part to not complicate things, you’re right it would need to net higher.