Corinna Jones

Corinna Jones

Research Associate

Followers of Corinna Jones79 followers
location of Corinna JonesZurich, Switzerland

Connect with Corinna Jones to Send Message

Connect

Connect with Corinna Jones to Send Message

Connect
  • Timeline

  • About me

    Full-time Mother

  • Education

    • Otto-von-Guericke University Magdeburg

      1999 - 2005
      Master Mathematics
    • University of Düsseldorf

      2005 - 2010
      Doctorate (Dr. rer. nat.) Computer Science Magna cum laude

      Formal specification language B, development of algorithms and correctness proof, engineering of the department-developed software ProB.Publication: “ProB gets Nauty: Effective Symmetry Reduction for B and Z models” – presented at TASE conference Nanjing China 2008, see also Publications.

  • Experience

    • Heinrich-Heine University Düsseldorf

      Jul 2005 - Jan 2010
      Research Associate

      Formal specification language B, development of algorithms and correctness proof, engineering of the department-developed software ProB.Supervised tutorials for the computer science lectures and special lectures of the department Software Engineering and Programming Languages.

    • ZIVIT

      Feb 2010 - Jun 2012
      Consultant

      System administration of Solaris servers.Managed server migration from Solaris 8 to Solaris 10.Tested and integrated new hardware and software.Wrote shell scripts for automation and quality assurance.Contributed to centralised Windows Server migration.

    • Cognizant Technology Solutions

      Nov 2012 - Aug 2015
      Associate

      2nd level support of customer-specific credit risk application (banking).Handled tickets and changes requests as per ITIL.Monitored data processing in a Solaris / Linux environment.Wrote and maintained team documentation using Confluence.Lead shift teams, trained and mentored new team members.Planned shift patterns according to SECO regulations.

    • Swisscom Health AG

      Feb 2016 - Aug 2016
      ICT System Engineer

      Provisioning and administration of virtual CentOS 7 servers in VMware vCloud Director under usage of the vCloud Director REST API and Ansible.Installation and configuration of applications running on virtual CentOS 7 servers.Feasibility study and testing of open source tools in a production environment.

    • AXA Technology Services AG

      Feb 2017 - Feb 2019
      AVP: Integration Platform Specialist

      Developing and integrating SOAP and REST services using CA API Gateway.

  • Licenses & Certifications