Job Vacancies at Madeira-ITI

Research Fellow positions in Human-Computer Interaction

Research fields: Interactive Media Design or Entertainment Technology

Applications are invited for three Research Fellow positions (Investigador Auxiliar) at the University of Madeira, Madeira Interactive Technologies Institute (Madeira-ITI) - Madeira Island - Portugal.
The positions are open for a period of three years under the framework of the Carnegie Mellon|Portugal agreement and the Programa Ciencia. Faculty will be involved in the joint MHCI and MET programs with the HCI Institute and the Entertainment Technology Center of the Carnegie Mellon University. The gross salary is approximately 43,500 Euros per year. Benefits include government officials health system, social security and 25 working days of paid vacation. Candidates will have immediate access to research grants.

Required degree: PhD

2 August, 2010
More details
ZON Service Engineering - Summer Internship Position #2 (CS)

 

Software Developer for Model Transformation

The project ZON Service Engineering, a collaboration of Madeira-ITI, Madeira Tecnopolo, ZON Madeira, Faculdade de Engenharia da Universidade do Porto and University of Hawaii, is searching for an enthusiastic computer science student or recently graduated student to work on this project for 3 months in a paid internship.

8 July, 2010
More details
ZON Service Engineering - Summer Internship Position #1 (CS)

 

Software Developer for User Interface Components 

The project ZON Service Engineering, a collaboration of Madeira-ITI, Madeira Tecnopolo, ZON Madeira, Faculdade de Engenharia da Universidade do Porto and University of Hawaii, is searching for an enthusiastic computer science student or recently graduated student to work on this project for 3 months in a paid internship.

8 July, 2010
More details
Interaction Designer (14 months)

The Madeira Interactive Technologies Institute and Inovisoft are hiring researchers and professionals to work on a novel and exciting project entitled "SPAEN" aimed at revolutionizing corporate email.

1 September, 2010
More details
Social network analyst (14 months)

The Madeira Interactive Technologies Institute and Inovisoft are hiring researchers and professionals to work on a novel and exciting project entitled "SPAEN" aimed at revolutionizing corporate email.

1 September, 2010
More details
System developer (14 months)

The Madeira Interactive Technologies Institute and Inovisoft are hiring researchers and professionals to work on a novel and exciting project entitled "SPAEN" aimed at revolutionizing corporate email.

1 September, 2010
More details
Madeira Life - Summer Internship Position (EE)

Electronics Prototyping of Interactive Installations

The project Madeira Life, a collaboration of Madeira-ITI, Madeira Tecnopolo, ZON Madeira, and Carnegie Mellon University, is searching for an enthusiastic student or recently graduated student with a background in electronics to work on this project for 3 months in a paid internship. The candidate should be interested in electronic prototyping using tools such as Arduino and Processing.

13 June, 2010
More details
Madeira Life - Summer Internship Position (CS)

Software Developer for prototypes of mobile and web applications

The project Madeira Life, a collaboration of Madeira-ITI, Madeira Tecnopolo, ZON Madeira, and Carnegie Mellon University, is searching for an enthusiastic computer science student or recently graduated student to work on this project for 3 months in a paid internship.

The work in this internship will be hands on, in close collaboration with the project’s team members, and under the supervision of one of the current team members. Duties include: analyzing specific problems, development and evaluation of software for innovative research prototypes in Madeira Life.

28 May, 2010
More details
WeSP - Summer Internship Position

Construction of a Compiler from B to JML

