1 Mar 2024
Job Information
- Organisation/Company
Tallinn University of Technology- Department
Department of Software Science- Research Field
Computer science » Other- Researcher Profile
Recognised Researcher (R2)- Country
Estonia- Application Deadline
28 Mar 2024 - 23:59 (Europe/Helsinki)- Type of Contract
Temporary- Job Status
Full-time- Hours Per Week
40- Offer Starting Date
1 Sep 2024- Is the job funded through the EU Research Framework Programme?
HE- Is the Job related to staff position within a Research Infrastructure?
No
Offer Description
The Department of Software Science of TalTech invites applications to fill in a postdoctoral researcher position.
CONTEXT
In recent years applied category research has resulted in a suite of techniques that can collectively be described as a theory of processes and resources. The associated string diagrammatic syntax is intuitive yet powerful: concepts such as functoriality and compositionality allow the rigorous and modular description of processes at various levels of abstraction.
The goal of this post is to develop a theory of composable crytpgraphic/cybersecurity protocols akin to the work of Broadbent and Karvonen [1], building on an appropriate selection of underlying cryptographic/organisational assumptions. The goal is to make cryptographic/cybersecurity protocols, for example Zero-Knowledge protocols [2], understandable to non-experts while not sacrificing rigour.
[1] A. Broadbent, M. Karvonen. Categorical Composable Cryptography. In Proceeedings of FoSSaCS 2022.
[2] D. Firsov, D. Unruh. Zero-Knowledge in Easycrypt. In Proceedings of CFS 2023.
TASKS
- Perform high-level research in collaboration with a team of Tallinn-based researchers in academia and industry: Prof Pawel Sobocinski (TalTech), Dr Niels Voorneveld (Cybernetica), Dr Denis Firsov (Matter Labs).
- Disseminate research results in top-tier conferences and journals.
- Contribute to the goals of the Horizon Europe CHESS (Cybersecurity Excellence Hub in Estonia and South Moravia) project https://chess-eu.cs.ut.ee/ .
- Help to supervise graduate students in the Laboratory for Compositional Systems and Methods and have the opportunity to contribute to teaching.
Employment contract period: 1 September 2024 - 28 February 2026.
Monthly gross salary for the position: 3000 euros.
Contact person for further information: Pawel Sobocinski, [email protected] .
APPLICATION INSTRUCTIONS
To apply for the job, please send the following documents in English by 28 March 2024 at the latest by clicking the application link :
- a motivation letter;
- documents proving that the candidate holds the required academic degree for the position applied;
- a CV, including a list of publications;
- an academic portfolio, including a motivated self-evaluation regarding compliance with the requirements for the researcher position set out in the Academic Career Management Regulation, Annex 3 “Academic Evaluation Matrix ” (shall be submitted by a university staff member only) or a free format evaluation of the academic activity undertaken so far and the competencies required for work (shall be submitted by an external candidate only) detailing how the candidate meets the qualifications of the position;
- other documents considered important by the candidate.
Regarding further information on the application documents and recruitment process please contact TalTech HR [email protected] .
Requirements
- Research Field
- Computer science
- Education Level
- PhD or equivalent
- Research Field
- Mathematics
- Education Level
- PhD or equivalent
Specific Requirements
- PhD degree in Computer Science, Mathematics or a closely related field.
- Has published work in one or more of the following fields: category theory, cryptography, cybersecurity.
- Is motivated to perform interdisciplinary research across the boundaries of the above three sub-disciplines.
- Advanced English is required, Estonian language is a plus.
- Languages
- ENGLISH
- Level
- Excellent
Additional Information
Benefits
TalTech has a green and one of the most compact university campuses in Europe that includes the Tehnopol Tallinn Science Park. Low hierarchy, academic freedom and a balanced work and family life are valued at TalTech. The university provides individual development and training opportunities, material and non-material tokens of acknowledgement, sporting opportunities at TalTech Sports Club and all-staff activities.
Additional comments
Tallinn University of Technology (TalTech) is the flagship in engineering and IT science and education in Estonia, providing higher education at all levels in engineering and technology, information technology, economics, science, and maritime. TalTech’s mission is to be a promoter of science, technology, and innovation and a leading provider of engineering and economic education in Estonia. The university has over 2000 employees and over 10 000 students, and approximately 70 000 alumni.
The Department of Software Science was established on January 1, 2017 as part of the structural reform of Tallinn University of Technology. The purpose of the research groups at the Department of Software Science is to advance internationally and nationally relevant state of the art in research in the areas of computer science, information systems, data science, artificial intelligence and cyber defence.
The Compositional Methods and Systems group of the Department of Software Science focusses on harnessing compositional techniques to improve software trustworthiness in several application areas, including concurrency theory, quantum programming and AI safety and trustworthiness.
Work Location(s)
- Number of offers available
- 1
- Company/Institute
- Tallinn University of Technology
- Country
- Estonia
- State/Province
- Other / Non-US
- City
- Tallinn
- Postal Code
- 12618
- Street
- Akadeemia tee 21B, zip code 12618
Where to apply
- Website
https://taltech.recrur.com/public/link/tallinna-tehnikaulikool-postdoctoral-res…
Contact
- City
Tallinn- Website
https://taltech.ee/en- Street
Ehitajate tee 5- Postal Code
19086
[email protected]
STATUS: EXPIRED
Similar Positions
-
Ph D Research Fellow In Data Engineering For Health Data , Western Norway University of Applied Sciences, Norway, about 6 hours ago
21st May 2024 Languages English English English PhD Research Fellow in Data Engineering for Health Data Apply for this job See advertisement This is Western Norway University of Applied Sciences W...
-
Postdoc In Biotechnology – Dtu Chemical Engineering, Technical University of Denmark, Denmark, about 9 hours ago
Skip to main content. Profile Sign Out View More Jobs Postdoc in Biotechnology – DTU Chemical Engineering Kgs. Lyngby, Denmark Trending Job Description Department of Chemical and Biochemical Engin...
-
Research Fellow I, Singapore University of Technology & Design, Singapore, 1 day ago
Skills: Management science and incentive mechanism design for decarbonizing urban operation Qualifications: PhD degree in management science, computer science, electrical engineering, or applied m...
-
Postdoc In Electric Vehicle Powertrains, University of Luxembourg, Luxembourg, about 23 hours ago
The University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character. The University was founded in 2003 and counts more than 6,700 s...
-
Post Doctoral Fellow In Mathematics (Statistics), University of Luxembourg, Luxembourg, about 23 hours ago
The University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character. The University was founded in 2003 and counts more than 6,700 s...
-
Post Doc In Network Communications, University of Luxembourg, Luxembourg, about 23 hours ago
The University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character. The University was founded in 2003 and counts more than 6,700 s...