VALS

Verified Algorithms, Languages and Systems

Home Members Research Software Contracts Publications Positions Intranet Calendar Contact

Positions

• No ongoing offer

PhD thesis

• No ongoing offer

Post-doctoral positions

• No ongoing offer

Research engineer

• No ongoing offer

Internships

Interns at level License 3rd year, Master 1st year, Master 2nd professional or engineer

• No ongoing offer

Interns at level Master 2nd year research

• Formal Verification of functional properties of classification algorithms