The Software Engineering Laboratory of Innopolis University has several open positions for PhD students and postdocs in areas of program verification, software architecture, concurrency and other advanced software engineering topics.
Innopolis, based in Kazan, Russia, is a new, well-funded university founded on the international model and aiming to reach quickly the highest international ranks. The Software Engineering Laboratory is headed by Prof. Bertrand Meyer from ETH Zurich, a leading expert in software engineering and recipient of many awards, and Prof. Manuel Mazzara, formerly of the University of Newcastle and Politecnico di Milano. Scholarships and benefits are on a par with the most attractive international offerings. Numerous opportunities are available for collaboration and exchanges with ETH, Politecnico di Milano and other universities including MIPT (Phystech) in Moscow. We are accepting applications from enthusiastic students with a master's or equivalent, an excellent academic record, and a passion for leading-edge research in software engineering. Both theoretical computer science knowledge and in-depth programming experience are useful. Positions are open to applicants from any country; Knowledge of Russian is a plus but not required.
Further details:
http://www.scholarships-links.com