Thesis: functional oriented c++ style for embedded devices

Job description

The C++ provides in the meantime language features which allow to
implement embedded code in a functional oriented programming style. This simplifies
developing correct code and code verification.
At the same time other languages like for example Erlang have
developed concepts which are much more error-tolerant in
implementation than c++ in the typically used way.
This master thesis should identify a different c++ style, based on
functional concepts, which later-on enables formal verification of
code.
To keep the analysis relevant for embedded devices, the master student should
generate fragments of for example a virtio device driver written by the
rules and guidelines identified in this thesis.
The student should also identify, how the sleected c++ constructs would
map to capabilities of proof assistants like coq or isabelle/HOL.

For practical reasons this initial Thesis is not about proving full
correctness against a formal specification, but only to demonstrate
certain aspects of code.

Auto req ID

185046BR
Required Education

Bachelor's Degree
Role ( Job Role )

Student/Intern
State / Province

BADEN-WÜRTTEMBERG
Primary job category

Other
Company

(0161) IBM Deutschland Research & Development GmbH
Contract type

Internship
Employment Type

Full-Time
Is this role a commissionable/sales incentive based position?

No
Travel Required

No Travel
IBM Business Group

Systems
Preferred Education

Master's Degree
City / Township / Village

BOEBLINGEN
EO Statement

IBM is committed to creating a diverse environment and is proud to be an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to race, color, religion, gender, gender identity or expression, sexual orientation, national origin, genetics, disability, age, or veteran status. IBM is also committed to compliance with all fair employment practices regarding citizenship and immigration status.
Required Technical and Professional Expertise

C++ Grundkenntnisse, gute Kenntnisse in funktionalen Sprachen, Interesse an Programmiersprachen und Konzepten
Country/Region

Germany
Preferred Technical and Professional Experience

n/a
Secondary Job Category

Unassigned
Eligibility Requirements

n/a
Position Type

Intern
Early Professional Track

Track unaligned
New Collar Role

No