Postdoc in Systems Security and Formal Verification

2 weeks ago

Stockholm, Sweden KTH - Royal Institute of Technology Full time

Vacancies

School of Electrical Engineering and Computer Science at KTH Job The Division of Network and Systems Engineering at KTH invites applications for a postdoctoral research position funded by Wallenberg AI, Autonomous Systems and Software Program (WASP). We are seeking a highly motivated researcher with a strong background in systems security and formal verification to join our research group. This position offers the opportunity to delve into cutting-edge research aimed at enhancing the security and reliability of modern systems.

The successful candidate will focus on one or more of the following research areas:

  • System Security: Investigate and address vulnerabilities at various system levels, including microarchitecture security (e.g., side-channel attacks, hardware vulnerabilities), system software security (operating systems, hypervisors, compilers) and design novel security architectures and defenses.
  • Formal Verification: Prove the functional correctness and security of low-level code, verify the security of protocols (cryptographic protocols, distributed systems) and advance the development of scalable verification techniques and tools.
What we offer
  • A position at a leading technical university that generates knowledge and skills for a sustainable future
  • Engaged and ambitious colleagues along with a creative, international and dynamic working environment
  • Work in Stockholm, in close proximity to nature
  • Help to relocate and be settled in Sweden and at KTH

Read more about what it is like to work at KTH

Qualifications Requirements

  • A doctoral degree or an equivalent foreign degree. This eligibility requirement must be met no later than the time the employment decision is made
  • A PhD in computer science or a relevant subject and a strong background in one or more of the areas mentioned in the job advertisement
  • We expect you to have very good research skills and pedagogical ability

Preferred qualifications

  • A doctoral degree or an equivalent foreign degree, obtained within the last three years prior to the application deadline
  • Awareness of diversity and equal treatment issues, with a particular focus on gender equality
  • You are independent in your work and have no problem collaborating with others

Great emphasis will be placed on personal skills.

Trade union representatives You will find contact information to trade union representatives at KTH’s webbpage .

To apply for the position Log into KTH’s recruitment system in order to apply for this position. You are the main responsible to ensure that your application is complete according to the ad.

The application must include:

  • CV including relevant professional experience and knowledge.
  • Copy of diplomas rom your previous university studies. Translations into English or Swedish if the original documents have not been issued in any of these languages.
  • A research statement explaining why you want to conduct research, about your academic interests and how they relate to your previous studies and future goals; max 2 pages long.
  • Representative publications or technical reports: Document no more than 10 pages each. For longer documents (eg dissertations), attach a summary (abstract) and a web link to the full text.
  • Contact information for two reference persons. We reserve the right to contact references only for selected candidates.

Your complete application must be received at KTH no later than the last day of application, midnight CET/CEST (Central European Time/Central European Summer Time).

About the employment The position offered is for, at the most, two years.

A position as a postdoctoral fellow is a time-limited qualified appointment focusing mainly on research, intended as a first career step after a dissertation.

Others Striving towards gender equality, diversity and equal conditions is both a question of quality for KTH and a given part of our values.

For information about processing of personal data in the recruitment process .

The position may include security-sensitive activities. To become authorized, you therefore need to pass a possible security check.

We firmly decline all contact with staffing and recruitment agencies and job ad salespersons.

Disclaimer: In case of discrepancy between the Swedish original and the English translation of the job announcement, the Swedish version takes precedence.

About KTH KTH Royal Institute of Technology in Stockholm has grown to become one of Europe’s leading technical and engineering universities, as well as a key centre of intellectual talent and innovation. We are Sweden’s largest technical research and learning institution and home to students, researchers and faculty from around the world. Our research and education covers a wide area including natural sciences and all branches of engineering, as well as architecture, industrial management, urban planning, history and philosophy. Read more here

Apply here

Type of employment

Temporary position

Contract type

Full time

Full-time equivalent

100%

First day of employment

According to agreement

Salary

Monthly salary

Number of positions

1

Location

Stockholm

County

Stockholms län

Country

Sweden

Reference number

J-2024-1181

Published

19.Apr.2024

Last application date

31.Jul.2024

Contact

