Detailsuche Anmelden Merkliste (0) Inserieren ZEIT Online
ZEIT Online - Logo ZEIT Online - Logo Stellenmarkt
Menü
ZEIT Online Anmelden Merkliste (0) Inserieren
Bitte beachten Sie: Diese Stellenanzeige ist nicht mehr aktiv.

Entdecken Sie hier weitere Stellenanzeigen. Um regelmäßig per E-Mail über passende Stellen informiert zu werden, können Sie sich jederzeit kostenlos registrieren.

PHD Position on "Concurrency, logic, and type systems"

Veröffentlicht am 10. September 2018 (vor 454 Tagen)
Bewerbungsende 1. Oktober 2018 (vor 433 Tagen)
Vollzeit-Stelle
University of Groningen Groningen (Niederlande)
Logo

PHD POSITION ON CONCURRENCY, LOGIC, AND TYPE SYSTEMS

(Posted: August 31, 2018)

University of Groningen, The Netherlands

We are searching for one four-year PhD position on the topics of concurrency, logic, type systems, and programming languages.

You will contribute to rigorously comparing different type systems for message-passing programs, such as session types.
These comparisons will use as reference a correspondence known as "propositions as sessions", which connects concurrency and logic in the style of the well-known Curry-Howard correspondence.
We will use the resulting comparisons to streamline existing type systems, and to guide the development of verification tools for message-passing programs.

Your PhD research will be embedded in the project "Unifying Correctness for Communicating Software", a VIDI career grant recently awarded to Dr. Jorge A. Pérez by the NWO (Netherlands Organization for Scientific Research).
As such, you will join a dynamic, quickly growing research group; within the project, you will collaborate with research partners both in the Netherlands (e.g., at CWI Amsterdam) and abroad.

- Qualifications

You have an MSc degree (or equivalent) in Computer Science, Logic, Mathematics, or Artificial Intelligence, and experience in one or more of the following:

  • Semantics of programming languages
  • Program verification, type systems, and/or typed programming languages
  • Concurrency theory and/or process calculi
  • The Curry-Howard isomorphism ("propositions as types")
  • Modal/substructural logics and (their) proof theory
Female candidates are encouraged to apply.

- Application and Additional Information

For further details on the position and the application procedure, please visit
https://www.rug.nl/about-us/work-with-us/job-opportunities/overview?details=00347-02S0006KOP

For further information and expressions of interest, contact Jorge A. Pérez (j.a.perez@rug.nl).
See also http://www.jperez.nl/vidi

You may apply until 1 October 23:59h / before 2 October 2018 (Dutch local time).

Additional information

  • Further information on the Vidi project
  • Bernoulli Institute for Mathematics, Computer Science, and AI
  • The Fundamental Computing group
Drucken
Teilen
Verpassen Sie keine neuen Stellen

Registrieren Sie sich jetzt für den kostenfreien Job-Newsletter und erhalten Sie wöchentlich neue Stellenangebote zu Ihrem Suchprofil. 

Aktuelle Suchbegriffe: Mathematik, Informatik, Doktorand/in, Lehre & Forschung, Wissenschaft, IT, EDV, Telekommunikation, Andere Länder, Hochschule, Vollzeit
Nach der Registrierung können Sie Ihr Profil anpassen.
Bitte geben Sie eine E-Mail-Adresse im gültigen Format ein.
Sie können Ihre Anmeldung zum Newsletter jederzeit widerrufen, bspw. per E-Mail an jobs@zeit.de. Wir verwenden Ihre E-Mailadresse auch, um Ihnen Werbung für ähnliche Angebote der ZEIT Verlagsgruppe zuzusenden. Dieser Verwendung können Sie jederzeit widersprechen. Mit Ihrer Anmeldung erklären Sie sich mit unseren AGB einverstanden und nehmen die Datenschutzbestimmungen zur Kenntnis.
Arbeitgeber im Blick
Berlin Mathematical School (BMS) - Logo
Berlin Mathematical School (BMS)

The Berlin Mathematical School is a joint graduate program between the mathematics departments at three universities and a part of the Excellence Initiative.

Weitere passende Stellen
Top Job
  • Ph.D. student (f/m/d) in Signal Processing
  • Luleå University of Technology
  • Luleå (Schweden)
  • PhD position (f/m/d) in Management Information Systems
  • Norwegian University of Science and Technology (NTNU)
  • Trondheim (Norwegen)
  • Wissenschaftlicher Mitarbeiter (m/w/d) mit Promotionsvorhaben im Bereich Cloud- und Blockchain-Anwendungen im Mobilitäts- und Verkehrswesen
  • Duale Hochschule Baden-Württemberg (DHBW) Villingen-Schwenningen
  • Villengen-Schwenningen
Alle passenden Stellen
ZEIT Online - Logo Stellenmarkt
  • VERLAG:
  • Mediadaten
  • Rechte & Lizenzen
  • Datenschutz
  • Cookies & Tracking
  • AGB
  • Impressum
  • Hilfe/ Kontakt
  • Jobnewsletter
  • Berufstest
Um unsere Webseite optimal gestalten und fortlaufend verbessern zu können, verwenden wir Cookies. Durch die weitere Nutzung der Webseite stimmen Sie der Verwendung von Cookies zu. Weitere Informationen sowie Hinweise dazu, wie Sie die Speicherung der Cookies verhindern können, finden Sie in unserer Datenschutzerklärung.