[TYPES/announce] Postdoc position at the University of Lisbon

[Vasco Thudichum Vasconcelos]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

University of Lisbon -- One Post Doctoral Research Fellowship

We are looking to fill one post-doctoral research fellowship in the area of 
programming languages, type systems and logics. The position is funded by the 
research project "SafeSessions - Safe Concurrent Programming with Session 
Types", 
https://urldefense.com/v3/__https://www.lasige.pt/project/safesessions/__;!!IBzWLUs!A2S_14d2AW5szG565PdsS_-WGxz9tgiyFXWyJtiRYtTTta3AONbI602l85wghr-phhaVjb_UCBGYxw$
 .

We seek applicants with strong interest in some of the following topics: 
programming language design and implementation, logics and types, concurrency 
and distribution. Applicants should hold a PhD degree in Computer Science or 
related area.

The position is funded by the Foundation for Science and Technology for an 
initial period of 12 months, renewable until the end of the project (February 
29, 2024 or six months thereafter). Applications are open until February 15, 
2022.

The complete offer description can be found at 
https://urldefense.com/v3/__https://www.euraxess.pt/jobs/721789__;!!IBzWLUs!A2S_14d2AW5szG565PdsS_-WGxz9tgiyFXWyJtiRYtTTta3AONbI602l85wghr-phhaVjb8bu0XBiQ$
 . Further information can be obtained from 
lasige-candidatu...@listas.di.ciencias.ulisboa.pt. Applicants are encouraged to 
contact Professor Vasco T. Vasconcelos directly.


About the University of Lisbon and the LASIGE research lab

The University of Lisbon (ULisboa) is the largest university in Portugal and a 
leading one within wider Europe.  Comprising eighteen faculties, ULisboa offers 
400 degree programmes at undergraduate and postgraduate level.  Each year it 
accepts more than 5,000 international students – around 10% of its total cohort 
– who represent 100 different countries. ULisboa leads the main international 
rankings, is amongst the 200 best universities worldwide according to the 2019 
Shanghai Ranking.

LASIGE, 
https://urldefense.com/v3/__https://www.lasige.pt__;!!IBzWLUs!A2S_14d2AW5szG565PdsS_-WGxz9tgiyFXWyJtiRYtTTta3AONbI602l85wghr-phhaVjb-lI63vlA$
 , is a research unit at ULisboa evaluated as Excellent by the Portuguese 
Science Agency (FCT) in 2018, with a perfect score of 15 points. LASIGE closely 
mentors more than 100 young researchers (at masters, doctoral, and 
post-doctoral level), continually stimulating excellence in research. LASIGE 
members teach MSc and PhD level courses in Computer Science and Engineering 
(CSE) at ULisboa, regularly publish in top venues, and enjoy top-notch 
bibliometric indices. LASIGE runs a large number of international projects, 
boasts three spin-offs, and multiple technology transfers.

The high-level research conducted at LASIGE, the scientific background and 
international projection of its group leaders, the academic and industrial 
network to which it belongs, and the experience in advanced training of its 
members makes LASIGE the perfect research unit to work as a postdoc.

If this was not enough, the city of Lisbon offers history and culture, 
shopping, restaurants, nearby beaches and a vibrant nightlife.

[TYPES/announce] Postdoc position at the University of Lisbon (2nd call)

[vv@di]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We welcome applications for a fulltime postdoctoral research position
at the University of Lisbon.

The position is funded by the research project "CONFIDENT -
Communication Contracts for Distributed Systems Development",
http://gloss.di.fc.ul.pt/content/confident, a three year collaborative
project between a team at the Faculty of Sciences (including Vasco T.
Vasconcelos and Antónia Lopes) and another at Tecnico (Paulo Mateus
and Pedro Adao).

The objective of the project is the development of tools and
technology for describing, testing, statically verifying, and
inferring communication contracts for the effective construction and
evolution of complex distributed systems, notably RESTful
applications. Particular attention will be given to the validation of
security requirements of APIs. We plan to integrate the theory of
behavioural type systems into a notion of communication contracts,
effective in driving the software development life cycle of RESTful
applications.

We seek applicants with strong interest in some of the following
topics: programming language design and implementation, programming
logics and types, language-based security, verification and testing,
concurrency and distribution.

The contract is for one year, extensible for a second year.
Applicable administrative rules may be found at the FCT site,
http://www.fct.pt/apoios/bolsas/index.phtml.en.

Applications should include a curriculum vitae in pdf format, contact
details for three referees, and should be sent to