Applications are invited for an internship at the Madeira Interactive Technologies Institute (M-ITI) in the WeSP project (Web Security and Privacy), funded by Carnegie Mellon University and Portugal (http://www.cmuportugal.org/). The position is based in Madeira, Portugal  (http://www.madeiraislands.travel/pls/madeira/wsmwhom0.home?p_lingua=en&p...).

About the Candidate

We seek a candidate with a background in Computer Science and knowledge about compilers. Background in B and/or JML formal methods is an asset.

until filled
More details
AEminium - Summer Internship Position #3

A Weakest-Precondition Based Access Permission Checker

Applications are invited for an internship at the Madeira Interactive Technologies Institute (M-ITI) in the AEminium project (Freein Programmers from the Shackles of Sequentiality), funded by Carnegie Mellon University and Portugal (http://www.cmuportugal.org/). The position is based in Madeira, Portugal  (http://www.madeiraislands.travel/pls/madeira/wsmwhom0.home?p_lingua=en&p...).

About the Candidate

We seek a candidate with a strong background in Computer Science and some knowledge about concurrency. A strong programming skill is a must and previous knowledge of OCaml and Java is an asset.

until filled
More details
AEminium - Summer Internship Position #2

Development of a Prototype Tool to Infer Typestates and Access Permissions Specifications

Applications are invited for an internship at the Madeira Interactive Technologies Institute (M-ITI) in the AEminium project (Freein Programmers from the Shackles of Sequentiality), funded by Carnegie Mellon University and Portugal (http://www.cmuportugal.org/). The position is based in Madeira, Portugal  (http://www.madeiraislands.travel/pls/madeira/wsmwhom0.home?p_lingua=en&p...).

About the Candidate

We seek a candidate with a strong background in Computer Science and some knowledge about concurrency. A strong programming skill is a must and previous knowledge for a program analysis is an asset.

until filled
More details
AEminium - Summer Internship Position #1

A Case Study on the Verification of Programs Using The Plural Tool

Applications are invited for a Research Assistant position at the Madeira Interactive Technologies Institute (M-ITI) in the AEminium project (Freein Programmers from the Shackles of Sequentiality), funded by Carnegie Mellon University and Portugal (http://www.cmuportugal.org/). The position is based in Madeira, Portugal  (http://www.madeiraislands.travel/pls/madeira/wsmwhom0.home?p_lingua=en&p...).

About the Candidate

We seek a candidate with a strong background in Computer Science and some knowledge about concurrency. Previous knowledge of a formal specification language or formal methods is an asset.

until filled
More details
FAVAS - Research Assistant Position

PhD Position on Formal Methods for Real-Time Systems

Applications are invited for 1 Research Assistant position funded by FCT as part of the Favas project, which involves departments at University of Madeira / M-ITI (http://www.m-iti.org), University of Beira Interior, and University of Minho, Portugal, and Critical Software. The position is based in Madeira, Portugal  (http://www.madeiraislands.travel/pls/madeira/wsmwhom0.home?p_lingua=en&p...).

About the Position.

We seek a candidate with a strong background in Computer Science. His/her work will focus on investigating methodologies and tools for the verification of real-time systems. The ideal candidate will have a first degree in Computer Science and/or Mathematics. Successful candidates may opt to apply for a PhD degree at University of Madeira.

until filled
More details
AEminium - Research Assistant Position

PhD Position on Formal Methods and Concurrency

Applications are invited for 1 Research Assistant position (PhD position) funded under the Carnegie Mellon University & Portugal partnership (http://www.cmuportugal.org/). The selected candidate will be part of a multidisciplinary research program (Aeminium) involving departments at Carnegie Mellon University (CMU), M-ITI (Madeira ITI, http://www.m-iti.org) at University of Madeira, and the University of Coimbra, Portugal. The position is based in Madeira, Portugal  (http://www.madeiraislands.travel/pls/madeira/wsmwhom0.home?p_lingua=en&p...).

About the Position.

We seek a candidate with a strong background in Computer Science, Mathematics or any relevant subject. His/her work will focus on developing “formal methods” techniques and tools to check properties about the Aeminium language, a concurrent-by-default programming language developed in our research group. It is envisioned that several tools will be constructed allowing for different types of concurrency analysis to be performed. The ideal candidate will have a first degree in Computer Science and/or Mathematics. Previous knowledge about formal methods and concurrence is an asset. Successful candidates may opt to apply for a PhD degree at University of Madeira.

until filled
More details