Research Associate in Programming Principles, Logic, and Verification (PPLV)