En poursuivant votre navigation sur ce site, vous acceptez le dépôt de cookies dans votre navigateur. (En savoir plus)
Portail > Offres > Offre UMR7503-THOSTU-001 - Poste de chercheur postdoctoral en calcul formel (H/F)

Postdoctoral researcher position in symbolic computation (m/f)

This offer is available in the following languages:
Français - Anglais

Assurez-vous que votre profil candidat soit correctement renseigné avant de postuler. Les informations de votre profil complètent celles associées à chaque candidature. Afin d’augmenter votre visibilité sur notre Portail Emploi et ainsi permettre aux recruteurs de consulter votre profil candidat, vous avez la possibilité de déposer votre CV dans notre CVThèque en un clic !

Faites connaître cette offre !

General information

Reference : UMR7503-THOSTU-001
Workplace : VANDOEUVRE LES NANCY
Date of publication : Tuesday, January 29, 2019
Type of Contract : FTC Scientist
Contract Period : 13 months
Expected date of employment : 1 March 2019
Proportion of work : Full time
Remuneration : 2525 EUR
Desired level of education : PhD
Experience required : Indifferent

Missions

SYMBIONT is a bilateral interdisciplinary project funded by German DFG and French ANR with 8 participating research institutions in both countries. SYMBIONT ranges from mathematics via computer science to systems biology and systems medicine. The project has a clear focus on fundamental research on mathematical methods, and prototypes in software, which are in turn benchmarked against models from computational biology databases.

The principal approach of SYMBIONT is to combine symbolic methods with model reduction methods for the analysis of biological networks. In order to cope more effectively with the parameter uncertainty problem we impose an entirely new paradigm replacing thinking about single instances with thinking about orders of magnitude. Our computational methods are diverse and involve various branches of mathematics such as tropical geometry, real algebraic geometry, theories of singular perturbations, invariant manifolds and symmetries of differential systems. For further details see https://www.symbiont-project.org/.

Activities

The post-doc will carry out and publish project-related research, preferably in tropical geometry or real algebra. There is no teaching load.

Skills

We are seeking candidates with work experience in an international context and proficient command of English. The candidate is expected to take responsibility and work with only minimal supervision.

Work Context

The work will be performed within Veridis. Veridis is a joint research group of CNRS, Inria, Max-Planck-Institut für Informatik, and University of Lorraine. It consists of members of the Mosel research group at LORIA, Nancy, France, and members of the Automation of Logic group at Max Planck Institute for Informatics in Saarbrücken, Germany.

We talk about it on Twitter!