Votre alerte-emploi vient d’être créée avec succès.

135 Offres en Sciences informatiques

Découvrez nos offres en Sciences informatiques et venez vous inscrire à nos alertes emploi pour rester à l'affût de nouvelles opportunités.

RÉSULTATS (135 EMPLOIS)
il y a 17 heures | Se termine le janv. 17
University of Nottingham
University of Nottingham
Localisation: Nottingham, Royaume-Uni | Se termine le janv. 17
10 Fully-Funded International PhD Studentships
Reference SCI1918 Closing Date Friday, 17th January 2020 Department Computer Science Applications are invited from International students only for a number of fully-funded PhD studentships in the School of Computer Science at the University of Nottingham, starting on...
il y a 21 heures
Software Developer Environmental Data Portal (60-80%)
Swiss Federal Institute for Forest, Snow and Landscape Research WSL   The Swiss Federal Institute for Forest, Snow and Landscape Research WSL is a part of the ETH domain. Approximately 500 people work on the sustainable use and protection of the environment and on the...
il y a 1 jour | Se termine le oct. 31
CEA Tech
CEA Tech
Localisation: Grenoble, France | Se termine le oct. 31
PhD - Modèle de programmation concret pour ordinateurs avec accélérateurs quantiques
SL-DRT-20-0364 DOMAINE DE RECHERCHE Nouveaux paradigmes de calculs, circuits et technologies, dont le quantique RÉSUMÉ DU SUJET Les ordinateurs quantiques permettront d'obtenir des performances de calcul inédites grâce à un mode de calcul très différent...
il y a 1 jour | Se termine le oct. 31
CEA Tech
CEA Tech
Localisation: Grenoble, France | Se termine le oct. 31
PhD position - Concrete Programming Model for computer with quantum accelerator
SL-DRT-20-0364 RESEARCH FIELD ABSTRACT Quantum computers will provide unprecedent performances thanks to a very different computing model from the classic computers. The information medium is no longer a 2 states bit but a qbit carrying analog...
il y a 1 jour | Se termine le oct. 31
CEA Tech
CEA Tech
Localisation: Grenoble, France | Se termine le oct. 31
PhD - Algorithmes prouvés de simplification et de résolution pour la preuve de programmes
SL-DRT-20-0396 DOMAINE DE RECHERCHE Cybersécurité: hardware et software RÉSUMÉ DU SUJET La plateforme Frama-C développée au CEA permet la vérification formelle de programmes critiques. Elle est utilisée de manière industrielle dans différents...
il y a 1 jour | Se termine le oct. 31
CEA Tech
CEA Tech
Localisation: Grenoble, France | Se termine le oct. 31
PhD position - Proved simplification engine for software deductive verification
SL-DRT-20-0396 RESEARCH FIELD ABSTRACT The Frama-C platform developped at CEA is dedicated to formally establish the absence of bugs in critical sofwares. It is used at an industrial scale in various domains, such as avionics and energy production...
il y a 1 jour | Se termine le janv. 15
University of Konstanz
University of Konstanz
Localisation: Konstanz, Allemagne | Se termine le janv. 15
Doctoral Position in Computer and Information Science
(fulltime, E 13 TV-L) Reference number 2019/282. The position is available for two years and can be prolonged after this initial phase. The start date will be January 15, 2020 or by agreement. In principle, this position can be divided into two part-time positions. The...
il y a 1 jour | Se termine le janv. 31
KTH Royal Institute of Technology
KTH Royal Institute of Technology
Localisation: Stockholm, Suède | Se termine le janv. 31
Postdoc in Machine Learning in Computational Biology
KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering universities, as well as a key centre of intellectual talent and innovation. We are Sweden’s largest technical research and learning institution and home to...
il y a 1 jour | Se termine le janv. 15
Fraunhofer ITWM, Kaiserslautern
Fraunhofer ITWM, Kaiserslautern
Localisation: Kaiserslautern, Allemagne | Se termine le janv. 15
Early stage researcher (THREAD ESR 11) »Simulation of inelastic Cosserat rods and experimental investigation of their effective constitutive properties«
THREAD addresses the mechanical modelling, mathematical formulations and numerical methods for highly flexible slender structures like yarns, cables, hoses or ropes that are essential parts of high-performance engineering systems. The complex response of such structures in real...
il y a 1 jour | Se termine le mars 01
University of Antwerp
University of Antwerp
Localisation: Antwerpen, Belgique | Se termine le mars 01
Academic staff, High performance computing - 2019BAPFWETEF336
The HPC core facility CalcUA of the University of Antwerp is hiring two full-time (100%) colleagues. The VSC (Vlaams Supercomputer Centrum) supports the HPC (high performance computing) activities in all Flemish university associations (www.vscentrum.be) for more than 10...