[TYPES/announce] Research faculty positions Open @ Tecnico – ULisboa (BIG ERA Chair Research Team

[Luís Caires]

Dear all,

This call invites two interesting positions, in particular, one focused 
on PL and/or SE, for which
we are also looking for candidates with expertise in PL design and 
implementation, type systems (including linear types), verification, 
language based security, and related topics. Please get back
to me for further info.

Thanks,

Luis Caires

==

Instituto Superior Técnico, University of Lisbon is seeking highly 
qualified candidates for two faculty positions to join the BIG ERAChair 
project team funded by the European Research Area.

Positions will be available for the Assistant Researcher / Assistant 
Professor in Computer Science, to begin in early 2024.  The contract 
period for both positions is two years, and openings to create 
transition opportunities to tenure-track career positions are highly 
likely to open at Técnico by the end of the period.

Background:

The BIG ERA Chair (https://urldefense.com/v3/__https://bigerachair.tecnico.ulisboa.pt/hiring/__;!!IBzWLUs!SIFPWkYi7BXY1wiSAHjUCKaFkHAfLuETyIWU6T8Ju2VsZcW3IgXIX5plaSRLRq8Yr-tFdxFRaNHXMAjNn9TwUWQDcAw2ZF-J1QNE4wPWJ3i2$ ) is 
funded by the European Research Area through an ERAChair grant, a 
prestigious grant awarded to select research institutions in Europe. 
Through the BIG ERA Chair grant, Tecnico is launching a new world-class 
lab -- the BIG Lab.  Working across Tecnico in close collaboration with 
others across both the university and our external partners, BIG Lab's 
core aim is to deliver on the promise of decentralisation -— in 
particular blockchain and associated technologies -— in the delivery of 
sustainability and social good outcomes. BIG is developing an exciting 
interdisciplinary environment and creating a critical mass of 
researchers to investigate the technological underpinnings and role of 
decentralised and blockchain technologies.

Research Faculty Profile:

We are seeking strong candidates in any of the following areas of 
expertise:

     • Software Engineering, Programming Languages and Environments. We 
are
     particularly interested in candidates with a background in design 
and
     implementation of programming systems and software verification 
tecniques and
     tools for developing trustworthy decentralised applications.

     • Distributed Computing and Systems Security. We are particularly
     interested in candidates who have background in the building blocks
     of Blockchains, including but not limited to distributed consensus,
     decentralized distributed systems, and systems security.

Application requiremems:
     • A PhD in Computer Science or a related area;
     • A strong demonstrated record of accomplishment in research
       in any of the profiles mentioned above;
     • See required support documents below.

Benefits:
     • Assistant Researcher / Assistant Professor position with an 
invited contract of two
     years (openings to create transition opportunities to tenure-track 
career positions
     are highly likely to open at Técnico by the end of the period);
     • Competitive salary, corresponding to the salary defined by 
Portuguese
       legislation for Assistant Professors and Assistant Researchers
       in public universities;
     • Social benefits, access to the public health insurance system, to 
the health
       services of Técnico, and access to day care for children of IST 
employees;
     • Very light teaching load, providing opportunities to work with the 
most
       talented engineering students in Portugal.

How to submit your materials:

The candidate should send a short CV, the names of three references (who 
may be contacted at a later stage), and a statement of purpose 
describing background research activities and prospective areas of 
future research related to distributed ledger technologies and 
blockchain,

by email to:

luis.caires at tecnico.ulisboa.pt
https://urldefense.com/v3/__http://web.tecnico.ulisboa.pt/luis.caires__;!!IBzWLUs!SIFPWkYi7BXY1wiSAHjUCKaFkHAfLuETyIWU6T8Ju2VsZcW3IgXIX5plaSRLRq8Yr-tFdxFRaNHXMAjNn9TwUWQDcAw2ZF-J1QNE45gS8H9F$ 

Deadline for first phase submissions: october 15th 2023