Our open positions

Come join our expanding Research Team! We are currently looking for:

 

  • 2 postdocs in collaboration with the Universities of Venice and Verona, starting immediately (May-June 2017)
  • Junior and senior computer scientists starting by the end of summer 2017. The junior scientist has the possibility to start an industrial PhD course in collaboration between Julia and the University of Venice next year.

 

We also have openings for Software Quality Analysts and Software Quality Assurance Engineers in our Consultancy Team (see details here).

Research Team Open Positions

Key responsibilities

  • define, formalize and implement static analyses of different security and reliability properties
  • develop the analyzer front-ends, plugins and integrations with development tools
  • present the technical aspects of Julia products to customers, and perform proof-of-concept activities
  • write technical documentation about the analyses and the use of the analyzer
  • write scientific papers at top-tier conferences in the field of static analysis, programming languages, and software engineering
  • write proposals for regional, national, and European research calls 

 

Basic qualifications

 
1. Postdoc / Junior computer scientist
  • MSc in computer science
  • excellent software development skills
  • knowledge of basic concepts in the area of software engineering, object-oriented programming languages, and static and dynamic analysis
 
2. Senior computer scientist
  • PhD in computer science in the area of formal methods (preferably static analysis)
  • scientific publications in the area of static analysis, programming languages, and/or software engineering
  • excellent software development skills
  • excellent oral and written English communication skills
 

Preferred qualifications

  • for the senior position, experience with the implementation of static analyzers and with the application of static analysis to industrial software
  • in-depth knowledge of object-oriented programming languages (Java and C# in particular)
  • knowledge of Android
  • experience in various aspects of cybersecurity
  • excellent presentation skills


How to apply?

For all positions please send to pietro.ferrara@juliasoft.com:
  • your CV
  • recommendation letters: one for postdoc and junior positions, two for senior positions
  • master thesis for postdoc and junior positions, one scientific publication and the PhD thesis for senior positions