Postdoctoral Researcher

vor 3 Wochen


Lausanne, Schweiz EPFL Vollzeit

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.



  • Lausanne, Schweiz EPFL Vollzeit

    EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than 6,500 people supporting the three main missions of the institution: education, research and innovation. The EPFL campus offers an exceptional working environment at...


  • Lausanne, Waadt, Schweiz EPFL Vollzeit

    EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide.The EPFL employs more than 6,000 people supporting the three main missions of the institutions: education, research and innovation. The EPFL campus offers an exceptional working environment at...


  • Lausanne, Schweiz Université de Lausanne Vollzeit

    **Introduction**: UNIL is a leading international teaching and research institution, with over 5,000 employees and 17,000 students split between its Dorigny campus, CHUV and Epalinges. As an employer, UNIL encourages excellence, individual recognition and responsibility. **Presentation**: The postdoctoral position is open to researchers interested in...


  • Lausanne, Schweiz EPFL Vollzeit

    EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than 6,500 people supporting the three main missions of the institution: education, research and innovation. The EPFL campus offers an exceptional working environment at...


  • Lausanne, Schweiz EPFL Vollzeit

    EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than 6,500 people supporting the three main missions of the institutions: education, research and innovation. The EPFL campus offers an exceptional working environment...


  • Lausanne, Waadt, Schweiz EPFL Vollzeit

    EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide.The EPFL employs more than 6,500 people supporting the three main missions of the institutions: education, research and innovation. The EPFL campus offers an exceptional working environment at...


  • Lausanne, Schweiz Université de Lausanne Vollzeit

    **Introduction**: **Presentation**: - Do you have a background in quantitative methods and an interest in the topic of ethnic discrimination? Are you enthusiastic about the opportunity to be part of an international team and develop research based on cutting-edge experimental methods?_ The Institute for Social and Political Sciences jointly with the...


  • Lausanne, Waadt, Schweiz Université de Lausanne Vollzeit

    Introduction:UNIL is a leading international teaching and research institution, with over 5,000 employees and 17,000 students split between its Dorigny campus, CHUV and Epalinges. As an employer, UNIL encourages excellence, individual recognition and responsibility.Presentation:The postdoctoral position is open to researchers interested in Behavioral and...


  • Lausanne, Schweiz Université de Lausanne Vollzeit

    **Introduction**: UNIL is a leading international teaching and research institution, with over 5,000 employees and 17,000 students split between its Dorigny campus, CHUV and Epalinges. As an employer, UNIL encourages excellence, individual recognition and responsibility. **Presentation**: To complete the team, the Institute of Psychology of the Faculty of...


  • Lausanne, Schweiz Université de Lausanne Vollzeit

    **Introduction**: UNIL is a leading research and teaching institution, with over 5,000 employees and 17,000 students from over 120 nationalities. The Dorigny campus is ideally situated next to Lake Geneva. As an employer, UNIL strives for excellence, supports individual recognition and responsibility, and values diversity. UNIL is an Equal Opportunities...


  • Lausanne, Waadt, Schweiz Université de Lausanne Vollzeit

    Introduction:UNIL is a leading international teaching and research institution, with over 5,000 employees and 17,000 students split between its Dorigny campus, CHUV and Epalinges. As an employer, UNIL encourages excellence, individual recognition and responsibility.Presentation:The Institute of Earth Surface Dynamics (IDYST) of the Faculty of Geosciences and...


  • Lausanne, Waadt, Schweiz Université de Lausanne Vollzeit

    Introduction:UNIL is a leading international teaching and research institution, with over 5,000 employees and 17,000 students split between its Dorigny campus, CHUV and Epalinges. As an employer, UNIL encourages excellence, individual recognition and responsibility.Presentation:To complement the research activities in the group of Prof. Maria Cristina...


  • Lausanne, Waadt, Schweiz Université de Lausanne Vollzeit

    Introduction:Presentation:Are you interested in the topic of inequal chances in education? Are you enthusiastic about developing research on mitigating inequality and discrimination in education policy with a focus on the attitudes of different actors in this policy field (public, parents, teachers)? Do you have a strong background in quantitative and...


  • Lausanne, Schweiz Université de Lausanne Vollzeit

    **Introduction**: UNIL is a leading international teaching and research institution, with over 5,000 employees and 17,000 students split between its Dorigny campus, CHUV and Epalinges. As an employer, UNIL encourages excellence, individual recognition and responsibility. **Presentation**: Join the Evolutionary Epidemiology group as we move to the University...


  • Lausanne, Schweiz Université de Lausanne Vollzeit

    **Introduction**: The University of Lausanne is a higher teaching and research institution composed of seven faculties where approximately 17,000 students and 5,000 collaborators, professors, and researchers work and study. Situated along the idyllic Lake of Geneva, the university brings together over 120 nationalities. **Job information**: Expected start...


  • Lausanne, Schweiz EPFL Vollzeit

    EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than 6,000 people supporting the three main missions of the institutions: education, research and innovation. The EPFL campus offers an exceptional working environment...


  • Lausanne, Waadt, Schweiz Université de Lausanne Vollzeit

    Introduction:UNIL is a leading international teaching and research institution, with over 5,000 employees and 17,000 students split between its Dorigny campus, CHUV and Epalinges. As an employer, UNIL encourages excellence, individual recognition and responsibility.Presentation:Prof. Sebastian Soyk is looking for a Postdoctoral Researcher in Plant Genetics...


  • Lausanne, Waadt, Schweiz EPFL Vollzeit

    EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide.The EPFL employs more than 6,000 people supporting the three main missions of the institutions: education, research and innovation. The EPFL campus offers an exceptional working environment at...


  • Lausanne, Schweiz Université de Lausanne Vollzeit

    **Introduction**: UNIL is a leading international teaching and research institution, with over 5,000 employees and 17,000 students split between its Dorigny campus, CHUV and Epalinges. As an employer, UNIL encourages excellence, individual recognition and responsibility. **Presentation**: The Institute of Social Sciences of the Faculty of Social and...


  • Lausanne, Waadt, Schweiz Université de Lausanne Vollzeit

    Introduction:UNIL is a leading international teaching and research institution, with over 5,000 employees and 17,000 students split between its Dorigny campus, CHUV and Epalinges. As an employer, UNIL encourages excellence, individual recognition and responsibility.Presentation:To complement the research activities of the laboratory of Prof. Alexandre...