Postdoctoral Researcher: Type-based Enforcement of Secure Programming Guidelines

Postdoctoral Researcher: Type-based Enforcement of Secure Programming Guidelines

TUM - Technical University Munich

Munich, Germany

Your tasks:

You will contribute to the development of a lightweight static analysis method for verifying adherence to secure programming guidelines in Java programs. The GuideForce project combines ideas from type systems and abstract interpretation to develop a scalable, type-based analysis method for Java. While guidelines for secure programming are the first use-case, other applications are of interest too.

The project goals are:

  • Improving the expressiveness of the type-based analysis method;
  • Extending the method to handle more features of the Java programming language, such as reflection, concurrency, generic types and higher-order features;
  • Develop practical applications of the method: Capture various kinds of guidelines from different application areas, in particular security, improve the implementation in a tool and assess the practicability and scalability of the approach under real-world conditions.

Your profile:

  • You hold or are close to completing a Ph.D. in the area of programming languages;
  • You have experience in one of the following areas: type systems and logic, static program analysis, abstract interpretation, implementation of programming languages;
  • Solid programming skills;
  • Excellent communication skills in English, basic skills in German are a plus, but not required.

Apply Now

Don't forget to mention EuroScienceJobs when applying.

Share this Job

More Job Searches

Germany     Academic     Computing/Programming     Maths and Computing     Postdoc     TUM - Technical University Munich    

© EuroJobsites 2019

EuroJobsites is a registered company number: 4694396 VAT number: GB 880 9055 04

Registered address: EuroJobsites Ltd, Unit 8, Kingsmill Business Park, Kingston Upon Thames, London, KT1 3GZ, United Kingdom

Newsletter | Recruit | Advertise | Privacy | Contact Us

© EuroJobsites 2019

EuroJobsites is a registered company number: 4694396 VAT number: GB 880 9055 04

Registered address: EuroJobsites Ltd, Unit 8, Kingsmill Business Park, Kingston Upon Thames, London, KT1 3GZ, United Kingdom

This website uses cookies to make your experience better. Continued use of this website means you accept our cookie policy.  Accept Cookies