Logic List Mailing Archive

PhD student positions in fundamental computing, Groningen (The Netherlands), Deadline: 2 Jun 2017

Dear colleagues,

We welcome expressions of interest for a four-year PhD position
available within the Fundamental Computing group, University of
Groningen (the Netherlands) - see www.rug.nl.

We are looking for a bright, highly motivated student broadly
interested in working on one or some of the following areas:
- concurrency theory, process calculi
- semantics of programming languages
- logical foundations of concurrency and communication
- type systems and behavioral equivalences for concurrency

The PhD position is available in the context of the recently
established PhD Scholarship Program:
http://www.rug.nl/education/phd-programmes/phd-scholarship-programme/

Interested candidates are encouraged to carefully consult the
application procedure and general conditions described in the link above.

The PhD student will be working under my supervision within the Johann
Bernoulli Institute for Mathematics and Computer Science (JBI) - see
http://www.rug.nl/research/jbi/

The research topic for the available PhD position is to be decided jointly
between the candidate and PhD supervisor.
There is room for both fundamental and practical research topics
within the areas above, as well as excellent prospects for
international collaboration and exchanges.

Prospective candidates should have:
- A MSc in Computer Science, Mathematics, Logic or a related area
- Excellent communication skills in English, both written and oral
Prior research experience (for instance, an excellent MSc
thesis/internship on one or some of the areas mentioned above) would
be a plus.

Interested candidates should contact me asap (j.a.perez[at]rug.nl) to
express their interest in applying to the position. I also welcome
informal queries about the position and/or the application procedure.

The stating date for the position is as soon as possible (ideally by
September 2017) so early expressions of interest *preferably by June
2, 2017* would be particularly appreciated.

Pleasee share this announcement as you see fit and encourage strong
candidates to contact me.

Best regards,
Jorge A. Pérez

-- 
Jorge A. Pérez
Assistant Professor
Johann Bernoulli Institute for Mathematics and Computer Science
University of Groningen, The Netherlands
URL: http://www.jperez.nl
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam