We are looking for smart and enthusiastic people who are interested in programming language, systems, and formal methods research and would like to join our team at Czech Technical University in Prague.

You can find more details regarding interesting project ideas here.

Positions are available for Bachelor, Master, and PhD students as well as postdocs.

We are accepting applications on a continuing basis. Please state your past experience, publication track record, past supervisors, and attach your CV. Make sure to include answers for the following questions:

1. What aspect of research is appealing to you?
2. What is your career goal?

If you have any questions or would like to apply send an email to Christoph Kirsch, ck@cs.uni-salzburg.at