Job title:
Assistant/Associate Professor in Theoretical Computer Science – Temporary contract – 36 months
Company:
Job description
Offer DescriptionFIELDS CONCERNEDAssistant/Associate professor will be hired at the at TSP, either in team or . 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 ( , , ).EXPECTED PROFILEIn 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. Research1.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 areasThe 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: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)
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;RequirementsResearch Field Computer science Education Level PhD or equivalentSkills/QualificationsLEVEL OF EDUCATION AND/OR EXPERIENCE REQUIREDPhD 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
Languages FRENCH Level ExcellentResearch Field Computer science Years of Research Experience 4 – 10Additional InformationBenefitsFURTHER 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 associationApplication 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.Website for additional job detailsWork Location(s)Number of offers available 1 Company/Institute Télécom SudParis Country France State/Province Ile-de-France City Palaiseau Postal Code 91000 Street 19 place Marguerite PEREY GeofieldWhere to apply WebsiteContact State/ProvinceIle-de-France CityPalaiseau WebsiteStreet19 place Marguerite Perey Postal Code91000 E-Mail[email protected]STATUS: EXPIRED
Expected salary
Location
Palaiseau, Essonne
Job date
Mon, 04 Mar 2024 05:59:53 GMT
To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesin.eu) you saw this job posting.
