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

Updated: about 2 months ago
Location: Palaiseau, LE DE FRANCE
Job Type: FullTime
Deadline: 15 Apr 2024

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

15 Apr 2024 - 00:00 (Europe/Paris)
Type of Contract

Temporary
Job Status

Full-time
Hours Per Week

39
Offer Starting Date

1 Mar 2024
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 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.


Website for additional job details

https://institutminestelecom.recruitee.com/l/en/o/maitreconferenceinformatiquet…

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


Where to apply
Website

https://institutminestelecom.recruitee.com/l/en/o/maitreconferenceinformatiquet…

Contact
State/Province

Ile-de-France
City

Palaiseau
Website

https://www.telecom-sudparis.eu/
Street

19 place Marguerite Perey
Postal Code

91000
E-Mail

[email protected]

STATUS: EXPIRED

Similar Positions