Postdoctoral position theoretical computer science

il y a 4 semaines


Montpellier, Occitanie, France Universite de Montpellier Temps plein


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

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

Contact


City
Montpellier
Website

Street
163 rue Auguste Broussonnet
Postal Code
34000
E-Mail

STATUS: EXPIRED


View or Apply

To help us track our recruitment effort, please indicate in your email – cover/motivation letter where ) you saw this job posting.



  • Montpellier, Occitanie, France Universite de Montpellier Temps plein

    15 Nov 2023Job Information Organisation/CompanyUniversite de MontpellierDepartmentHuman ResourcesResearch FieldEngineering » Water resources engineeringResearcher ProfileFirst Stage Researcher (R1)CountryFranceApplication Deadline15 Dec 2023 – 23:59 (Europe/Paris)Type of ContractTemporaryJob StatusFull-timeHours Per Week38Offer Starting Date1 Jan 2024Is...


  • Montpellier, Occitanie, France Universite de Montpellier Temps plein

    15 Nov 2023Job Information Organisation/CompanyUniversite de MontpellierDepartmentHuman ResourcesResearch FieldEnvironmental science » Water scienceResearcher ProfileFirst Stage Researcher (R1)CountryFranceApplication Deadline15 Dec 2023 – 23:59 (Europe/Paris)Type of ContractTemporaryJob StatusFull-timeHours Per Week38Offer Starting Date1 Jan 2024Is the...


  • Montpellier, Occitanie, France Danaher Corporation Temps plein

    Be part of something altogether life-changingWorking at Cytiva means being at the forefront of providing new solutions to transform human health. Our incredible customers undertake life-saving activities ranging from fundamental biological research to developing innovative vaccines, new medicines, and cell and gene therapies.At Cytiva you will be able to...


  • Montpellier, Occitanie, France FLORIAN MANTIONE INSTITUT Temps plein

    Quelles sont les missions ?DIRECTEUR DE L'INNOVATION PEDAGOGIQUE (F/H) Sous l'autorité du Secrétaire Général de l'Association régionale, vous serez membre du Codir plénier, au sein de l'équipe régionale composée de 29 collaborateurs.Votre rôle reposera à la fois sur un management : - Direct : auprès d'une équipe de 4 chargés de mission-...

  • Developpeur Software F/H

    il y a 7 jours


    Montpellier, Occitanie, France GE Vernova Temps plein

    Job Description SummaryGE Vernova is a planned, purpose-built global energy company that includes Power, Wind, and Electrification segments and is supported by its accelerator businesses of Advanced Research, Consulting Services, and Financial Services.Building on over 130 years of experience tackling the world's challenges, GE Vernova is uniquely positioned...

  • Docteur R&d

    il y a 1 mois


    Montpellier, France RD2 CONSEIL Temps plein

    Descriptif du poste Dans le cadre du renforcement de ses équipes, notre client cherche à recruter un Docteur R&D (H/F) en Intelligence Artificielle, en particulier disposant d’une expertise en Computer Vision. Rattaché(e) au CTO vous participerez activement au développement et à l’amélioration du produit. **Vos principales missions consisteront...


  • Montpellier, France CNRS Temps plein

    Cette offre est disponible dans les langues suivantes: - Français - Anglais Date Limite Candidature : mardi 27 février 2024 **Informations générales**: **Intitulé de l'offre **:Chercheur postdoctoral en biologie (H/F)** Référence : UMR5535-SARADE-048 Nombre de Postes : 1 Lieu de travail : MONTPELLIER Date de publication : mardi 6 février 2024 Type...


  • Montpellier, France INRIA Temps plein

    Contexte et atouts du poste This research project is conducted in the framework of the project NOCIME (New Observation and Control Issues Motivated by Epidemiology), funded by the French National Research Agency (ANR) on the period 2024-2026 (three years). We are offering a 2-year position for a young PhD. Contracting may be immediate, and has to be...


  • Montpellier, France CIP Temps plein

    The International Potato Center (CIP)is looking for an experienced Science Leader, Urban Food Systems to oversight thedevelopment and implementation of an innovative and impactful program ofresearch in support of the ‘Urban Food Systems’ Science Goal of the CIP2030Strategy. The position: The ScienceLeader will lead the development and implementation...

  • Medical Science Liaison

    il y a 1 mois


    Montpellier, France BioTalent Temps plein

    Title: Medical Science LiaisonLocation: Remote based in France (Travel required – approximately 50-60% of the time across France).Hourly Rate: CompetitiveContract Type: ContractBioTalent is delighted to be partnered with an exciting Biotechnology company and we are on the hunt for a brand-new Medical Science Liaison to join the team on a fully remote,...


  • Montpellier, France Université de Montpellier Temps plein

    **Intégration de données et de modèles pour de la morphogénèse prédictive quantitative // Data and models integration predictive computational morphogenesis**: - Réf **ABG-122162** **ADUM-55903** - Sujet de Thèse- 03/04/2024- Contrat doctoral- Université de Montpellier- Lieu de travail- Montpellier cedex 5 - France- Intitulé du sujet- Intégration...


  • Montpellier, France INRAE-UMR IATE Temps plein

    The Agropolymer Engineering and Emerging Technologies joint research unit (UMR IATE 1208) brings together staff from INRAE, the University of Montpellier and Agro Institute. It develops a multi-disciplinary scientific approach to the study, processing and valorization of renewable resources from the agricultural, forestry and agrifood sectors. It is...

  • Faculté Des Sciences

    il y a 1 mois


    Montpellier, France Université de Montpellier Temps plein

    **DIRECTION DES RESSOURCES** **HUMAINES** **L’Université de Montpellier recrute un 27 Chargés des** **inscriptions administratives (F/H)** **Une université d’excellence** Université de recherche intensive, leader mondial en écologie, l’Université de Montpellier est un établissement public expérimental qui figure dans le top 200 du...


  • Montpellier, France INRIA Temps plein

    Contexte et atouts du poste The candidate will be part of the CAMIN team at INRIA. The PhD thesis will be funded conjointly by INRIA and INSERM. The aim of this project is (i) to reconstruct precisely, automatically and conti- nuously the volume of the brain exposed by craniotomy during neurosurgery and (ii) to reposition this volume distorted...


  • Montpellier, France AXLR satt Temps plein

    **Offre : Postdoc position in the electrocatalytic conversion of CO2 to ethylene**: The SATT AxLR is deployed on the Mediterranean arc of Occitanie. Its purpose is to increase the intensity of the transfer of technologies resulting from public research while perfecting the innovation process. As part of its development, it recruits**: Postdoc position in the...

  • Faculté Des Sciences

    il y a 7 jours


    Montpellier, France Université de Montpellier Temps plein

    **DIRECTION DES RESSOURCES** **HUMAINES** **L’Université de Montpellier recrute deux étudiants tuteurs pré** **rentrée (F/H)** **Une université d’excellence** Université de recherche intensive, leader mondial en écologie, l’Université de Montpellier est un établissement public expérimental qui figure dans le top 200 du classement...


  • Montpellier, France Pharmiweb Temps plein

    My Client, a leading Biotech focusing on developing BioAI solutions for the life science industry is searching for a SENIOR MACHINE LEARNING ENGINEER for their teamResponsibilities:Collaborate with researchers to develop machine-learning methods for computational biology problems.Assist in implementing and testing novel research ideas alongside research...


  • Montpellier, France CGI Temps plein

    Position Description: Big Data, Data Science, Data analyse, Data architecture, ... Ça n’a pas de secret pour vous ? Que vous commenciez votre carrière professionnelle ou que vous soyez spécialiste de l’une de ces disciplines, intégrer notre communauté Data, c’est l’assurance de progresser, innover, partager, vous certifier et rendre...


  • Montpellier, France CIP Temps plein

    The International Potato Center (CIP) is seeking a proactive andresponsible Systems Intern from the professional careers of Systems Engineering,Information Technology, Computer Science or related careers to be part of theInformation Technology team. The position : This position will be based in HQ-Lima, Peruand will report directly to the Information...


  • Montpellier, France SATT AxLR OCCITANIE MEDITERRANEE Temps plein

    The SATT AxLR is deployed on the Mediterranean arc of Occitanie. Its purpose is to increase the intensity of the transfer of technologies resulting from public research while perfecting the innovation process. As part of its development, it recruits**:Postdoc position in the electrocatalytic conversion of CO2 to ethylene (H/F)** **Project**: Our group has...


  • Montpellier, France CGI France Temps plein

    Position Description:Big Data, Data Science, Data analyse, Data architecture, ... Ça n'a pas de secret pour vous ? Que vous commenciez votre carrière professionnelle ou que vous soyez spécialiste de l'une de ces disciplines, intégrer notre communauté Data, c'est l'assurance de progresser, innover, partager, vous certifier et rendre service à nos...


  • Montpellier, France CGIAR Temps plein

    **Reports to**:CGIAR Director level **Supervising**:Part-time consultants, administrator (TBD) **Job grade**:TBC **Contract type**:Consultant, 12-month contract with probable extension **Time commitment**:Preferably February 2024 start, but no later than March 2024. Optimally, 4-5 days per week, with flexibility. See SCENARIOS below. **Location**:Remote...

  • Graduate Intern

    il y a 1 mois


    Montpellier, France CGIAR Temps plein

    Background: The NUTRI+4AID project is a two-year project (2023-24). Though the project officially commenced in February 2023, the activities will commence in 2024 to recruit an intern. The Position: The Gender and Food systems Graduate intern will provide support to the NUTRI+4AID project activities Key responsibilities: Value chain study in Uganda in...


  • Montpellier, France Inria Temps plein

    Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:CDD **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Doctorant **A propos du centre ou de la direction fonctionnelle**: Inria is a national research institute dedicated to digital sciences that promotes scientific excellence and transfer. Inria employs 2,400...

  • Associate Research Fellow

    il y a 2 semaines


    Montpellier, France IFPRI Temps plein

    Job Summary The Natural Resources and Resilience Unit of the Transformation Strategies Department of the International Food Policy Research Institute (IFPRI) seeks a qualified candidate to serve as Associate Research Fellow. This is a 2-year exempt, renewable position based in Washington, DC. The selected candidate will engage in comprehensive...