Postdoctoral position theoretical computer science

Universite de Montpellier

vacanciesin.eu


29 Nov 2023
Job Information

Organisation/Company
Universite de Montpellier
Department
Human Resources
Research Field
Computer science
Researcher Profile
First Stage Researcher (R1)
Country
France
Application Deadline
15 Dec 2023 – 23:59 (Europe/Paris)
Type of Contract
Temporary
Job Status
Full-time
Hours Per Week
38
Offer Starting Date
1 Jan 2024
Is the job funded through the EU Research Framework Programme?
HE
Reference Number
2024-R0011
Is the Job related to staff position within a Research Infrastructure?
No

Offer Description

Projet « tremplin vers l’ERC » APACE :  The APACE project aims at using the links between MSO logic and tree-automata over decomposable graph classes to build an automatic theorem prover. Instead of using the tree-automaton corresponding to an MSO formula for “efficient” model checking (ie, verifying if a given graph has the desired property), we will analyze the tree-automaton to deduce properties of the whole graph class. The first objective is to prove algorithmic meta-theorems relying on this idea.  These algorithms will be implemented to form the APACE automatic prover. The final objective is to use the automatic-prover to obtain new collections of results about different decomposable graph classes.

The hired candidate is expected to contribute to the theoretical aspect of this project and in particular to the computational aspect related to bilinear operators.

 

Requirements

Research Field
Computer science
Education Level
PhD or equivalent

Skills/Qualifications

The applicants are expected to have a background in theoretical computer science. More precisely, the principal expected skills for this project are :

* computer algebra,

* linear algebra,

* graph theory or combinatorics,

The candidates are not expected to be experts in all of these subjects.

Research Field
Computer science

Additional Information
Selection process

Send your CV and cover letter, before 15th of december of 2023, by email at [email protected]

Work Location(s)

Number of offers available
1
Company/Institute
Laboratoire d’informatique, de robotique et de microélectronique de Montpellier (LIRMM)
Country
France
City
Montpellier
Postal Code
34000
Geofield

Where to apply

E-mail
[email protected]

Contact

City
Montpellier
Website
http://www.umontpellier.fr/
Street
163 rue Auguste Broussonnet
Postal Code
34000
E-Mail
[email protected]

STATUS: EXPIRED

View or Apply
To help us track our recruitment effort, please indicate in your cover//motivation letter where (vacanciesin.eu) you saw this job posting.

Job Location