LaSIGE - Large-Scale Informatics Systems Laboratory
http://www.lasige.di.fc.ul.pt
Email: Pedro Gonçalves, pgoncal...@di.fc.ul.pt
Phone: +351 21 750 05 32

Interested applicants are encouraged to contact Professor Vasco
T. Vasconcelos directly.

Application deadline: 30th June 2017

[TYPES/announce] Postdoc position at the University of Lisbon

[Vasco T. Vasconcelos]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We welcome applications for a fulltime postdoctoral research position
at the University of Lisbon.

The position is funded by the research project "CONFIDENT -
Communication Contracts for Distributed Systems Development",
http://gloss.di.fc.ul.pt/content/confident 
, a three year collaborative
project between a team at the Faculty of Sciences (including Vasco T.
Vasconcelos and Antónia Lopes) and another at Técnico (Paulo Mateus
and Pedro Adão).

The objective of the project is the development of tools and
technology for describing, testing, statically verifying, and
inferring communication contracts for the effective construction and
evolution of complex distributed systems, notably RESTful
applications. Particular attention will be given to the validation of
security requirements of APIs. We plan to integrate the theory of
behavioural type systems into a notion of communication contracts,
effective in driving the software development life cycle of RESTful
applications.

We seek applicants with strong interest in some of the following
topics: programming language design and implementation, programming
logics and types, language-based security, verification and testing,
concurrency and distribution.

The contract is for one year, extensible for a second year.
Applicable administrative rules may be found at the FCT site,
http://www.fct.pt/apoios/bolsas/index.phtml.en 
.

Applications should include a curriculum vitae in pdf format, contact
details for three referees, and should be sent to

LaSIGE - Large-Scale Informatics Systems Laboratory
http://www.lasige.di.fc.ul.pt 
Email: Pedro Gonçalves, pgoncal...@di.fc.ul.pt 
Phone: +351 21 750 05 32

Interested applicants are encouraged to contact Professor Vasco
T. Vasconcelos directly.

Application deadline: 30th June 2017.

[TYPES/announce] Postdoc position at the University of Lisbon

[Vasco T. Vasconcelos]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

***  Post-doc opening on Communication Contracts for Distributed
Systems Development ***

We welcome applications for a fulltime postdoctoral research position
at the University of Lisbon.

The position is funded by the research project "CONFIDENT -
Communication Contracts for Distributed Systems Development",
http://gloss.di.fc.ul.pt/content/confident 
, a three year collaborative
project between a team at the Faculty of Sciences (including Vasco T.
Vasconcelos and Antónia Lopes) and another at Técnico (Paulo Mateus
and Pedro Adão).

The objective of the project is the development of tools and
technology for describing, testing, statically verifying, and
inferring communication contracts for the effective construction and
evolution of complex distributed systems, notably RESTful
applications. Particular attention will be given to the validation of
security requirements of APIs. We plan to integrate the theory of
behavioural type systems into a notion of communication contracts,
effective in driving the software development life cycle of RESTful
applications.

We seek applicants with strong interest in some of the following
topics: programming language design and implementation, programming
logics and types, language-based security, verification and testing,
concurrency and distribution.

The contract is for one year, extensible for a second year.
Applicable administrative rules may be found at the FCT site,
http://www.fct.pt/apoios/bolsas/index.phtml.en 
.

Applications should include a curriculum vitae in pdf format, contact
details for three referees, and should be sent to

LaSIGE - Large-Scale Informatics Systems Laboratory
http://www.lasige.di.fc.ul.pt 
Email: Pedro Gonçalves, pgoncal...@di.fc.ul.pt 
Phone: +351 21 750 05 32

Interested applicants are encouraged to contact Vasco T. Vasconcelos
directly.

Application deadline: 28th February 2017.

[TYPES/announce] Postdoc position at the University of Lisbon

[Vasco T. Vasconcelos]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We welcome applications for a post-doctoral scholarship.

The position is funded by the research project Advanced Type Systems
for Multicore Programming. The objective of the project is the
development of new concurrency abstractions, together with the
associated static analysis methods for multicore programming (see
http://gloss.di.fc.ul.pt/types-multicore).

We seek applicants with strong interest in some of the following
topics: programming language design and implementation, programming
logics and types, verification, and concurrency.  The successful
candidates will in work closely with Prof Vasco T. Vasconcelos, in the
{Lasige} Group of Software Systems, http://gloss.di.fc.ul.pt and the
Department of Computer Science, Faculty of Sciences, University of
Lisbon.

Applicants must hold a PhD in Computer Science, Mathematics or related
discipline, and must produce evidence of expertise on the topics of
the project.

For full details and how to apply see http://lasige.di.fc.ul.pt/Open_Positions.