Start.inf prepara actividades de networking entre estudiantes de BBAA, ADE e informática

Desde Start.inf estamos preparando actividades en las que participen conjuntamente estudiantes de ingeniería informática, de Bellas Artes y de Administración y Dirección de Empresas (ADE).

El objetivo es generar y fomentar intereses comunes para intentar formar equipos mixtos que propongan conjuntamente proyectos de emprendimiento. Si tras los encuentros los participantes no consiguen encontrar la motivación necesaria para formar equipos, no pasa nada. Sólo pretendemos facilitar posibles colaboraciones.

Desde la perspectiva de los alumnos/as de informática los encuentros son una oportunidad para formar un equipo emprendedor con especialistas que colaboren en aspectos de diseño, tanto en el ámbito de videojuegos y animación, como en general para aspectos de diseño gráfico de un producto (habilidades de alumnos de Bellas Artes) o que colaboren en la gestión de lo que sería el lanzamiento del producto, constitución, gestión de la empresa, etc. (habilidades de alumnos de ADE).

Puedes participar aunque aún no tengas un equipo ni una idea de proyecto emprendedor. Solo necesitamos tu interés y ganas de interactuar con alumnos/as de otras escuelas.

Si estás interesado en participar en alguna de las actividades de networking que organicemos envía un correo antes del lunes 9 de octubre a startinf@inf.upv.es con asunto “Networking entre escuelas” indicando en el cuerpo tu nombre y curso.

También pueden participar equipos emprendedores ya formados y que quieran complementar su equipo con alumnos de otras escuelas. En este caso enviad un solo email indicando los integrantes del equipo y una explicación muy breve del proyecto de emprendimiento.

Posteriormente nos pondremos en contacto con los alumnos interesados y los convocaremos a una actividad de networking, para la cual acordaremos fecha y lugar (probablemente para realizarla en noviembre).

¡Anímate a participar!

 

Ofertas de Empleo – SIE


Perfil: Programador, SISTEMAS DE VISIÓN ARTIFICIAL en C++/C# para jornada completa en horario de mañanas (Valencia) 45386

Perfil: Developer en JAVA, SPRING, ANGULAR, JAVASCRIPT, etc. (Valencia) 45403

Perfil: Analista Programador, FINANCIERA PERTENECIENTE A MULTINACIONAL DE AUTOMOCIÓN (Madrid) 45426

Perfil: Soporte SISTEMAS, SCRIPTING y ANÁLISIS DE INCIDENCIAS (Valencia) 45432

 

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.