VetJobs - The Leading Military Job Board

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 emplo ees 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.