Peer Tutor

vor 2 Wochen

Genf, Genf, Schweiz Université de Genève Vollzeit

The Department of Computer Science of the Faculty of Science of the University of Geneva has an opening for a position for

Full Professor in Fundamental Theoretical Computer Science.

The Department of Computer Science is a very dynamic entity of the Faculty of Sciences. It is involved in numerous research projects funded by the SNSF, the EU, industry, and other foundations. The Department of Computer Science offers complete bachelor, master, and doctoral courses, focusing on the basic theoretical concepts of computer science, the mastery and development of advanced tools, and their multidisciplinary application in fields as varied as theoretical computer science, formal methods, information theory, High Performance computations, numerical modelling and simulation, bioinformatics, etc. The Department of Informatics is recognized worldwide for the quality of its research in several of these areas.

This position involves research and teaching duties, the direction of a research group, research fund-raising, and participation in the management of the Computer Science Department. Teaching at the bachelor and master levels is required, and the candidate should be able to teach in both French and English:

  1. Bachelor: Formal modeling tools including discrete modeling techniques and logic
  2. Bachelor: Semantics of programming languages
  3. Master: Formal modeling and verification of software

Qualifications and experience required:

  • PhD in Computer Science or equivalent.
  • Candidates with expertise in Formal verification of software using i.e. deductive verification, abstract interpretation, automated theorem proving, type systems, and lightweight formal methods, or an expertise in Programming language theory (PLT), analysis, formal semantics, characterization, and classification of formal/programming languages, are particularly welcome.

Commitment start date: 1st August 2024

The application should include:

  • A letter of motivation
  • A detailed CV with a list of publications
  • A copy of the highest degree obtained
  • A research and teaching project
  • A list of people who can write a letter of recommendation and who can be contacted directly if necessary. Letters of recommendation are not required at this stage.

Applications must be submitted exclusively online, before 31st October 2023, at the link provided.
APPLICATIONS SENT BY EMAIL WILL NOT BE CONSIDERED.

#J-18808-Ljbffr

  • Peer Tutor

    vor 18 Stunden

    Genf, Genf, Schweiz Geneva College Vollzeit

    Work Hours/Schedule: The hours flex around the tutor's schedule. Each student (tutee) is allowed 7 hours of tutoring per course per semester. The amount of hours per week is dependent on the classes the tutor is available to tutor and the tutoring requests received by the SSC Primary purpose of position: The primary purpose of being a peer tutor is to...

  • Peer Tutor

    vor 3 Wochen

    Genf, Genf, Schweiz Start Emploi Vollzeit

    The Graduate Institute of International and Development Studies Geneva, Switzerland invites applications for a tenure-track, full-time position at the rank of ASSISTANT PROFESSOR of DEVELOPMENT MICROECONOMICS starting on 1 September 2024 or on a mutually agreed-upon date.The Geneva Graduate Institute is offering a tenure-track position in development...