Postdoctoral Researcher - Lausanne, Schweiz - EPFL

EPFL

Geprüftes Unternehmen

Lausanne, Schweiz

vor 2 Wochen

Geschrieben von:

Lena Schneider

beBee Recruiter

Beschreibung

Critères de l'offre

Description du poste

Your mission:

Despite 100's of papers there is relatively little adoption of type systems expressing resources and effects in programming language. One reason for this is the high notational overhead that existing techniques impose. We are working on a new scheme that avoids the overhead. The idea is that we can use capabilities to model both resources and effects.

To make this safe, we have developed a core calculus that tracks when a capability can be captured by a closure.

We have obtained funding for a large scale research project that studies how we can build new type systems for modeling resources and effects on this idea.

The project will run for 5 years and will employ a mix of PhD students, scientists, and engineers (7 positions overall).

Main duties and responsibilities include:

Post-docs work closely with all members of the lab carrying out excellent research, supervising students and collaborating with other team members, while optionally contributing to teaching (especially if they are interested in an academic career).

Description du profil

Your profile:

Post-doctoral researcher
Proven scientific excellence in at least two of the areas of type systems, programming languages, or compilers.
Passionate about inventing, building, and publishing high quality research
Strong publication record
Hands-on experience in system development
Salaire et avantages

We offer:

The Programming methods group is renowned for its collaborative culture, its scientific excellence, and its real world impact. What's more, salary and social benefits at EPFL are extremely competitive.