Open Positions: Laboratory for Automated Reasoning and Analysis (LARA) is generally looking for outstanding students interested in pursuing a doctoral (PhD) program in the area of verification, software analysis, automated reasoning, programming languages, and software reliability. PhD students are expected to maintain active research activity, as well as attend doctoral classes and assist in teaching.
Application: To apply, please follow the instructions for doctoral school application. In your application, make sure to indicate labs and professors you are interested in working with and describe some of the research problems you would be interested in pursuing.
Should you have any further questions about possible research topics, please contact Viktor Kuncak with your curriculum vitae, summary of your prior work, and a description of your future research interests. However, note that we are not able to answer all such requests. If you are qualified, please do not allow the lack of our answer to discourage you from applying for the PhD program.
EPFL Ranking: It is very difficult to precisely compare ranking of different universities, but various rankings show certain general trends. Among the recent examples that cover world-wide universities is The List of top 100 world universities in Engineering/Technology and Computer Sciences (cached here).
Switzerland has been repeatedly ranked as world's number one country in terms of innovation by the UN agency World Intellectual Property Index (WIPO).
For general information see also the Campus and Research Park Switzerland brochure.
Information about Lausanne:
Internship during PhD program: PhD students at EPFL often have opportunities to pursue summer internships in major research labs throughout the world. LARA encourages its PhD students to pursue summer internships when the internship topic is close to the student's PhD research.