Launch week offerEnds in00h00m00s

Nelma Moreira

Has grant

Associate Professor at University of Porto

University of Porto
Country flagPortugal

Research Interests

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Explore related searches

About

Nelma Moreira is an Assistant Professor at Universidade do Porto, Portugal. Her research interests encompass formal languages, automata theory, and computational complexity, as reflected in her recent articles, including discussions on language quotients, partial derivative automata, and parsing expression grammars. She is dedicated to advancing the understanding of computational structures and their applications in language processing.

Recent Grants

Grant: Close

AVIACC Analysis and Verification of Safe Concurrent Programs

Open Date: 2012-01-01

Close Date: 2015-01-01

Grant: Close

CANTE Descriptional and Computational Complexity of Formal Languages,

Open Date: 2010-01-01

Close Date: 2013-01-01

Grant: Close

CSI Cryptographic Security of Individual Instances

Open Date: 2010-01-01

Close Date: 2012-01-01

Grant: Close

IJUP2010 Análise Social e Linguística nas Memórias do Trabalho

Open Date: 2010-01-01

Close Date: 2010-01-01

Grant: Close

RESCUE Reliable and Safe Code Execution for Embedded Systems,

Open Date: 2008-01-01

Close Date: 2011-01-01

Positions (1)

Publisher
source

Ana Cristina Moreira Freire

University Name
.

University of Porto

University of Porto, Faculty of Sciences (FCUP) is recruiting one PhD holder equivalent to Assistant Researcher in Informatics or related fields within the Department of Computer Science, in articulation with the CISTER research center . This position is part of the Rigoletto project (Reference 101194371 ), funded by CHIPS JU under Horizon Europe and FCT . The post is a full-time , temporary research contract with a planned start in November 2026 and an expected duration of 18 months , subject to budget and legal limits. The gross monthly salary is €3,576.56 , plus holiday and Christmas allowances and a meal allowance under the applicable public-sector conditions. The research activity is centered on RISC-V architectures , with emphasis on software-based analyses and simulations of systems in the RISC-V ecosystem. The work package responsibilities include mixed-criticality systems, schedulability analysis, runtime monitoring, formal verification, prototype integration of tracing and monitoring IP, demonstration and validation, contribution to the RISC-V automotive ecosystem, and dissemination/technology transfer. Eligible applicants must hold a PhD in the relevant scientific area. Strong preference is given to candidates with experience in international R&D projects , especially in embedded and real-time computing systems , supervision of doctoral students in that area, and at least five years of postdoctoral experience . If the doctorate was awarded by a foreign institution, the recognition/legalization requirements under Portuguese law must be fulfilled before hiring. The selection process includes evaluation of the scientific and academic background and may include an interview with up to three top-ranked candidates. Applications must be submitted online only via the Apply UP platform, with the required documents uploaded. Application window: 27/10/2026 to 09/11/2026 (23:59 Lisbon time). Contact: [email protected]

2 weeks ago

Articles (14)

Year:

2027

Year:

2027

Year:

2026

Year:

2026

Year:

2026

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2023

Year:

2023

Year:

2022

Year:

2021

Year:

2020

Collaborators (3)

António Machiavelo

University of Porto

PORTUGAL
View details

Stavros Konstantinidis

Professor

Saint Mary's University

CANADA
View details

LUCA PRIGIONIERO

Lecturer

Loughborough University

UNITED KINGDOM
View details