Post-doc on formal verification and algorithm discovery for numerical analysis — EPFL
- Location
- Lausanne
- Contract
- full-time
- Posted
- 6 days ago
Role overview
About us and our project
The Chair of Numerical Modelling and Simulation at EPFL is dedicated to the design and analysis of numerical algorithms for partial differential equations.
Our research is oriented towards the development of novel and innovative numerical techniques aiming at improving the integration between numerical simulations and geometric modelling and processing.
- About us and our project
- The Chair of Numerical Modelling and Simulation at EPFL is dedicated to the design and analysis of numerical algorithms for partial differential equations.
Application process
- Submit your application containing CV, motivation letter, and contact details for 2 references.
- In the motivation letter, briefly describe one question you would like to work on, linking numerical analysis with formal verification or algorithm discovery.
- Applications will be reviewed until the position is filled. Starting date: As soon as possible Activity Rate: 100% Duration: A 1-year contract, renewable
Additional details
- The goal is to find out, through concrete experiments, where these approaches help in the design and analysis of numerical schemes for PDEs, and where they still fall short.
- You will publish and present your work internationally. You are the ideal candidate if
- You communicate well in English and enjoy working at the boundary between disciplines
- Read about our employment conditions and employee benefits If you are interested
- Applications will be reviewed until the position is filled. Starting date: As soon as possible Duration: A 1-year contract, renewable
Notes and original content
- What you will do
- You will publish and present your work internationally.
- You are the ideal candidate if
- Read about our employment conditions and employee benefits
- If you are interested
- Applications will be reviewed until the position is filled.
- Starting date: As soon as possible
- Activity Rate: 100%
- Duration: A 1-year contract, renewable
Questions about this listing
What salary does EPFL offer for this role?
EPFL lists CHF 60'500 - 91'500 gross per year for this position in Lausanne. This is the salary published in the original listing (or, when the employer omits a figure, a realistic estimate for the role and sector) — the calculator on this site converts it to your actual net take-home once cross-border tax and social contributions are applied.
Is this a full-time role, and what type of contract does EPFL offer?
This listing is a full-time position. The contract type shown here comes directly from the employer's original posting; always confirm exact hours, notice period and probation length with EPFL during the application process, since these details can vary by role even within the same contract category.
Do I need a cross-border work permit for a role in Vaud?
EU/EFTA residents living in the border zone of the country adjoining Canton Vaud can apply for a G permit; the Swiss employer files it with that canton's migration office after the contract is signed. Border-zone rules and processing times vary by neighbouring country and canton, so confirm the specifics with Vaud's cantonal migration office or with HR during the application.
How do I apply for this position at EPFL?
Use the "Apply now" button on this page — it links directly to EPFL's original listing at careers.epfl.ch, so your application goes straight to the employer's own applicant-tracking system. Frontaliere Ticino does not collect or forward applications itself.