Semana de Graduación 2017. Ofertas de empleo.

Las empresas que colaboran con la graduación de la ETSINF 2017 tiene abiertas diferentes ofertas de empleo Prácticas.

 

Oferta de Empleo en Onestic

 

Onestic​ ​ sigue​ ​ buscando​ ​ vida​ ​ inteligente

La​ ​ sonda​ ​ de​ ​ la​ ​ compañía​ ​ valenciana​ ​ de​ ​ sistemas​ ​ y ​ ​ e-commerce​ ​ prolongará​ ​ por​ ​ tiempo​ ​ indefinido​ ​ su  exploración​ ​ de​ ​ diversos​ ​ mundos​ ​ universitarios​ ​ a ​ ​ fin​ ​ de​ ​ encontrar​ ​ nuevos​ ​ seres​ ​ especializados​ ​ que  estén​ ​ dispuestos​ ​ a ​ ​ embarcarse​ ​ en​ ​ diferentes​ ​ misiones​ ​ y ​ ​ proyectos.

Onestic,​ ​ cuya​ ​ base​ ​ general​ ​ sigue​ ​ estando​ ​ en​ ​ Valencia,​ ​ opera​ ​ también​ ​ con​ ​ sus​ ​ oficinas​ ​ de​ ​ Madrid, Sevilla​ ​ y ​ ​ Sao​ ​ Paulo,​ ​ y ​ ​ se​ ​ encuentra​ ​ en​ ​ constante​ ​ evolución​ ​ para​ ​ poder​ ​ adaptarse​ ​ a ​ ​ las​ ​ dinámicas​ ​ de sus​ ​ nuevos​ ​ clientes​ ​ y ​ ​ de​ ​ su​ ​ propio​ ​ crecimiento.​ ​ No​ ​ es​ ​ una​ ​ mutación,​ ​ en​ ​ el​ ​ sentido​ ​ extraterrestre​ ​ de​ ​ la palabra,​ ​ pero​ ​ casi.​ ​ Por​ ​ eso​ ​ necesita​ ​ ampliar​ ​ sus​ ​ recursos​ ​ humanos​ ​ a ​ ​ una​ ​ velocidad​ ​ notable​ ​ pero también​ ​ con​ ​ un​ ​ nivel​ ​ de​ ​ exigencia​ ​ extraordinario.

En​ ​ Onestic​ ​ no​ ​ medimos​ ​ a ​ ​ nuestros​ ​ clientes​ ​ por​ ​ su​ ​ tamaño​ ​ sino​ ​ por​ ​ la​ ​ altura​ ​ de​ ​ sus​ ​ objetivos.  Si​ ​ crees​ ​ que​ ​ tu​ ​ preparación,​ ​ tu​ ​ cabeza​ ​ y ​ ​ tu​ ​ instinto​ ​ podrían​ ​ encajar​ ​ con​ ​ nuestra​ ​ forma​ ​ de​ ​ hacer​ ​ las cosas,​ ​ a ​ ​ Onestic​ ​ le​ ​ interesa​ ​ conocerte.​ ​ Y ​ ​ tranquilo,​ ​ la​ ​ experiencia​ ​ la​ ​ ponemos​ ​ nosotros.  Ahora​ ​ envíanos​ ​ una​ ​ señal,​ ​ de​ ​ cualquier​ ​ naturaleza.​ ​ O ​ ​ visita​ ​ nuestra​ ​ web.
Website​ ​ corporativa​ : ​ ​ https://onestic.com/
Website​ ​ recogida​ ​ CV:​​ ​ http://apuntaalto.onestic.com/

OFERTA​ ​ DE​ ​ TRABAJO:
Puesto:​​ ​ #sys
https://www.linkedin.com/jobs/view/427333

Empresas patrocinadoras del acto de graduación ETSINF 2017

La Rambleta  acoge el próximo 6 de octubre a las 18h de la tarde, el Acto de Graduación de los alumnos titulados en la Escuela Técnica Superior de Ingeniería Informática durante el curso 2016/2017.

La presente edición del Acto de Graduación esta patrocinada por las empresas  Edicom, F1-Connecting/Dialapplet, Management Solutions, Indra, Onestic y Sopra-Steria  Estas compañías colaboran de manera estrecha desde hace años con el centro y  han querido participar activamente en esta celebración.

 

 

 

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.