Post-Doctoral Research Visit F/M Post-doctoral in the semantics of quantum computation and graphical languages
Contexte et atouts du poste
As part of a national project on quantum computing, the aim is to develop a model for quantum computing, using graphical and categorical structures in particular.
Travel is financed by the project.
Mission confiée
Assignments :
With the help of Renaud Vilmard and Vladimir Zamdzhiev, the recruited person will be taken to develop a graphical and categorical framework for quantum computation.
For a better knowledge of the proposed research subject :
A state of the art, bibliography and scientific references are available at the following URL, do not hesitate to log in :
Principales activités
Main activities :
- Perform research
- Write publications
- Present research at seminars and colloquia
Additional activities :
- Attend seminars
- Participate in the team's activities.
Avantages
- Subsidized meals
- Partial reimbursement of public transport costs
- Leave : 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
- Possibility of teleworking (after 6 months of employment) and flexible organization of working hours
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage
Post-Doctoral Research Visit F/M Automatic porting of vulnerability-fixing patches using Coccinelle
These tools include: (i) Coccinelle, which provides a patch-like domain-specific language SmPL for matching and transforming code, (ii) Prequel, which adapts SmPL to the task of searching for changes in a git history, and (iii) Spinfer], which generalizes change examples (as could be identified usin...
Head of the Cybersecurity Architecture and Expertise Division (H/F)
Intrinsec opère de multiples solutions via ses services managés et souhaite étendre sa proposition en consolidant des compétences d'expertises techniques et de conseil en architecture réparties dans plusieurs activités, ainsi qu'en créant de nouveaux postes d'expertises qui seront rattachés à votre ...
Internship/Thesis (f/m/d) in the field of Autonomous Driving: Trajectory Optimization and Contr[...] (Basé à Paris)
You have profound knowledge in the field of control engineering and system theory, and advantageously in the areas of vehicle dynamics/system modeling. As part of our global team of over 36,000 employees, you will join us in turning visions of the future into reality. We tackle the challenging task ...
Research Engineer in AI-assisted Methods for Model Generation and Simulation of SoC Designs H/F
You will work in close cooperation with our interdisciplinary team of engineers and researchers on innovative research projects at European and national level as well as in industrial partnerships. We are looking for a highly skilled and motivated Research Engineer to join our team to develop cuttin...
Head of Renewable Energy Finance and M&A
The Head of Renewable Energy Finance and M&A will be reporting to the EVP of Finance and Corporate Strategy, you will be in charge of all project finance-related workstreams and M&A activities for Green H2 and Power-to-X projects globally. Assisting the business development team in negotiating proje...
Hybridization of semi-empirical models and machine learning models to assess the State-of-Health and predict the Remaining Useful Lifetime of lithium-ion batteries
Furthermore, this approach also suffers from the fact that it is built on the behavior of individual cells, whereas in real usage the cells are then used in modules and packs (corresponding to the association of individual cells in series and parallel, to obtain the expected voltage and capacity, re...
Doctoral (PhD) student position in mucosal vaccination
To evaluate in vivo the immunogenicity and efficiency of intranasal vaccine formulations in a murine model of influenza virus infection. In addition, the candidate is expected to have a scientific background in at least one of the following fields: immunology, epithelial cell biology, protein engine...
PhD position in Bayesian Causal Graph and uncertainty quantification – Application to the anomaly de
Within the LIAD laboratory (Laboratory of Artificial Intelligence and Data Science) belonging to the SGLSservice (Software Engineering Service for Simulation), you will work in a team specialized in handling un-certainties in numerical simulation. This PhD position is part of a collaboration between...
Consultant in Management, securization, and optimization of risks (W/M)
Clients support in their operations' transformation: understanding, redesign of existing processes, identification and review of operational and financial risks, simplification and optimization of controls, training of client teams. With a Master degree, from a major business school, engineering or ...
Futerro's CEO speaking about how Europe could achieve the full potential of the bioeconomy in i[...]
This Digital Dialogue has made stock of the developments made, as indicated in the recently-released EU Bioeconomy Strategy Progress Report which reveals promising and steady progress, and invited key voices from the European institutions, industry and civil society to examine:. Frédéric Van Gansber...