Mikołaj Bojańczyk

Positions (deadline April 30, 2016)

March 4, 2016

Below is a call whose deadline has elapsed. I will do a new call at the end of 2016.

I am starting an ERC Consolidator grant on automata and logic. The project is called “A unified theory of finite-state recognisability”, and its main goal is to find algebraic structures (like monoids) for things like infinite trees or profinite words. However, I can be very flexible on the topic, as long as it is tangentially connected to logic or automata.

I am searching for talented postdocs and phd students. The deadline for applications is April 30, 2016. Send applications to me by email. Please feel to ask questions before that date!

The topic is automata and logic, and I am flexible on the choice of subtopic.

Postdocs. The postdoc can begin at any time from June 1 until the end of 2016. The duration is 6 – 12 months, with a possibility of extension for another year. The application consists of your name and 1-2 names of people who can provide references. I am looking for people with a good track record in the top conferences of the field. Teaching is optional.

PhD students. A typical duration is 4 years, starting any time from June 1 until the end of 2016. In application please include a cv and 1-2 names of people who can provide references. I am looking for candidates with a strong background in mathematics.


Leave a Reply

Your email address will not be published.