They used a combination of a formal HR process and an informal/personal process. The informal process consisted of speaking with several people and having them grill me with tech questions.