Profile

Cover photo
Jácome Cunha
126 followers|390,516 views
AboutPostsPhotosVideos

Stream

Jácome Cunha

Shared publicly  - 
 
Ciência Viva no Departamento de Informática da NOVA
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
 
Coimbra e o Rio Mondego - Coimbra (Portugal).

Sede da mais antiga universidade de Portugal, Coimbra é uma cidade sobretudo animada pelos estudantes que vivem e estudam aqui, mas está também cheia de monumentos e tesouros históricos e conta com um comércio movimentado e a presença vibrante do Mondego, o "Rio dos Poetas" como os habitantes locais lhe chamam orgulhosamente, oferecendo ao visitante a beleza das suas margens e alimentando os campos férteis do vale circundante. Coimbra oferece muitos outros sítios a explorar e um vasto calendário de eventos culturais e de diversão, mas torna-se especialmente apetecível em Maio, quando os estudantes celebram o final do ano académico com a tradicional Queima das Fitas, enchendo as ruas de música e animação esfuziante.

Foto de Carlos Goulão.
 ·  Translate
46 comments on original post
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
70 alunos do 3º ano do MIEI iniciaram, em Abril, o seu estágio de 20 semanas em 32 empresas/instituições que colaboram com o DI.  No segundo semestre do ano letivo de 2014/15, 47 instituições públicas e privadas da nossa praça submeteram mais de 100 propostas de projetos de estágio à consideração da Comissão Científica do MIEI, tendo 32 destas
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
As aplicações informáticas necessitam de lidar com fatos, regras, ontologias, muitas vezes com origem em fontes diferentes, integrando conhecimento que pode ser contraditório, o que pode ter como consequência tornar conclusões, obtidas através de algoritmos clássicos de raciocínio automático, completamente inuteis.
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
Os premiados da Bolsa Caloiros da NOVA 2014, André Pontes e Raquel Macedo escolheram o curso de Engenharia Informática da NOVA em primeira opção, e nem colocaram a hipótese de entrar noutro curso de Engenharia Informática.  () Para Raquel Macedo, “a Engenharia Informática é uma área fascinante, sendo a sua face mais visível a Internet.
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
Foram aprovadas recentemente as ações UE COST em que o NOVA LINCS é parceiro. MPM4CPS é uma rede dedicada à modelação multiparadigma de sistemas ciber-físicos. O PI pelo NOVA LINCS é o investigador Vasco Amaral, da área de Software Systems, que é também o chair do comité de gestão nacional.
1
Add a comment...
Have him in circles
126 people
Edmundo Freitas's profile photo
Miguel Matos's profile photo
Rui Soares's profile photo
Francisco Braga's profile photo
Joao Pires's profile photo
David Costa's profile photo
Dri Rocha (ARPMC)'s profile photo
Le Nguyen's profile photo
Simao Cunha's profile photo

Jácome Cunha

Shared publicly  - 
 
Today!
  Title: Abstract Regular (Tree) Model Checking By: Tomas Vojnar (Brno University of Technology) Abstract: Regular model checking is a generic technique for verification of infinite-state and/or parametrised systems (including software, hardware, or protocols with unbounded recursion, communication buffers, unbounded numbers of processes, unbo
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
It works!!!!!
Having browsed the web for possibilities to access multiple Google Drive accounts from my MacBook, iPad and/or iPhone I have concluded that it seems to be an impossibility to install Google Drive more than once for different accounts. For your Mac, there are paid solutions for this but the most simple and inexpensive one (free)...
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
Os alunos dos 7º, 8º e 9º ano de escolaridade do Externato Nossa Senhora do Rosário em Cascais, cerca de 250, aderiram à “Hora do código” da iniciatica Code.org com a ajuda do Departamento de Informática da NOVA.
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
O NOVA LINCS participou no Festival IN, Inovação e Criatividade (FIL de 23 a 26/Abril), demonstrando o sistema Visual Speech, uma plataforma informática para apoio à terapia da fala.
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
 
Serve as a PLDI 2015 student volunteer, and get free PLDI/FCRC registration! Application deadline May 10. Details: http://conf.researchr.org/attending/pldi2015/Student+Volunteers
The PLDI 2015 Program for Student Volunteers gives full- or part-time university students from around the world the opportunity to attend and contribute to a premier forum for all areas of programming language research, including the design, implementation, theory, and efficient use of languages ...
View original post
1
Add a comment...

Jácome Cunha

Shared publicly  - 
 
 
PhD Position on Scalable Data for Pervasive Parallelism at Uppsala University, Sweden

http://www.uu.se/en/about-uu/join-us/details/?positionId=63821

The Department of Information Technology at Uppsala University, Sweden 
is opening 1 PhD student position within the SCADA project. 

The aim of SCADA is to develop programming language technology for the Encore
programming language to facilitate the scaling of software applications across 
multicore, manycore and distributed hardware configurations. Encore is an 
active object-based programming language equipped with means for expressing
low-level parallelism. SCADA will extend this language to express data
locality and distribution in flexible ways. The resulting language will make
it easier to use of large volumes of data efficiently and scalably.

The work will involve the implementation of compiler and run-time support, 
theoretical investigations of programming language semantics, the development of 
case studies and benchmarking. For the SCADA project, a good deal of flexibility 
is possible, which would allow you to follow your interests to some degree.

Desired Technical Skills and Interests:

* programming language design
* parallel computing
* formal semantics of programming languages
* type systems
* compilers
* program optimisation
* computer architecture
* experience programming in both high- and low-level languages (such as Haskell and C)
* mathematical aptitude 

General Qualifications 

* you are excited about our project
* you are persistent, trying again and again when things don't work out as planned
* you are fearless and will happily hack a virtual machine or compiler or implement a 
  complex algorithm
* you have a small child's attitude and want to learn about everything you encounter
* you have an engineer's attitude and will not merely accept the first solution that 
  comes to mind, but will consider key alternatives
* you have a researcher's attitude, want to truly understand things, and are never 
  satisfied with the first explanation
* you look at the simple and obvious before exploring the complicated
* you can focus and ignore the many other cool things you could be doing
* you derive pleasure from coming up with clear and logical explanations
* you read lots of books and scientific papers
* you write gladly and hope to improve your writing
* you like to present and discuss your work 
* you work hard
* you accept constructive criticism as a means for improving yourself
* you will be happy to stay in Sweden for quite some time
* you are willing to travel abroad for conferences and other meetings.
* you have (or nearly have) a Masters degree in computer science/engineering, 
  informatics, or related fields
* you are willing assist in teaching and to expand your knowledge with 
  additional courses
* you are committed to invest 5 years of your life as a PhD student, training 
  to be a researcher


Important Dates
===============
Application deadline: 15 May 2015.

PhD expected start date: September/October 2015

Where to Apply
==============
To apply see: http://www.uu.se/en/about-uu/join-us/details/?positionId=63821

For further information contact Dr Dave Clarke (dave.clarke@it.uu.se).
PhD position in Computer Science on Scalable Data for Pervasive Parallelism, Uppsala universitet, Institutionen för informationsteknologi, Uppsala University
View original post
1
Add a comment...
People
Have him in circles
126 people
Edmundo Freitas's profile photo
Miguel Matos's profile photo
Rui Soares's profile photo
Francisco Braga's profile photo
Joao Pires's profile photo
David Costa's profile photo
Dri Rocha (ARPMC)'s profile photo
Le Nguyen's profile photo
Simao Cunha's profile photo
Links
Basic Information
Gender
Male