Hirejobs Canada
Register
Auckland Jobs
Canterbury Jobs
Northland Jobs
Otago Jobs
Southland Jobs
Tasman Jobs
Wellington Jobs
West Coast Jobs
Oil & Gas Jobs
Banking Jobs
Construction Jobs
Top Management Jobs
IT - Software Jobs
Medical Healthcare Jobs
Purchase / Logistics Jobs
Sales
Ajax Jobs
Designing Jobs
ASP .NET Jobs
Java Jobs
MySQL Jobs
Sap hr Jobs
Software Testing Jobs
Html Jobs
IT Jobs
Logistics Jobs
Customer Service Jobs
Airport Jobs
Banking Jobs
Driver Jobs
Part Time Jobs
Civil Engineering Jobs
Accountant Jobs
Safety Officer Jobs
Nursing Jobs
Civil Engineering Jobs
Hospitality Jobs
Part Time Jobs
Security Jobs
Finance Jobs
Marketing Jobs
Shipping Jobs
Real Estate Jobs
Telecom Jobs

Research Associate - Jobs in Halifax, NS

Dalhousie University
Job LocationHalifax, NS
EducationNot Mentioned
SalaryNot Disclosed
IndustryNot Mentioned
Functional AreaNot Mentioned
Job TypeFull Time

Job Description

Position DetailsPosition InformationPosition Title Research AssociateDepartment/Unit Mathematics & StatisticsResearch Project Dependent Type Theory for Verified Quantum SoftwareLocation HalifaxPosting Number GP112-22Employee Group Grant-PaidPosition Type TermDuration of Contract (if applicable) 2 year termEmployment Type Full TimeFull-time Equivalency (FTE) 1.0Salary $37,050 - $50,000 per annum (37.5 hours per week)About the OrganizationThe Department of Mathematics and Statistics at Dalhousie University is a research-intensive department with 32 faculty members and numerous postdocs and graduate students. The Research Associate will work on a research project entitled “Dependent Type Theory for Verified Quantum Software.”Job SummaryReporting to the Principal Investigator, the Research Associate will be responsible for the design, semantics, and meta-theory of a functional programming language for quantum computing and use the language to investigate questions in quantum information theory.Key Responsibilities

  • Apply methods of type theory and lambda calculus to the design and implementation of a type-safe functional quantum programming language.
  • Use category theory, modal logic, and fibrations in the development of formal semantics and other meta-theory of the language.
  • Investigate the use of dependently typed lambda encodings in quantum programming language design.
  • Interact with team members at Dalhousie University.
  • Travel to attend site visits, program workshops, or for collaborations as directed.
  • Publish research results in appropriate journals and other recognized media.
NoteNational and international travel will be required several times a year.Due to operational requirements, the successful applicant is required to work in-person on campus.Dalhousie’s vaccine mandate has been suspended at this time, and employees no longer need to provide proof of full vaccination. However, health and safety risks to our community will continue to be monitored and a vaccine mandate may be reinstated if necessary.Required Qualifications
  • Ph.D. in Mathematics or Computer Science with a minimum of 5 years of related research experience in dependent type theory and lambda calculus.
  • Experience in the design and implementation of quantum programming languages, dependently typed lambda encodings, and the categorical semantics of quantum programming languages.
AssetsAdditional InformationDalhousie University supports a healthy and balanced lifestyle. Our total compensation package includes a voluntary RRSP, health and dental plans and an employee and family assistance program.Application ConsiderationAll qualified candidates are encouraged to apply; however, Canadians and Permanent Residents will be given priority.We thank all applicants for their interest, however, only candidates selected for an interview will be contacted.Diversity StatementDalhousie University commits to achieving inclusive excellence through continually championing equity, diversity, inclusion, and accessibility. The university encourages applications from Indigenous persons (especially Mi’kmaq), persons of Black/African descent (especially African Nova Scotians), and members of other racialized groups, persons with disabilities, women, persons identifying as members of 2SLGBTQ+ communities, and all candidates who would contribute to the diversity of our community.Posting Detail InformationNumber of Vacancies 1Open Date 10/31/2022Close Date 12/13/2022Open Until Filled NoSpecial Instructions to ApplicantQuick Apply
  • Terms & Conditions
  • New Privacy
  • Privacy Center
  • Accessibility
For Job Seekers
  • Browse Jobs
  • Advanced Job Search
  • Emplois Quebec
For Employers
  • Post a Job
  • SimplyHired OnDemand
Stay Connected

APPLY NOW

Research Associate Related Jobs

© 2021 HireJobsCanada All Rights Reserved