Lang:

Jobs by Academic Discipline

Browse open positions across 900+ specialties

Jobs in your Country

Find university roles by country, state, or campus

Jobs by Position Type

Filter by Professor, Lecturer, Postdoc, or Executive

Higher Education News

Explore the latest news in higher education

Research & Publication News

Discover the latest research & publications

Higher Ed Career News

Latest job opportunities & career advice

Top Jobs In Higher Ed Today

Best Job opportunities & careers

HR & Recruitment News

HR and recruitment in higher education

Become an Author / Contributor

Get invited to The Olympia Academy

Browse Conferences

Discover academic conferences worldwide

List a Conference

Promote your event to the academic community

Research Grants

Browse funding & grant opportunities

Share a grant with researchers

Rate My Employer

Find & rate employers in higher education

Rate My Professor

Find & rate top professors

About Our Rankings

Learn about our unique ranking methodology

Reach top academic talent in minutes

Products and Pricing

Job packs, pricing & job boost add-ons

Recruitment by Disciplines

Hire professors, lecturers & researchers by field

Recruiters
Post a Job
Recruitment Solutions
AI Recruitment
Higher Ed Job Board Software
Higher Ed Job Board Rankings

Job Seekers
Find Jobs
Rate My Professor
Higher Ed Rankings
Associations
Academic Journals

Institutions
Jobs by Top Universities

About Us
Meet the Team
Contact Us
Explore Our Site
Higher Education News
Research & Publication News

TrustScore 4.3 | 22 reviews

★★★★★

View us on Google

Privacy Policy
|
Terms of Use
|
We Do Not Sell or Share Your Personal Information

© 2026 Post My Job PTY LTD. All rights reserved.

Back to all events

France2 days

Certified Programs and Proofs (CPP) 2026

Computer and Information Sciences and Support Services Conference

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work.

Event Details

Dates - 2 days

Jan 12 – Jan 13, 2026

Opens

Monday, January 12, 2026

Location

Rennes, France

Venue

Hosted by

ACM SIGPLAN

CPP spans areas of computer science, mathematics, logic, and education. CPP is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.

Topics & Focus Areas

certified programmingprogram verificationproof assistantstype systemsformal verification

Official Conference Website

Visit the official website of Certified Programs and Proofs (CPP) 2026 for registration details, submission deadlines, and the full programme.

Related Jobs - July 23, 2026

Research Associate in Digital Service, Supports and Spaces – DS3 PEACEPLUS Project

PhD Studentship: Algorithms on Strings

Related Conferences in Computer Science

8th International Conference on HCI in Games

Jul 26 – Jul 31

Montreal, Canada

DH2026

Jul 27 – Jul 31

Daejeon, South Korea

Computability in Europe 2026

Jul 27 – Jul 31

Trier, Germany

12th International Conference on Computational Social Science (IC2S2 2026)

Jul 28 – Jul 31

Burlington, Vermont, United States

Black Hat USA 2026

Aug 1 – Aug 6

Las Vegas, NV, USA

Computational Complexity Conference 2026

Aug 3 – Aug 6

Lisbon, Portugal

Serious Play Conference 2026

Aug 5 – Aug 7

Durham, NC, United States

ACM KDD 2026

Aug 9 – Aug 13

Jeju, South Korea

ACM KDD 2026

Aug 9 – Aug 13

Jeju, Korea

Essential

Research Staff

Instructor (4-year contract), School of Computing and Information Systems

Research Scientist (6-month contract), SCIS

Fully Funded PhD Scholarship in Decarb-AI (A Innovate for Ireland Centre), ICHEC & School of Computer Science

Associate Professor in Cryptography

Associate Professor in Neurosymbolic Artificial Intelligence

Associate Professor in Software Engineering

Associate Professor in Systems

Post a Job View All Jobs

Certified Programs and Proofs (CPP) 2026 2026 | Rennes