Job Listing
|
|
| Job ID: 14032397 |
|
| |
| Job Location: |
|
| |
|
|
| |
| How to Apply: | To see employer contact information, log in or register. |
| |
| Job Title: | Non-Exempt Temporary or Casual |
| Work Type: | Work Days: Work Vary: Yes , Shift: Other, Hours Per Week: 20, Work Type: Regular |
| |
| Salary Offered: | Unspecified |
| Benefits: | Unspecified. |
| |
| Physical Required: | Unspecified |
| Drug Testing Required: | Unspecified |
| Education Required: | Bachelor's Degree |
| |
| Experience Required: | Unspecified |
| |
| Required Skills: | Please see the job description for information about required job skills. |
| Preferred Skills: |
|
| |
| |
| |
|
| Job Description: |
Job ID360653
LocationAll Other -See Job Description
Job FamilySupplemental Employee
Full/Part TimePart-Time
Regular/TemporaryRegular
Job Code0001
Employee ClassCivil Service
About the Job
About the Job:
Study the theoretical foundations of type theory and implement proof assistants or related software components to investigate its practical aspects.
About the Lab:
Study type theory and build proof assistants based on type theory.
Job Duties and Required Knowledge:
30% study the theoretical foundations of type theory
70% build proof assistants or related software components
Work Location will be in Pennsylvania
Qualifications
Required Qualifications:
Bachelor or equivalent degree in computer science, mathematics, logic, or related field.Experience in online collaboration with others in building software.
Preferred Qualifications:
Familiarity with type theory or demonstrated strong motivation to learn it.
Familiarity with online collaboration with others in building software.
About the Department
The Department of Computer Science & Engineering (CS&E) at the University of Minnesota has been on the cutting-edge for its education, research, and outreach for decades. The legacy continues as the department continues to grow and expand its curriculum, research, and outreach. You are invited to join our team!
How To Apply
Applications must be submitted online. To be considered for this position, please click the Apply button and follow the instructions. You will be given the opportunity to complete an online application for the position and attach a cover letter and resume.
Additional documents may be attached after application by accessing your "My Job Applications" page and uploading documents in the "My Cover Letters and Attachments" section.
To request an accommodation during the application process, please e-mail employ@umn.edu or call (612) 624-8647.
Diversity
The University recognizes and values the importance of diversity and inclusion in enriching the employment experience of its employees and in supporting the academic mission. The University is committed to attracting and retaining employees with varying identities and backgrounds.
The University of Minnesota provides equal access to and opportunity in its programs, facilities, and employment without regard to race, color, creed, religion, national origin, gender, age, marital status, disability, public assistance status, veteran status, sexual orientation, gender identity, or gender expression. To learn more about diversity at the U:
Employment Requirements
Any offer of employment is contingent upon the successful completion of a background check. Our presumption is that prospective employees are eligible to work here. Criminal convictions do not automatically disqualify finalists from employment.
About the U of M
The University of Minnesota, Twin Cities (UMTC)
The University of Minnesota, Twin Cities (UMTC), is among the largest public research universities in the country, offering undergraduate, graduate, and professional students a multitude of opportunities for study and research. Located at the heart of one of the nation's most vibrant, diverse metropolitan communities, students on the campuses in Minneapolis and St. Paul benefit from extensive partnerships with world-renowned health centers, international corporations, government agencies, and arts, nonprofit, and public service organizations.
At the University of Minnesota, we are proud to be recognized by the Star Tribune as a Top Workplace for 2021, as well as by Forbes as Best Employers for Women and one of America's Best Employers (2015, 2018, 2019, 2023), Best Employer for Diversity (2019, 2020), Best Employer for New Grads (2018, 2019), and Best Employer by State (2019, 2022).
The University recognizes and values the importance of diversity and inclusion in enriching the employment experience of its employees and in supporting the academic mission. The University is committed to attracting and retaining employees with varying identities and backgrounds.
The University of Minnesota provides equal access to and opportunity in its programs, facilities, and employment without regard to race, color, creed, religion, national origin, gender, age, marital status, disability, public assistance status, veteran status, sexual orientation, gender identity, or gender expression. To learn more about diversity at the U: http://diversity.umn.edu.
Refer to ID 79048891 when applying |
|