Your job alert was successfully created.
CEA Tech
Post Doc - Trustable Robotics and Autonomous Systems
CEA Tech
CEA Tech is building on CEA Leti’s successful track record innovating for industry.
Visit employer page
JOB DETAILS
Published: 1 month ago
Application deadline: Unspecified
Location: Grenoble, France
Please mention that you found this job on Academic Positions when applying.
SHARE THIS JOB

Post Doc - Trustable Robotics and Autonomous Systems

PsD-DRT-18-0091

RESEARCH FIELD

Computer science and software

ABSTRACT

The complexity of robotics and autonomous systems (RAS) can only be managed with well-designed software architectures and integrated tool chains that support the entire development process. Model-driven engineering (MDE) is an approach that allows RAS developers to shift their focus from implementation to the domain knowledge space and to promote efficiency, flexibility and separation of concerns for different development stakeholders. One key goal of MDE approaches is to be integrated with available development infrastructures from the RAS community, such as ROS middleware, OROCOS for real-time control, OpenCV for computer vision, or Gazebo for simulation.The goal of this post-doc is to investigate and develop modular/compositional and predictable software architectures and interoperable design tools based on model-based (instead of code-centric) approaches. The work must be performed in the context of European projects such as RobMoSys (www.robmosys.eu), and other initiatives on assurance of robotics and autonomous systems. The main industrial goal is to simplify the effort of RAS engineers and thus allowing the development of more advanced, more complex autonomous systems at an affordable cost. In order to do so, the postdoctoral fellow will contribute to set-up and consolidate a vibrant ecosystem, tool-chain and community that will provide a unified model-based design, simulation, safety assessment and formal validation and verification environment.

LOCATION

Département Ingénierie Logiciels et Systèmes (LIST)

Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués

Saclay

CONTACT PERSON

ESPINOZA ORTIZ Huascar

CEA

DRT/DILS//LISE

CEA SaclayDRT/LIST/DILS/LSEA91191 Gif-sur-YvetteFrance

Phone number: 0699946076

Email: huascar.espinoza@cea.fr

START DATE

As soon as possible

« The age limit is 26 years for PhD offers and 30 years old for post-doc offers. »

Apply now

APPLY FOR THIS JOB

Personal details
Upload your CV and attachments
The file format must be a .doc, .pdf, or .rtf, and the file cannot exceed 2 MB in size.
The file format must be a .doc, .pdf, or .rtf, and the file cannot exceed 2 MB in size.

By applying for a job listed on Academic Positions you agree to our terms and conditions and privacy policy.

170 JOBS FROM THIS EMPLOYER

CEA Tech
CEA Tech
Location: Grenoble, France
Post Doc - BIOELECTRONICS ON PROTEIN FIBRILS
PsD-DRT-18-0092 RESEARCH FIELD Biotechnology, biophotonics ABSTRACT Amyloid fibers have long been known as a biological marker of neurodegenerative diseases. Fifteen years ago, they were discovered to play a key role in many biological functions within...
CEA Tech
CEA Tech
Location: Grenoble, France
Post Doc - Photothermal active hydrogel-based microneedles for the delivery of insulin
PsD-DRT-18-0113 RESEARCH FIELD Materials and applications ABSTRACT Microneedles (MN) array offer a highly promising solution for overcoming the barrier that the skin creates to deliver small molecular as well as macromolecular therapeutics. Drug delivery...
CEA Tech
CEA Tech
Location: Grenoble, France | Closing on Oct 31
PhD position - 3D Objects discovery in 3D scene
SL-DRT-18-1039 RESEARCH FIELD Computer science and software ABSTRACT Object detection and localization in images is a problem studied since many years. The latest technological developments now allow the real-time acquisition of depth data coupled to color...
CEA Tech
CEA Tech
Location: Grenoble, France | Closing on Oct 31
PhD position - Towards a logics and tooled framework for the refinement and verification of properties that improve privacy and data protection in systems
SL-DRT-18-1044 RESEARCH FIELD Computer science and software ABSTRACT The overall objective of this PhD is to define, specify and deploy a formal framework (logics) which allow to (1) model systems including data processes, and (2) verify properties related...