Official job announcements
Check once again later.
Proposals for internships
- Detecting timing attacks using formal methods. Check the proposal.
- A mechanized proof of Tarjan’s algorithm in the TLA+ Proof System. Check the proposal.
- On-the-fly abstractions of formulas in proofs mixing first-order reasoning and temporal logic. Check the proposal.
- Computation of the kinetics of chemical reaction networks. Check the proposal.