Several Postdoc and Phd positions in Cross-level hardware security verification

The Centre for Dependability at TalTech (https://www.taltech.ee/en/), has opened several PhD and Postdoc positions on ‘Cross-level hardware security verification’.

This project aims to increase the invulnerability of today's complex digital systems toward software attacks that exploit hardware by introducing a scalable, cross-level, cost-effective security verification framework. The project focuses on three main hardware components of digital systems: processors, memories, and communication channels.

How to apply:

Please submit your CV and transcripts by email to tara.ghasempouri@taltech.ee using the subject ‘Cross-level hardware security verification’.

Candidates with adequate backgrounds will be invited to interview over Skype.

All positions have an immediate start date.

Info for PhD positions: The nominal duration of a PhD degree is 4 years at TalTech. Successful PhD candidates are offered salaries of around 2200 euros (gross) that are competitive for European PhD scholarship standards.  

Info for Postdoc positions: For Postsodc the nominal duration varies from 1 to 2 years. Successful Postdoc candidates are offered salaries of around 3000 euros (gross) that are competitive for European Postdoc salaries standards.

Requirements:

We are looking for motivated candidates who graduated in computer science or a related area.

The candidates are expected to have the following core skills:

- Ability to describe RTL designs in Verilog or VHDL

- Ability to write C++/python scripts for building small EDA tools

- Strong writing and speaking skills (English)

- Publication(s) in the related area

Other skills are considered a plus:

- Hands-on experience with assertion-based verification such as PSL and SVA

- Familiarity with SAT-solvers

- Hands-on experience with model checkers

- Familiarity with computer architecture

The positions are funded by the national research project ‘Cross-level hardware security verification with semi-formal method’ (2023-2027).

About TalTech and the Department of Computer Systems:

Founded in 1918, Tallinn University of Technology (TalTech) is the flagship university of Engineering and Technology in Estonia. It is located in Tallinn, the capital of Estonia, and is currently the most international university in the country with around 1600 international degree students coming from over 90 different countries. TalTech offers 4 Bachelor’s and 15 Master’s programs taught in English. TalTech is ranked 601–650 in the QS World University Ranking.

Selected candidates will join the Department of Computer Systems (https://www.ttu.ee/?id=148265), located on the main TalTech campus. The Department also hosts strong research in the area of circuit reliability, hardware security, fault tolerance, verification, and test. The department fosters a collaborative environment for research and encourages exploration of cross-disciplinary topics.

To find out more about life and work in Estonia, please visit: https://www.visitestonia.com/en/ and https://www.workinestonia.com/

About Estonia:

Estonia is a true digital society. In just 20 years, Estonia has become one of the most technologically advanced countries in the world. Some of the fastest broadband speeds in the world are widely available across the country. But more importantly, so is the wireless Internet which covers everything.

In Estonia you are never more than a 30-minute drive away from a forest or a lake. The living environment is very clean, relaxed and safe. According to the World Health Organization, Estonia has the best overall air quality in the entire world. In Estonia you take a lifetime to enjoy all the galleries, theatres, concerts, festivals, markets, fairs and beaches this country has to offer.