Hamed Nemati, rekryteringsansvarig
hnnemati @kth.se

In your application, please refer to myScience.org and reference  JobID 2875777 .

  • Train Management System Verification

    Found in: beBee S SE - 3 weeks ago

    Stockholm, Sweden Alstom Full time

    Req ID:448213  At Alstom, we understand transport networks and what moves people. From high-speed trains, metros, monorails, and trams, to turnkey systems, services, infrastructure, signalling and digital mobility, we offer our diverse customers the broadest portfolio in the industry. Every day, 75,000 colleagues lead the way to greener and smarter...

  • Software Verification

    Found in: beBee S SE - 4 weeks ago

    Stockholm, Sweden Alstom Full time

    Req ID:440230  At Alstom, we understand transport networks and what moves people. From high-speed trains, metros, monorails, and trams, to turnkey systems, services, infrastructure, signalling and digital mobility, we offer our diverse customers the broadest portfolio in the industry. Every day, 75,000 colleagues lead the way to greener and smarter...

  • Postdoc in genomics

    2 weeks ago

    Stockholm, Sweden KTH - Royal Institute of Technology Full time

    Vacancies School of Engineering Sciences in Chemistry, Biotechnology and Health at KTH Job Professor Tuuli Lappalainen’s research group is looking for a postdoctoral researcher for a research project that links regulatory variation to molecular, cellular and organismal phenotypes using a systems genetics approach. The project combines experimental...

  • System Engineer

    3 weeks ago

    Stockholm, Sweden CO-WORKER TECHNOLOGY Full time

    We are currently looking for system engineers with a hardware profile at Naval Combat Systems. Your Role You will be involved in all phases of the projects, from initial requirements analysis through development, production, maintenance, to decommissioning. You will also have numerous contacts with both internal and external parties and participate in...

  • Commercial Product Manager

    2 weeks ago

    Stockholm, Sweden Sinch Full time

    We are further strengthening our Product team and are looking for a Commercial Product Manager to join our team. As Commercial Product Manager for our Verification and Voice API you are part of a very experienced product team that is taking brand-new verification APIs to market and at the same time managing fast growing established APIs. The role has two...

  • Commercial Product Manager

    Found in: Talent SE C2 - 2 weeks ago

    Stockholm, Sweden Sinch Full time

    We are further strengthening our Product team and are looking for a Commercial Product Manager to join our team.As Commercial Product Manager for our Verification and Voice API you are part of a very experienced product team that is taking brand-new verification APIs to market and at the same time managing fast growing established APIs.The role has two...

  • Designer to ASIC team

    7 days ago

    Stockholm, Sweden We IT Global AB Full time

    This is a remote position. Are you looking for the next step within ASIC design We are currently looking for ASIC designer to help our customer in the telecom sector. You will be involved in new and existing ASIC projects working in teams. The team is currently working on a mix of IP design/verification and different level of SubSys...

  • Designer to ASIC team

    Found in: Talent SE C2 - 1 week ago

    Stockholm, Sweden We IT Global AB Full time

    This is a remote position.Are you looking for the next step within ASIC design? We are currently looking for ASIC designer to help our customer in the telecom sector. You will be involved in new and existing ASIC projects working in teams. The team is currently working on a mix of IP design/verification and different level of SubSys integration/verification....

  • IT System Engineer- IAM

    1 week ago

    Stockholm, Sweden EasyPark Group Full time

    At EasyPark, we love cities. We love them for work, for play and everything in between. That’s why our mission is to make life in cities that much easier – by taking care of the parking. With the use of technology, we break barriers, helping improve the urban experience. Our aim is to create a scenario where parking supply and driver demand are balanced...

  • Test Lead to RCO Security

    3 weeks ago

    Stockholm, Sweden Ants Full time

    Open the door to yours and our future and together we can drive the shift towards a more open, sustainable and safer society. What does the role entail? As a Test lead at RCO, you get the opportunity to develop and deepen your knowledge in cloud environments and automation tests with a mixture of hands-on test work and decision making. With us, you get...

  • Designer to ASIC team

    Found in: Talent SE C2 - 1 week ago

    Stockholm, Sweden We IT Global AB Full time

    Job Description This is a remote position.Are you looking for the next step within ASIC design? We are currently looking for ASIC designer to help our customer in the telecom sector. You will be involved in new and existing ASIC projects working in teams. The team is currently working on a mix of IP design/verification and different level of SubSys...

  • Senior ASIC IP Verification

    Found in: Talent SE C2 - 1 day ago

    Stockholm, Sweden Ericsson Full time

    Description Join our Team About this opportunity: Join us at the forefront of crafting the IPs that are the cornerstone of Digital ASICs for today's and tomorrow's mobile standards. Our ASIC IP unit, based in the thriving tech hubs of Stockholm and Lund, is committed to using the most sophisticated technologies, tools, and methodologies. Our...

  • Testautomatiseringsingenjör

    3 weeks ago

    Stockholm, Sweden System Verification Sweden AB Full time

    Vi på System Verification är marknadsledande inom testautomation och DevOps. Vi söker efter fler tekniskt passionerade kollegor som vill följa med på vår fortsatta resa för bättre och ökad mjukvarukvalitet. Om du har erfarenhet av testautomatisering, vill arbeta i en agil IT-miljö och hjälpa företag att bli bättre på testautomation – så kan...

  • Teknisk agil testare

    3 weeks ago

    Stockholm, Sweden System Verification Sweden AB Full time

    Har du erfarenhet av testning, uppskattar att arbeta i agila IT-miljöer och vill växa med en arbetsgivare som delar samma värde för kvalitet som dig – då kan vi vara en bra match som din nästa arbetsgivare. System Verification är norra Europas största och ledande IT-konsultföretag med specialisering på kvalitetssäkring av mjukvara. Vi...

  • Testledare

    5 days ago

    Stockholm, Sweden System Verification Sweden AB Full time

    Har du erfarenhet av testledning och vill växa med en arbetsgivare som delar samma värde för kvalitet som dig – då kan vi vara nästa arbetsgivare för dig. System Verification är norra Europas största och ledande IT-konsultföretag med specialisering på kvalitetssäkring av mjukvara. Vi värdesätter din kompetens och investerar i din utveckling...

  • Avarn Security söker utbildade skyddsvakter till Stockholm

    2 weeks ago

    Stockholm, Sweden Avarn Security Full time

    Vill du ha ett jobb i ett samhällsviktigt uppdrag? Ett jobb där du är med och gör skillnad på riktigt? Om Avarn Security Avarn Security är ett företag med viktigt samhällsengagemang. Vi bidrar dygnet runt, året runt till ett tryggare samhälle. Vi lever våra värdeord Ansvar - Omtanke - Samarbete . De ligger till grund för vårt arbete och...

  • System Architect Getinge Critical Care, Solna

    Found in: beBee S SE - 4 weeks ago

    Stockholm, Sweden Getinge Full time

        At Getinge we have the passion to perform   Join our diverse teams of passionate people and a career that allows you to develop both personally and professionally. At Getinge, our passion is to secure that every person and community have access to the best possible care, offering hospitals and life science institutions products and...

  • Information Security Specialist

    2 weeks ago

    Stockholm, Sweden TF Bank Full time

    Join our Security & Governance team as a Information Security Specialist and play a crucial role in safeguarding our information and business by ensuring the confidentiality, integrity, and availability of sensitive information. You contribute to the overall security posture and our business by improving and implementing best practices, identifying...

  • Technical Project Manager

    3 weeks ago

    Stockholm, Sweden PrimeComp AB Full time

    PrimeComp is an engineeringconsulting firm with assignments within energy, industry, and infrastructure. Through our combined experience and unique range of technical areas, we offer services to create profitable, innovative, and sustainable solutions. Description: As a Technical Project Manager, you will collaborate closely with Project Management,...

  • Junior Information Security Specialist

    3 weeks ago

    Stockholm, Sweden TF Bank Full time

    Join our Security & Governanceteam as aJunior Information Security Specialist and play a crucial role in safeguarding our information and business by ensuring the confidentiality integrity and availability of sensitive information. You contribute to the overall security posture and our business by improving and implementing best practices identifying...