The first step is an online application with your resume and additional files. After they reviewed your CV and other information, they may give you a phone interview and ask you to prepare for translating English sentences to first-order logic and answering questions about algorithms.