<htmlxmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Job opportunities</title><metacharset="utf-8"/><linkrel="stylesheet"href="css/main.css"/><linkrel="stylesheet"href="css/lambdoc.css"/></head><body><divid="Header"><ahref="index.html"title="Home"style="font-size: 200%; margin-right:10px;">SOPRANO</a>Job opportunities</div><divid="Content"><divclass="readable_div"><ul><li>PhD</li><li>PostDoc</li></ul></div></div><divid="Menu"><ahref="index.html"title="Home">Home</a><br/><ahref="partners.html"title="Members of the project">Partners</a><br/><ahref="jobs.html"title="Job opportunities">Jobs</a><br/><ahref="delivrables.html"title="Delivrables for the ANR">Delivrables</a><br/><ahref="meetings.html"title="Meetings">Meetings</a><br/><ahref="publications.html"title="Publications">Publications</a><br/><ahref="software.html"title="Software">Software</a><br/></div></body></html>
\ No newline at end of file
<htmlxmlns="http://www.w3.org/1999/xhtml"><head><title>SOPRANO: Job opportunities</title><metacharset="utf-8"/><linkrel="stylesheet"href="css/main.css"/><linkrel="stylesheet"href="css/lambdoc.css"/></head><body><divid="Header"><ahref="index.html"title="Home"style="font-size: 200%; margin-right:10px;">SOPRANO</a>Job opportunities</div><divid="Content"><divclass="readable_div"><ul><li><ahref="http://mathieuacher.com/phdSOPRANO.html">PhD: Combining Decision Procedures for Constraint Programming and SMT</a></li><li>PostDoc</li></ul></div></div><divid="Menu"><ahref="index.html"title="Home">Home</a><br/><ahref="partners.html"title="Members of the project">Partners</a><br/><ahref="jobs.html"title="Job opportunities">Jobs</a><br/><ahref="delivrables.html"title="Delivrables for the ANR">Delivrables</a><br/><ahref="meetings.html"title="Meetings">Meetings</a><br/><ahref="publications.html"title="Publications">Publications</a><br/><ahref="software.html"title="Software">Software</a><br/></div></body></html>