caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] PhD positions in Programming Language Technology for Security and Privacy
@ 2018-09-17 19:51 David Sands
  0 siblings, 0 replies; 1+ messages in thread
From: David Sands @ 2018-09-17 19:51 UTC (permalink / raw)

[-- Attachment #1: Type: text/plain, Size: 1195 bytes --]

Chalmers University of Technology in Gothenburg, Sweden invite applications for PhD positions in Programming Language Technology for Security and Privacy.

We are looking for applicants with a technical background in the programming languages and systems research area, and who have a keen interest in applying and developing this technology to create new methods and tools for security and privacy of software and systems. You will have a good knowledge in several of the following areas: compiler technology, static analysis, type systems, programming language semantics, advanced functional programming, program verification.

Application deadline: October 10th, 2018. We encourage all applicants who might need a visa to visit Sweden to apply as soon as possible.

For details about the employment conditions and how to apply see:

http://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Vacancies/Pages/default.aspx?rmpage=job&rmjob=6602&rmlang=UK


-- 
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

[-- Attachment #2: Type: text/html, Size: 4634 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-09-17 19:51 [Caml-list] PhD positions in Programming Language Technology for Security and Privacy David Sands

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox