Oferta de empleo y/o prácticas en Edicom

EDICOM, empresa internacional especializada en instalaciones de comercio electrónico EDI y B2B, con sede central en Valencia y delegaciones en Europa y América necesita cubrir urgentemente 10 puestos de trabajo y/o prácticas en empleo para el área internacional de implantación SW en Valencia.

Se ofrece:

  • Incorporación inmediata al área de consultoría con posibilidades de promoción al área internacional de proyectos.
  • Carrera profesional y salarial seria.
  • Periodo de especialización EDI a cargo de la empresa (1 meses aprox).

Cualquier persona interesada deberá presentar CURRICULUM CON FOTO y expediente académico por email a la dirección iripoll@edicom.es a la atención de Ivan Ripoll ANTES DEL 10 de Octubre de 2017 (se dará prioridad a los primeros curriculums).

rrhh@edicom.es

Toda la información sobre la oferta en este documento de EDICOM

Programa Alstom Talent Energy: 45 plazas para recién titulados

La Fundación Universidad-Empresa ha lanzado con Alstom España una nueva convocatoria del programa Alstom Talent Energy, una iniciativa de excelencia académica y profesional que apuesta por los recién titulados.

En esta 4ª edición, Alstom Talent Energy ofrece un total de 45 plazas a titulados con distintos perfiles e interés por las infraestructuras de transporte ferroviario. Las plazas están destinadas a titulados en Ingeniería, Matemáticas, Diseño Industrial, Calidad, Ciencias Ambientales, Comunicación y Administración de Empresas, entre otras.

Gracias a esta iniciativa, los jóvenes graduados podrán combinar, en un único programa de 12 meses de duración, la formación de postgrado y la incorporación al mercado laboral. El objetivo es ofrecer a los recién titulados la oportunidad de formarse personal y profesionalmente en una compañía global como Alstom, líder mundial en el sector del transporte ferroviario. Para ello, se combina la realización de prácticas remuneradas con la incorporación al “Master GAIA in Decision Making and Innovation” de la Universidad de Alcalá. El Máster, que se imparte online y en inglés, no tiene coste alguno para los candidatos seleccionados.

Los jóvenes que se incorporen el próximo 13  de noviembre colaborarán en proyectos ferroviarios de ámbito nacional e internacional desarrollados por los equipos de Alstom España desde los centros de trabajo de la compañía en Madrid y Barcelona.

Los interesados deben inscribirse en www.fue.es/alstom antes del 16 de octubre de 2017

74 PRÁCTICAS EN EMPRESAS EN FORD ESPAÑA S.L. PARA LA REALIZACIÓN DE PRÁCTICAS EXTERNAS. CONVOCATORIA 2017/2018

Ford

INFORMACIÓN:

–          En el Servicio Integrado de Empleo (Edificio Nexus (6G), primer piso, ala este)
y en http://www.upv.es/contenidos/SIEPRACT/infoweb/siepract/info/787419normalc.html

PLAZO PRESENTACIÓN DE SOLICITUDES:

  • Hasta el 27 de septiembre de 2017 en el Servicio Integrado de Empleo (Edificio Nexus (6G), primer piso, ala este)..

CONVOCATORIA Y DOCUMENTACIÓN A PRESENTAR:

http://www.upv.es/contenidos/SIEPRACT/infoweb/siepract/info/787419normalc.html

CARACTERÍSTICAS GENERALES DE LA PRÁCTICA:

  • Desarrollo de prácticas externas en las instalaciones de Ford España S.L.
  • Duración: 8 meses
  • Jornada: De 8:30 a 14:00 horas
  • Cuantía de la Práctica: 420 €/mes brutos

PROCESO DE SELECCIÓN:

Se convoca a todos los alumnos presentados a las prácticas en empresa de Ford España, a una reunión que se celebrará el 2 de octubre a las 16:30 horas en el Salón de Actos de la Escuela Técnica Superior de Ingenieros Industriales. Todo estudiante que no acuda se entenderá que no está interesado, por lo que anulará su solicitud.

Cualquier estudiante que no cumpla los requisitos expuestos en la convocatoria o no se ajuste a las características de la práctica, podrá ser retirado en cualquier momento de su participación en el programa.

