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.

Valencian Summer School in Machine Learning

Valencian Summer School in Machine Learning

September 14-15, 2017, Valencia, Spain

Machine Learning is enabling a transformation in the software industry without precedents. New Machine Learning powered predictive applications are performing jobs that so far were considered exclusive to highly skilled humans. We are already witnessing a new wave of productivity growth that is changing the face of all sectors of the economy.

BigML is bringing the third edition of our Summer School in Machine Learning to Valencia. We will hold a two-day course for advanced undergraduates as well as graduate students, and industry practitioners seeking a quick, practical, and hands-on introduction to Machine Learning. The Summer School will serve as a good introduction to the kind of work that students can expect if they enroll in advanced Machine Learning masters.

Internship en Telefónica Research


Telefónica Research  está interesada en estudiantes de máster o doctorado relacionados con  informática con los conocimientos siguientes:

We are looking for someone who is good in making sense of data, analytical skills (pandas, R, etc.), and who can commit to the project during this summer or fall.

Es aconsejable tener experiencia en investigación, ya que el estudiante se integraría en equipos de trabajo que están desarrollando proyectos de investigación en temas de Smart Cities y Big Data para Telefónica Research.

La beca se desarrollaría en las oficinas de la empresa en Barcelona durante este verano/otoño. La beca está dotada con una bolsa económica.

Los interesados deben enviar su CV en inglés antes del martes 20 de junio (incluido) a la dirección “upe_inf@upvnet.upv.es” con el asunto “Beca Telefónica Research”

Internship en Honda Research Japan

Honda Research está interesada en estudiantes de máster o doctorado relacionados con  informática con los conocimientos siguientes:

Programming Skills

C++    (Solid background)

Python, Networking,  others.

Preferred Skills:

Machine Learning, Neural Networks (Tensorflow or similar framework), Image Processing, and/or any general experience in Artificial Intelligence.

La internship será de 6 a 8 meses en el Honda Research Institute Japan Co., Ltd.. Ellos se encargarían del desplazamiento, el alojamiento y la manutención.

Los interesados deben enviar su CV en inglés antes del martes 20 de junio (incluido) a la dirección “upe_inf@upvnet.upv.es” con el asunto “Beca Honda”

 

Smart Thinkers @ IBM – Talent Network event – 24 de abril – IBM Client Center Madrid

Este evento de Smart Thinkers es el punto de encuentro de los disruptores de los mundos de la tecnología y la innovación; Pensadores y hacedores. Queremos celebrar todo lo nuevo. Creemos que deberías estar allí.
Envíanos tu CV antes del 30 de marzo y cuéntanos cuál es tu motivación para ser parte de esta experiencia única – es un formato abierto, así que puedes mandarnos un video, una carta
de motivación, una foto con una historia interesante… lo que prefieras!

Smart Thinkers – Flyer
¡Demuestra que eres uno de nosotros! #SmartThinkers @IBM

Sumérgete en el mundillo startup y convalida ECTS


Sumérgete en el mundillo startup y convalida ECTS

Reserva tu plaza en nuestros cursos gratuitos y convalidables por ECTS.

Todo el mundo está hablando de startups y emprendedores. Oyes campanas y nosotros queremos ayudarte a entenderlas. Sabemos que te atrae el mundo del emprendimiento y quieres adentrarte en él. ¡No te lo pienses!

Te presentamos el itinerario [EMPRENDE], compuesto por:

  • Day[EMPRENDE]

o   Día: miércoles 15 de febrero de 2017 

o   Horario: de 16.00 a 21.00 horas 

o   Lugar: Salón de actos ETSINF (Edificio 1E Campus de Vera) 

o   Jornada GRATUITA 

o   Convalidable por 0,33 ECTS 

o   Va dirigido a todas aquellas personas que quieran iniciarse en este mundo, o conocer de qué va. Se explicarán conceptos básicos e ideas de negocio 

o   Conoce STARTUPV -el ecosistema emprendedor de la UPV- y algunas de las empresas creadas por estudiantes como tú, aprende los conceptos básicos de la filosofía “Lean Startup” y descubre los modelos de negocio de empresas de moda 

 » INSCRÍBETE  

  • Week[EMPRENDE]    

o   Días: del lunes 20 de febrero al jueves 23 de febrero de 2017

o   Horario: de 16.00 a 20.00 horas

o   Lugar: Aula B6 del Edificio 4G (Edificio II de Caminos, frente a la piscina). Planta baja.

o   Curso GRATUITO

o   Convalidable por 0,67 ECTS

o   Se trata de un curso intensivo y fundamentalmente práctico que reunirá a alumnos con espíritu emprendedor para desarrollar ideas y simular cómo llevarlas a la realidad. Todo ello de manera colaborativa y en 4 días.

o   Dirigido a alumnos inquietos. Si tienes una idea: Asiste con tu equipo, o encuentra a tu equipo en el Week[EMPRENDE]. Si no tienes una idea, forma parte de un equipo y aporta tus conocimientos y ganas de trabajar.

» INSCRÍBETE

  • Think[EMPRENDE]

o   Charlas motivacionales, donde se podrán conocer casos de éxito de alumnos y egresados UPV, así como aprender de la mano de Ideas UPV cómo dar los primeros pasos para desarrollar su idea dentro de la UPV.

o   Fechas por confirmar

o   Más información: ideas@ideas.upv.es

  • Campus[EMPRENDE]

o   Curso intensivo dirigido a personas que pretendan emprender de manera inmediata su propio proyecto empresarial.

o   Más extenso y práctico que el Week[Emprende]

o   Fechas por confirmar

o   Más información: ideas@ideas.upv.es

El itinerario está planteado de manera secuencial, de modo que se empieza por unas pinceladas generales en el Day y se acaba de manera intensiva y práctica en el Campus.

No es imprescindible asistir a todo, aunque sí recomendable si tienes una idea y quieres llevarla a cabo, ¡o simplemente aprender!

Para más información:

www.ideas.upv.es

ideas@ideas.upv.es

Deloitte Summer Xperience – 2ª Edición


Lanzamiento de la 2ª edición del Deloitte Summer Xperience.

Se trata de una universidad de verano en la que 100 estudiantes que han comenzado ahora su penúltimo año de carrera convivirán durante una semana para formarse teórica, técnica y competencialmente de la mano de los profesionales de Deloitte.

Podéis ver información sobre la 1ª edición y la vía de inscripción aquí.

Telefónica y la FUE ofrecen 100 plazas de prácticas para universitarios a través de su programa “Talentum Mood”

fue-telefonica

Telefónica y la Fundación Universidad-Empresa han puesto en marcha el programa de captación de talento “Talentum Mood”. Este proyecto ofrece 100 plazas de prácticas para estudiantes de Ingeniería de Telecomunicaciones, Ingeniería Informática, Administración de Empresas y Marketing, entre otras carreras y las prácticas se llevarán a cabo en las sedes de Madrid, Barcelona, Granada, Valladolid y Huesca a partir del mes de marzo de 2017.

El programa tiene como objetivo captar el mejor talento joven para ofrecerles la oportunidad de conocer el mundo laboral y seguir formándose en la materia que hayan estudiado.

Los estudiantes interesados en participar en “Talentum Mood” podrán registrarse a través de la website del programa hasta el 31 de diciembre. Los candidatos deberán superar las pruebas del proceso de selección para tener una entrevista personal con un mánager de Telefónica. Durante el mes de febrero se comunicarán los seleccionados.

Más información: Click aquí