Postdoc in Systems Security and Formal Verification

2 weeks ago

Uppsala, Sweden KTH Royal Institute of Technology Full time
Postdoc in Systems Security and Formal Verification School of Electrical Engineering and Computer Science at KTH

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
  • 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.

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.

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

#J-18808-Ljbffr

  • Global Systems Specialist

    Found in: beBee S SE - 4 weeks ago

    Uppsala, Sweden Thermo Fisher Scientific Full time

    Job DescriptionUnlock Global Opportunities: Join Us as a Systems Support Specialist! Are you an Application Support Specialist, Biomedical Scientist, Field Service Engineer, or experienced with Phadia Systems? Take your next career leap with us!Global Services is the Centre of Excellence (CoE) based part of the IDD Service Organization (IDD Service) and with...

  • CRM Operations Manager

    4 days ago

    Uppsala, Sweden I.A.R. Systems AB Full time

    As a CRM Operations Manager You will work both practically and strategically, where you will transform your visions into reality. The strategic aspect of the role encompasses strategic planning, project management, and business management. It entails developing and implementing a comprehensive strategy to utilize Salesforce CRM in supporting our business...

  • ASIC/FPGA Developer | AFRY

    2 weeks ago

    Uppsala, Sweden AFRY Finland Full time

    Are you an FPGA-developerlooking for your next challenge? Or you are maybe more into FPGA-verification? Would you liketo be apart of exciting projects? In that case we have the right opportunityfor you! We see an increase in inquiriesfrom our customers. Thereforwearelooking for skilled ASIC/FPGA-designers and verifiers to join us and be part of a...

  • Professor in Cropping Systems

    3 weeks ago

    Uppsala, Sweden Sveriges Lantbruksuniversitet Full time

    Faculty of natural resources and agricultural sciences Department of Crop Production Ecology This fully funded professorship will be positioned at the Department of Crop Production Ecology, which together with the Department of Ecology, constitute an inspiring research environment at the Ecology Centre on SLU’s Uppsala campus. The Department of Crop...

  • Software Engineer to our IDE team

    4 days ago

    Uppsala, Sweden IAR Systems GmbH Full time

    At IAR, we take pride in being a leading provider of software tools and services for embedded systems development. Our products and services are designed to assist developers in creating robust and secure embedded solutions that meet the high demands across various industries. With our strong global presence, having 150 000 developers using our software, we...

  • Software Engineer to our IDE team

    2 weeks ago

    Uppsala, Sweden I.A.R. Systems AB Full time

    At IAR, we take pride in being a leading provider of software tools and services for embedded systems development. Our products and services are designed to assist developers in creating robust and secure embedded solutions that meet the high demands across various industries. With our strong global presence, having 150 000 developers using our software, we...

  • Group IP Paralegal, Intellectual Property Operations

    Found in: beBee jobs SE - 3 weeks ago

    Uppsala, Uppsala, Sweden Danaher Full time

    Be part of something altogether life-changingWorking at Cytiva means being at the forefront of providing new solutions to transform human health. Our incredible customers undertake life-saving activities ranging from fundamental biological research to developing innovative vaccines, new medicines, and cell and gene therapies.At Cytiva you will be able to...

  • Group IP Paralegal, Intellectual Property Operations

    Found in: beBee S SE - 4 weeks ago

    Uppsala, Sweden Danaher Full time

    Be part of something altogether life-changing!Working at Cytiva means being at the forefront of providing new solutions to transform human health. Our incredible customers undertake life-saving activities ranging from fundamental biological research to developing innovative vaccines, new medicines, and cell and gene therapies.At Cytiva you will be able to...

  • Group IP Paralegal, Intellectual Property Operations

    Found in: beBee S SE - 3 weeks ago

    Uppsala, Sweden Danaher Full time

    Be part of something altogether life-changing!Working at Cytiva means being at the forefront of providing new solutions to transform human health. Our incredible customers undertake life-saving activities ranging from fundamental biological research to developing innovative vaccines, new medicines, and cell and gene therapies.At Cytiva you will be able to...

  • Senior DeltaV Automation Engineer

    Found in: beBee jobs SE - 3 weeks ago

    Uppsala, Uppsala, Sweden Danaher Full time

    Be part of something altogether life-changingWorking at Cytiva means being at the forefront of providing new solutions to transform human health. Our incredible customers undertake life-saving activities ranging from fundamental biological research to developing innovative vaccines, new medicines, and cell and gene therapies.At Cytiva you will be able to...

  • Systems Administrator III

    3 weeks ago

    Uppsala, Sweden Thermo Fisher Scientific Full time

    As part of the Thermo Fisher Scientific team, you’ll discover meaningful work that makes a positive impact on a global scale. Join our colleagues in bringing our Mission to life every single day to enable our customers to make the world healthier, cleaner and safer. We provide our teams with the resources needed to achieve individual career goals while...

  • Senior DeltaV Automation Engineer

    Found in: beBee S SE - 3 weeks ago

    Uppsala, Sweden Danaher Full time

    Be part of something altogether life-changing!Working at Cytiva means being at the forefront of providing new solutions to transform human health. Our incredible customers undertake life-saving activities ranging from fundamental biological research to developing innovative vaccines, new medicines, and cell and gene therapies.At Cytiva you will be able to...

  • Software responsible engineer

    2 weeks ago

    Uppsala, Sweden Wise IT AB Full time

    Lead car SW/HW projects from concept to launch and shape automotive innovation & quality. Our customer Volvo Cars isworking with SW, HW, electronics and system, and the responsibilities stretches from early phases until launch of new cars. They develop customer functionality, handle project management, analysis, verification, hardware, and software. What...

  • Strategic Purchasing Director

    3 weeks ago

    Uppsala, Sweden Altris AB Full time

    Position Overview: As the Strategic Purchasing Director at Altris, you will play a pivotal role in sourcing, negotiating, and managing relationships with suppliers to secure the highest quality materials and components for our advanced battery solutions. You will implement strategic purchasing initiatives, and contribute directly to the success and growth of...

  • Strategic Purchasing Director

    3 weeks ago

    Uppsala, Sweden Altris Full time

    Position Overview:  As the Strategic Purchasing Director at Altris, you will play a pivotal role in sourcing, negotiating, and managing relationships with suppliers to secure the highest quality materials and components for our advanced battery solutions. You will implement strategic purchasing initiatives, and contribute directly to the success and...

  • Commissioner - Sweden

    Found in: Talent SE C2 - 1 week ago

    Uppsala, Sweden Nordex Group Full time

    As a commissioner your role will be to take a wind turbine generator (WTG) form a mechanical state into an early operational state including all associated tests and verifications of equipment condition for safe turbine operation. In summary you will turn a post inspected turbine, into a safe power generating and quality operational state. It should be...

  • Programme Manager at the Dag Hammarskjöld Foundation

    12 hours ago

    Uppsala, Sweden The Dag Hammarskjöld Foundation Full time

    The Dag Hammarskjöld Foundation, (Stiftelsen Dag Hammarskjölds Minnesfond), is a non-governmental organisation established in 1962 in memory of the second Secretary-General of the United Nations. It aims to advance dialogue and policy for sustainable development and peace. The Foundation is not a grant-giving institution, and is autonomous and...

  • Software Test Engineer

    Found in: beBee jobs SE - 3 weeks ago

    Uppsala, Uppsala, Sweden Danaher Corporation Full time

    Be part of something altogether life-changing Working at Cytiva means being at the forefront of providing new solutions to transform human health. Our incredible customers undertake life-saving activities ranging from fundamental biological research to developing innovative vaccines, new medicines, and cell and gene therapies.At Cytiva you will be able to...

  • Software Engineer

    Found in: beBee jobs SE - 6 days ago

    Uppsala, Uppsala, Sweden Danaher Full time

    Be part of something altogether life-changingWorking at Cytiva means being at the forefront of providing new solutions to transform human health. Our incredible customers undertake life-saving activities ranging from fundamental biological research to developing innovative vaccines, new medicines, and cell and gene therapies.At Cytiva you will be able to...

  • Software Engineer

    3 weeks ago

    Uppsala, Sweden Cytiva Sweden AB Full time

    Be part of something altogether life-changing Working at Cytiva means being at the forefront of providing new solutions to transform human health. Our incredible customers undertake life-saving activities ranging from fundamental biological research to developing innovative vaccines, new medicines, and cell and gene therapies. At Cytiva you will be able...