The Centre for Dependability at TalTech (https://www.taltech.ee/en/), has opened several PhD positions on ‘Security verification for digital systems’.
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 See e-posti aadress on spämmirobotite eest kaitstud. Selle nägemiseks peab su veebilehitsejas olema JavaSkript sisse lülitatud. using the subject ‘Security verification for digital systems’.
Candidates with adequate backgrounds will be invited to interview over Skype.
The starting date for the position is negotiable.
Funding status:
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.
Deadline:
The deadline for this round of applications is 30 June 2023. So please submit your CV and transcripts by email to See e-posti aadress on spämmirobotite eest kaitstud. Selle nägemiseks peab su veebilehitsejas olema JavaSkript sisse lülitatud. using the subject ‘Security verification for digital systems’ no later than 30 June.
Requirements:
We are looking for motivated candidates who graduated in computer systems, computer architecture or a related area.
The candidates are expected to have some of 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)
- Familiarity with neural network
- Familiarity with embedded systems
- Familiarity with digital systems' security, e.g., side-channel attacks
- Hands-on experience with assertion-based verification such as PSL and SVA
- Familiarity with SAT-solvers
- Hands-on experience with model checkers
- Publication(s) in the related area
The national research project ‘Cross-level hardware security verification with semi-formal method’ (2023-2027) funds the positions.
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.
