- Recherche d'emploi
- Genève, GE
- science politique
Science politique Offres d'emploi - Genève, GE
Créer une alerte d'emploi pour cette recherche
Science politique • geneve ge
Full Professor in Fundamental Theoretical Computer Science
University of GenevaCarouge, Switzerland- Offre sponsorisée
Professeur particulier d'Anglais à Genève
SuperProfGenève, CHPricing Analyst
UnimanGenève, CHCONSULTANCY : Open Science Conference reporting consultant (Remote)
WMOGeneva, SwitzerlandAgent d'accueil et vente Portail de la Science
SercoGenève, SwitzerlandProfesseur-e en Aménagement urbain et transition écologique
Université de GenèveGeneve, CH- Offre sponsorisée
Développeur Front Arena
AstrelyaGeneva, Switzerland- Offre sponsorisée
Un E Infirmier Iere Responsable D’unite
Butini PatioOnex, CHSecrétaire général-e adjoint-e 3 à 70-80%
Republique et Canton de GeneveGenève, CHTravailleurs Sociaux Ou Travailleuses Sociales Hors Murs À 80%
Ville de GenèveGenève, Switzerland, CH- Offre sponsorisée
Travailleur Social H / f, 80%, Cdi - Unité Désendettement - Direction Insertion Et
Hospice généralGenève, CHAuxiliaire Juriste À 100% Pour Une Durée De 6 Mois
Ville de Genève - Gérance Immobilière MunicipaleGenève, Switzerland, CHAdjoint Ou Adjointe De Direction, Responsable De L'Unité Logisitque
Ville de Genève Service des écoles et institutions pour l'enfanceGenève, Switzerland, CHEducateurs Ou Éducatrices De L'Enfance À 100%
Ville de Genève - Service de la petite enfanceGenève, Switzerland, CHChargé de Projets / Ingénieur Science des Matériaux H / F
InterimaGenève (canton)Online Adjunct Faculty, Science
Geneva CollegeGeneva, SwitzerlandAssociate Patent Counsel - Data Science
DSMMeyrin-Satigny, SwitzerlandTechnical Studentship - Material & Surface Science 2025-2
CERNGeneva, SwitzerlandFull Professor in Fundamental Theoretical Computer Science
University of GenevaCarouge, SwitzerlandThe 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.
Job description
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 an 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
Complementary information
The application should include :
Applications must be submitted exclusively online, before 31st October 2023, at the link
APPLICATIONS SENT BY EMAIL WILL NOT BE CONSIDERED.