From: Peter Thiemann <thiemann@informatik.uni-freiburg.de>
To: caml-list@inria.fr
Subject: [Caml-list] Phd/PostDoc position on linear types and session types
Date: Tue, 10 Apr 2018 16:52:58 +0200 [thread overview]
Message-ID: <960CBD34-4A2B-49D0-8C7B-0B1ACBFA659F@informatik.uni-freiburg.de> (raw)
The programming languages group at University of Freiburg, Germany, has an opening for a research assistant to work on a DFG-funded project to create a version of OCaml with linear types and session types to start on July 1, 2018. The project entails work on the theory and on an implementation with the weighting adjusted according to the candidate’s profile, which would ideally complement the current group members. The position can be filled with a PhD student or with a PostDoc and we welcome applications of either kind.
I am looking for strong candidates with PL background, preferably with demonstrated experience in functional programming and types. Background with OCaml and/or proof assistants (Coq, Agda) is an additional bonus.
JOB DETAILS AND APPLICATION
The salary is according to the TV-L E13 scale of German public service.
The university of Freiburg aims at increasing the number of female employees and thus especially welcomes applications of female candidates.
Applications of disabled candidates will be given priority, depending on their suitability.
Applications in PDF format or informal enquiries by email are welcome. Applications will be considered until the position is filled. The starting date is negotiable.
Check our research webpage http://proglang.informatik.uni-freiburg.de/research/ or the DBLP publication profile http://dblp.dagstuhl.de/pers/hd/t/Thiemann:Peter for more information.
Best regards
-Peter Thiemann
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
reply other threads:[~2018-04-10 14:53 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=960CBD34-4A2B-49D0-8C7B-0B1ACBFA659F@informatik.uni-freiburg.de \
--to=thiemann@informatik.uni-freiburg.de \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).