PhD Positions in Computer Science (Formal Methods)

Tasks

• Apply logic and theorem proving
• Conduct formal methods research
• Develop computational models and theories
• Explore programming language formalisms
• Research security foundations
• Study distributed systems

Perks/Benefits

• International working environment
• Mentoring
• Research collaboration
• Self organizer time registration exemption

Skills/Tech-stack

Computer Security | Distributed Systems | Formal Methods | Logic | Programming Languages | Theorem Proving