Researcher in Software Verification

Catholic University of Leuven

Belgium

 
DistriNet seeks to expand its team with a research expert on software verification. The Program Verification Team at the DistriNet Research Group of the Department of Computer Science (Group Science and Technology) at KU Leuven performs research into technologies for enabling software development teams to deliver software with higher assurance of security, safety, and correctness, more cost-effectively. The Research Expert's mission will be to drive the Team's efforts to increase its impact on industrial practice by further maturing its technology portfolio and engaging with industrial partners to collaborate on formal verification projects such as the verification of – for example – hypervisor technology. The Research Expert's performance will be measured on traditional academic metrics such as quality and quantity of publications and PhDs supervised, but also on the level of industrial impact achieved, in Flanders and worldwide. Led by Prof. Bart Jacobs, the focus of the Program Verification team is on the theory and practice of modular formal program verification; its publication targets include POPL, TOPLAS, ESOP, and ECOOP (see https://distrinet.cs.kuleuven.be/people/bartj/). In an effort to put its ideas into practice, it has been developing since 2008 the VeriFast tool https://github.com/verifast/verifast for modular formal verification of single-threaded and multithreaded C and Java programs, using which it has won multiple program verification competitions. DistriNet is an international research group with about 100 members, covering software engineering and verification, distributed systems and software security, secure systems and security engineering. Embedded in the Department of Computer Science of KU Leuven, DistriNet is also a research group of the Flemish Strategic Research institute imec.

Responsibilities

The research expert on software verification will further extend DistriNet’s research at an international level in the domain of software security, with a focus on formal verification of programs. More specifically this includes the following responsibilities:

  • You drive the Program Verification Team’s efforts to increase its impact on industrial practice by further maturing its technology portfolio, including in particular its VeriFast technology, and engaging with industrial partners to collaborate on formal verification projects.
  • You follow and assess relevant internal and external developments within software verification; your focus is on research topics directly coupled to this field and you act as a knowledge source within the research group, supporting junior and senior researchers.
  • You coach PhD students, you define the work planning and you contribute to the creation of an inspiring environment for conducting creative, innovative research.
  • By attending and organizing conferences and workshops you expand DistriNet’s national and international network.
  • You publish research results, conduct lectures and participate in relevant working groups on a national and international level.
  • You act as an expert and source of knowledge (on state-of-the-art research challenges, killer applications and new technologies) of the most prominent research themes in your area.
  • You initiate, attain and coordinate research project ideas.  This includes knowledge acquisition of relevant national and international research programs, participation in project idea initiatives.
  • You contribute to research projects and activities by tracking the project progress, by attending and organizing project meetings and by participating in and organizing of project collaboration initiatives.
  • You contribute to the inception and development of technical proof-of-concepts to demonstrate and evaluate research results.
  • You contribute to research strategy development for the research pillar on program verification.
  • You compare internal research results with those of other research centers, and you set up international collaboration.

Profile

- Ph.D. in Computer Science (Doctor in Engineering or in Sciences: Informatics, Computer Science).

- Knowledge and experience in one or more of the following research areas

  • Formal verification of software
  • Formal semantics of programming languages
  • Static analysis, model checking

- Experience as a post-doctoral researcher in executing research and in guiding PhD students.
- Experience in the execution of national and international research projects.
- The ability to work independently as well as part of a research team.
- Fluent in English, both written and oral.

Offer

We offer a permanent position as Research Expert at KU Leuven in a very dynamic and internationally oriented research group at one of the best universities in Europe.

Interested?

For more information please contact Prof. dr. ir. Bart Jacobs, tel.: +32 16 37 20 14, mail: bart.jacobs@kuleuven.be, Mr. Lieven Desmet, tel.: +32 16 32 62 59, mail: lieven.desmet@kuleuven.be or Prof. dr.ir. Wouter Joosen, +32 16 32 76 53, mail: wouter.joosen@kuleuven.be

You can apply for this job no later than October 10, 2020 via the
KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at diversiteit.HR@kuleuven.be.
  • Employment percentage: Voltijds
  • Location: Leuven
  • Apply before: October 10, 2020
  • Tags: Computerwetenschappen


In your application, please refer to Polytechnicpositions.com

FACEBOOK
TWITTER
LINKEDIN

baner1

baner10

baner11

baner12

baner14

baner2

baner3

baner4

baner5

baner6

baner8

baner9