Associate or Full Professor in Fundamental Theoretical Computer Science. - University of Geneva - Faculty of Science, University of Geneva - job portal | jobs.myScience

myscience.ch › job portal › Associate or Full Professor in Fundamental Theoretical Computer Science.


Warning: this advert is not valid anymore. (2023-11-01)
Associate or Full Professor in Fundamental Theoretical Computer Science.
University of Geneva Faculty of Science, University of Geneva
Published	6 September 2023
Closing Date	31 October 2023
Workplace	Geneva, Lake Geneva region, Switzerland
Category	Computer Science Pedagogy
Position	Professor
Job Start	1 August 2024
The Department of Computer Science of the Faculty of Science of the University of Geneva has an opening for a position for an Associate or 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.
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. Bachelor: Formal modeling tools including discrete modeling techniques and logic Bachelor: Semantics of programming languages Master: Formal modeling and verification of software
Requirements 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. In a continuing effort to enrich its academic environment and provide equal educational and employment opportunities, the University of Geneva actively encourages applications from women in higher education and is committed to a diverse academic community.
Contact and Address The application will include: - A letter of motivation - A detailed CV with 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 October 31st 2023, at the link https://www.unige.ch/sciences/fr/lafaculte/offresdemploi/ APPLICATIONS SENT BY EMAIL WILL NOT BE CONSIDERED. Further information can be obtained by writing to: scienceopeningsunige.ch
Web www.unige.ch/sciences

Apply online
Warning: this advert is not valid anymore. (2023-11-01)
In your application, please refer to myScience.ch and reference JobID 62160.