Indirizzo
Forma di lavoroJob description
FIELDS CONCERNED
Assistant/Associate professor will be hired at the SAMOVAR research laboratory at TSP, either in team ACMES or SCN. We are seeking an outstanding candidate in the field of Computer Science, with the ability to showcase a research project of international caliber within the realm of Theoretical Computer Science. The selected assistant professor will play a pivotal role in expanding the research boundaries of our laboratory, actively participating towards a strong collaboration with other teams from IP Paris Computer Science laboratories (LIX, LTCI, U2IS).
EXPECTED PROFILE
In the area of Theoretical Computer Science
- Conduct high quality research, obtaining novel results and applying them to the case studies at SAMOVAR laboratory;
- Lead a new group in the domain of Theoretical Computer Science and collaborate with SAMOVAR members, in one of the areas of formal methods, logic and symbolic AI with potential applications to security, machine learning, software engineering, etc.
- Participate to teaching in existing Computer Science and Software Engineering courses at TSP, as well as developing new ones, mostly at the graduate level.
1. Research
1.1 Production and animation
- Conduct collaborative and lead high quality research in the area of Theoretical Computer Science and possibly in its various application domains. The candidate should integrate one of the Samovar’s teams working on these domains (ACMES or SCN) and collaborate with other teams from IP Paris Computer Science laboratories (LIX, LTCI, U2IS, etc.);
- Develop a new research topic and/or reinforce existing ones to enhance the collaboration between the SAMOVAR’s members working on Theoretical Computer Science;
- (Co-) supervise graduate students, postdocs, research engineers;
- Apply to high quality national and European project calls (ANR JCJC, ERC grants).
1.2 Research areas
The research areas may include one of these domains (the list is non exhaustive): formal methods, software engineering, security and safety, symbolic AI, etc. Samovar research teams associated with these research areas are indicated in the following:
- ACMES team:
- Formal Methods and/or software engineering (Formal language theory, automata theory, and model-checking, Software testing, Correct design of algorithms and data structures, Software correctness and reliability)
- Foundations of data and knowledge based systems (Formal logic underlying the design of data schemas and query languages, symbolic reasoning, deductive and inductive methods, logical representation, formal ontologies, reasoning under inconsistency and uncertainty, computational logic and propositional satisfiability, symbolic reasoning and model interpretation)
- SCN Team:
- Cryptography (number-theory, curve-based, code-based), cybersecurity and coding theory, Formal verification of access control policies, Formal methods for software security including source level analysis and binary level analysis
2. Teaching
- Design and/or provide courses and other teaching activities in area of Computer Science and software/system engineering;
- Develop and propose new courses, mostly at the graduate level (Master of Computer Science), in the area of Theoretical Computer Science and related application domains;
Job requirements
LEVEL OF EDUCATION AND/OR EXPERIENCE REQUIRED
- PhD in the area of Computer Science or related field;
ESSENTIAL SKILLS, KNOWLEDGE AND EXPERIENCE
- Significant research experience in an internationally recognized academic or industrial laboratory of at least two years;
- Fluent written and spoken English.
- Outstanding quality publications in flagstaff international conferences and journals;
- Experience in (co-) supervision of graduate students;
- International research experience would be highly appreciated;
- Written and spoken French is highly appreciated.
ABILITIES AND SKILLS
- Organizational and leadership skills
- Writing and synthesis skills
- Relational and pedagogical skills
- Reactivity, initiative and rigor
- Ability to work in a team within national or international research contracts, in collaboration with academic and industrial partners
- Ability to negotiate and coordinate national, European and industrial contracts
- Ability to manage projects
FURTHER INFORMATION
- Deadline for applications: April 15th, 2024
- Audition expected date: May 29th, 2024
- Expected work start date: September 1st, 2024 (negotiale)
- Nature of the contract: Temporary contract - 36 months
- Location of the position : Palaiseau (France)
- The positions offered for recruitment are open to all with, upon request, accommodations for candidates with disabilities
- Working conditions : teleworking possible, on-site restaurant and cafeteria, accessibility by public transport (with employer's contribution) or close to main roads and staff association
> Application form (in one document) :
- detailed CV
- motivation letter
- a statement of further research and teaching activities at Telecom SudParis
- coordinates of at least two referees
- a list of the main publications
Additional elements ( integration statement, research and teaching statement, teaching records, reference letters, distinctions, etc.) are left to the appreciation of the candidate.
- For further information, applicants are invited to contact the head of Samovar lab: Pr. F. Desbouvries: francois.desbouvries@telecom-sudparis.eu
ACMES team: Pr. W. Gaaloul: walid.gaaloul@telecom-sudparis.eu
SCN team: Pr. J. Garcia-Alfaro: joaquin.garcia_alfaro@telecom-sudparis.eu
ABOUT US
Télécom SudParis (telecom-sudparis.eu), established in 1979 as the Institut national des télécommunications (INT), is a Grande École which belongs to the Institut Mines-Télécom (IMT) Group. As a "Grande Ecole", it trains tomorrow’s elite engineers and managers in the field of digital sciences and technology. It is a founding member of Institut Polytechnique de Paris.
SAMOVAR (http://samovar.telecom-sudparis.eu/) is the research laboratory of Telecom SudParis. It is the entity of the school evaluated by the HCERES (French research evaluation council). It regroups all the academic staff of Telecom SudParis, along with colleagues from ENSIIE doing research in Computer Science.
Institut Polytechnique de Paris (ip-paris.fr) is a public higher education and research institution comprising five prestigious French engineering Schools: École Polytechnique, ENSTA Paris, ENSAE Paris, Télécom Paris and Télécom SudParis. Under the aegis of the Institute, they bring together two centuries of expertise to pursue two major goals: to develop world-class training programs and cutting-edge research. Building on the strength of its five founding institutions, the Institut Polytechnique de Paris has established itself as a leading education and research institution in France and internationally. École Polytechnique, ENSTA Paris, ENSAE Paris, Télécom Paris and Télécom SudParis have contributed to major industrial and technological breakthroughs over the last two centuries. Their alumni include Nobel prize-winners and prominent figures in the worlds of politics, business and research.
Institut Mines-Télécom (imt.fr) is a public institution dedicated to higher education and research for innovation. It is a key player in the fusion of science, engineering and digital technology, and takes its schools’ skills into the major fields of transformation in digital technology, industry, energy and the environment as well as their impact on the industry of the future, cities, health, and autonomy.
Institut Mines-Télécom presentation video
