Research Associate

Job title: Research Associate

Job description: Reporting to the Principal Investigator, the Research Associate will work on a project entitled “Dependent type theory for verified quantum software” and related projects. The Research Associate will participate in the design of a type-safe functional quantum programming language and will be involved in the design, semantics, and meta-theory of a functional programming language for quantum computing and using the language to investigate questions in quantum information theory.
Key Responsibilities

• Apply methods of category theory and formal logic to the design of a type-safe functional quantum programming language.
• Use orthomodular logic, complete partial orders, and quantized versions of set theory in the development of a formal semantics and other meta-theory of the language.
• Investigate connections between quantum sets, quantum cpos, and quantum programming language design.
• Interact with team members at Dalhousie University in support of the research project.
• Travel to attend site visits, program workshops, or for collaborations as directed.
• Publish research results in appropriate journals and other recognized media.

Note

National 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 and will be required to provide proof of full vaccination through , or may seek an accommodation from Dalhousie’s vaccine requirements on grounds . Please visit the for more information.
Qualifications

Ph.D. in Mathematics with a minimum of five years of related research experience in category theory, formal logic, and quantum computing. Must possess a strong background in dependent type theory and the categorical semantics of quantum programming languages. Experience in quantum domain theory, orthomodular logic, quantum posets, and variational quantum programming is also required.
Additional Information

Dalhousie 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 Consideration

All 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 Statement

Dalhousie University is committed to fostering a collegial culture grounded in diversity and inclusiveness. The university encourages applications from Indigenous persons, persons with a disability, racially visible persons, women, persons of a minority sexual orientation and/or gender identity, and all candidates who would contribute to the diversity of our community. For more information, please visit .

Posting Detail Information

Number of Vacancies 1
Open Date 03/25/2022
Close Date 04/30/2022
Open Until Filled No
Special Instructions to Applicant
Quick Link for Direct Access to Posting

Documents Needed to Apply

Required Documents * Résumé / Curriculum Vitae (CV)
Optional Documents * Cover Letter

Company: Dalhousie University

Expected salary: $37050 – 50000 per year

Location: Halifax, NS

Job date: Sun, 27 Mar 2022 03:11:15 GMT

Job Source: Careerjet.ca

Click Here to Apply