Joining my group -- available positions

I always welcome inquiries from people interested in joining my group (Foundations of Algorithmic Verification).

Particularly if your research interests are aligned with mine; for example if you have looked at recent papers from our group and are happy to discuss over Zoom/Skype some aspects of them, or some related work, or how you feel your skills could be useful in tackling the sort of research questions we are interested in, etc.

Postdoc Openings

I am always interested in hearing from strong and well-qualified candidates wishing to do a postdoc in my group. You should have a PhD (or be close to completion) in a relevant area of computer science or mathematics, together with a documented track record of the ability to conduct and complete research projects in automated verification, automata theory, dynamical systems, or algorithmic algebra and number theory, or a similar relevant area.

To apply, please send CV and short statement of purpose to Joël Ouaknine < joel@mpi-sws.org >.

Informal inquiries of course very welcome.

PhD Openings

I am always interested in hearing from strong and well-qualified candidates wishing to do a PhD in my group. To be considered, please fill out an application mentioning my name, and please drop me an email once your application is complete. (You should choose the MPI-SWS Doctoral Program once you've created an account on the online system.) You may also want to consider Oxford-Max-Planck, our joint PhD program wih Oxford University.

Internships

I also occasionally take exceptionally well-qualified interns (the main requirements are a strong mathematical background and a keen interest in theoretical computer science); to be considered, please fill out an application mentioning my name, and please drop me an email once your application is complete.

Back to Joël Ouaknine's home page

Imprint / Data Protection