Anuncio de charla: NASA Langley Research Center

El próximo lunes 25 de septiembre a las 12:30h, en el salón de actos del edificio 1H de l’Escola Tècnica Superior d’Enginyeria Informàtica, Laura Titolo y Marco Feliu, miembros del grupo de investigación en métodos formales de NASA Langley, imparten un par de charlas sobre las tareas que están desarrollando actualmente en este centro de investigación de la NASA.

 

Formal methods for safety-critical avionics systems

Part 1: Dr. Laura Titolo
Static Analysis of Floating-Point Programs by Abstract Interpretation
Floating-point arithmetic is an efficient solution for approximating computations on real numbers, which has been extensively used over the past decades in a wide range of applications. The main drawback of floating-point computation is the presence of round-off errors that can make the final floating-point result very different from the one that would be obtained by using real arithmetic. This issue becomes problematic for safety-critical applications, such as aerospace and air-traffic control software. In fact, for these applications, even a small error can lead to catastrophic consequences. For this reason, it becomes essential to estimate the round-off error of floating-point computations in a sound and certified way.
In this presentation, a static analysis framework based on abstract interpretation is presented to deal with this problem.
The static analyzer PRECISA (Program Round-off Error Certifier vIa Static Analysis) implements this technique and automatically computes an over-approximation for the round-off error of an input program. In addition, it provides a certificate that can be externally checked by a theorem prover that ensures its soundness.
PRECISA has several features: it is fully-automatic, it is certified via PVS, it is able to deal with a wide variety of arithmetic functions, even non-continuous ones, it can handle the intrinsical instability of conditionals (if-then-else) and recursion in a sound way, and it is modular, supporting scalable analysis of complex programs.
Laura Titolo is a postdoctoral research scholar at the National Institute of Aerospace (Hampton, VA, USA) and member of the NASA Langley Formal Methods Team.
She received her PhD in Computer Science from the University of Udine in May 2014.
Her research interest include abstract interpretation, static analysis, automatic verification of hybrid systems, and numerical analysis of floating-point programs.
Part 2: Dr. Marco Feliu
Verification-driven development of ICAROUS based on automatic reachability analysis

The Integrated and Configurable Algorithms for Reliable Operations of Unmanned Systems (ICAROUS) is a software architecture being developed for the robust integration of mission-specific software modules and highly assured core software modules.
This talk presents the use of automatic reachability analysis during the development of ICAROUS, as a first step towards a broader formal verification effort of the software architecture.
It shows how simulation based on state-space exploration and LTL model checking has been performed on a formal executable specification of the system in rewriting logic.
Overall, this effort has unveiled issues such as deadlocks and undesired behavior, and has helped improve the ICAROUS design and source code.
Short bio:
Marco A. Feliu is a postdoctoral research scholar at the National Institute of Aerospace (Hampton, VA, USA) and member of the NASA Langley Formal Methods Team.
He received his PhD in Computer Science from the Universitat Politecnica of Valencia in October 2013.
His research interests include declarative programming languages, program analysis, and synthesis.

Premios CEMEX SOSTENIBILIDAD

El Aula Empresa CEMEX SOSTENIBILIDAD convoca tres premios para los mejores Proyectos de Fin de Carrera o Trabajos Fin de Grado  y tres premios para las mejores Tesis de Máster que hayan sido presentados en la Universidad Politécnica de Valencia en el Curso 2016-2017 (desde el 1/10/2016 al 30/9/2017) sobre temas relacionados con Sostenibilidad y Medio Ambiente. Estas convocatorias aparecen publicadas en http://catcemexsost.webs.upv.es/

La cuantía bruta de los premios será de:
1º Premio 1.000 € y diploma;
2º Premio 750 € y diploma;
3º Premio 500 € y diploma.

El plazo límite para la entrega de solicitudes es el 15 de octubre de 2017 en entrega por Oficina de Registro de la UPV o por correo electrónico a apalomar@iqn.upv.es (en este caso sólo hasta el 10 de octubre de 2017)

En los enlaces adjuntos se incluye la documentación a presentar.