Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Postdoc position at the University of Ljubljana

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc position at the University of Ljubljana


Chronological Thread 
  • From: Andrej Bauer <andrej.bauer AT andrej.com>
  • To: "HomotopyTypeTheory AT googlegroups.com" <homotopytypetheory AT googlegroups.com>, types AT lists.chalmers.se, categories list <categories AT mta.ca>, Coq Club <coq-club AT inria.fr>
  • Subject: [Coq-Club] Postdoc position at the University of Ljubljana
  • Date: Mon, 7 Dec 2015 17:39:39 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andrej.bauer AT andrej.com; spf=None smtp.mailfrom=andrej.bauer AT andrej.com; spf=None smtp.helo=postmaster AT mail-qg0-f42.google.com
  • Ironport-phdr: 9a23:K50lShVaL6jET3LCE04WuyOPXNfV8LGtZVwlr6E/grcLSJyIuqrYYBWGt8tkgFKBZ4jH8fUM07OQ6PC+HzVZqsbe+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8OVOlwD1GX1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3SNp41Rr1ADTkgL3t9pIiy7UGCHkOz4S5WcmITlQZPGxn5/Qn3Ypf8tTHrnuV63yaeMMLsSq0sQnKp6KIhAEvojyIAKzkh4X3GksFsjK9cugOJqBt4zIrZb5uSKeJlOKjaeIVeDXZQRstKfyhAGZ+nKYAPBu4EMPxD6ZLw4xMFpAezCg62Be70gjtJnWO+iaYzz+kuFhvH0RcIGs4H9n/d+pG9H6ALGcux0aOAmT7EdrZd3Sr3wInOaBEo5/+WC+Fea83UnGApGxnIjB26oJHoJXvB3+IBqWWZqeBpSO+1o2chpxt8oH6kwcJ62dqBvZ4c1l2RrXYx+40yP9DtDRcjOdM=

A postdoc position in the Effmath research project is available at the
University of Ljubljana, Faculty of Mathematics and Physics. The
precise topic is flexible, but should generally be aligned with the
project (see project description at
http://math.andrej.com/wp-content/uploads/2014/11/description.pdf)).
Possible topics include:

* reasoning about computational effects
* implementation of computational effects
* proof assistants and formalization of mathematics

The candidate should have a PhD degree in mathematics or computer
science, with background knowledge relevant to the project area. The
position is available for a period of one year with possibility of
extension, preferably starting in early 2016. No knowledge of the
Slovene language is required.

The candidates should contact Andrej Bauer
<Andrej.Bauer AT fmf.uni-lj.si>
as soon as possible, but **no later than
January 8th 2016**. Please include a short CV and a statement of
interest.


  • [Coq-Club] Postdoc position at the University of Ljubljana, Andrej Bauer, 12/07/2015

Archive powered by MHonArc 2.6.18.

Top of Page