Skip to main content
EURAXESS

Assistant/Associate Professor in Theoretical Computer Science - Temporary contract - 36 months

IMT - Institut Mines-Télécom
1 Mar 2024

Job Information

Organisation/Company
TSP - Telecom SudParis
Department
SAMOVAR
Research Field
Computer science
Researcher Profile
First Stage Researcher (R1)
Country
France
Application Deadline
Type of Contract
Temporary
Job Status
Full-time
Hours Per Week
39
Offer Starting Date
Is the job funded through the EU Research Framework Programme?
Not funded by an EU programme
Reference Number
2024/15/TSP
Is the Job related to staff position within a Research Infrastructure?
No

Offer 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;

Requirements

Research Field
Computer science
Education Level
PhD or equivalent
Skills/Qualifications

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
Languages
FRENCH
Level
Excellent
Research Field
Computer science
Years of Research Experience
4 - 10

Additional Information

Benefits

FURTHER INFORMATION

- Deadline for applications: April 28th, 2024

- Audition expected date: May 29th, 2024

- Expected work start date: September 1st, 2024 (negotiale)

- Nature of the contract: Temporary contract - 36 months renewable

- 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.

Website for additional job details

Work 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
Geofield

Contact

State/Province
Ile-de-France
City
Palaiseau
Website
Street
19 place Marguerite Perey
Postal Code
91000
E-Mail
recrutements@imtbs-tsp.eu