Publisher
source

École Polytechnique Fédérale de Lausanne

Just Landed

Postdoc in Formal Verification and Algorithm Discovery for Numerical Analysis and Topology Optimization École polytechnique fédérale de Lausanne in Switzerland

Degree Level

Postdoc

Field of study

Computer Science

Funding

Postdoctoral position funded by the Swiss National Science Foundation project FLASh. Competitive salary, excellent working conditions, and a 1+1 year contract are offered.

Country flag

Country

Switzerland

University

École Polytechnique Fédérale de Lausanne

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Apply for this position

Keywords

Computer Science
Mechanical Engineering
Materials Science
Mathematics
Numerical Analysis
Computational Science
Python Programming
Domain Decomposition
High Performance Computing
Isogeometric Analysis
Pde
Physics
Finite Element Analysi

Suggested positions

About this position

EPFL (École polytechnique fédérale de Lausanne) is advertising a postdoctoral position in formal verification, algorithm discovery, numerical analysis, topology optimization, and architected materials within the Chair of Numerical Modelling and Simulation.

The position is part of the Swiss National Science Foundation-funded project FLASh: Fast simulation tools for LAttice Structures. The research focuses on developing efficient and mathematically sound algorithms for the topology optimization of architected materials using finite element techniques and related fast simulation methods.

The successful candidate will work on numerical simulation and structural design for lattice/metamaterial architectures, with methods such as unfitted finite element methods, domain decomposition, reduced order modeling, and isogeometric analysis. Responsibilities include research, software development, publication in leading journals, conference presentations, mentoring PhD/Master students, teaching support, and assistance with grant proposals and reports.

Eligibility highlights: PhD in mathematics, computational mechanics, engineering, or a related field (or near completion); strong background in topology optimization; experience with PDE numerical methods; proficiency in Python; FEniCS experience is a plus; C++ is an asset; strong computational/HPC skills are beneficial; excellent English and a strong publication record are expected.

Funding and terms: competitive salary, excellent working conditions, and a 1+1 year contract. The post is based at EPFL in Lausanne, Switzerland.

How to apply: applications are accepted only through the online platform. Submit a cover letter (max 2 pages), CV with publication list, and contact details for two referees. For further information, contact [email protected].

Application link: https://careers.epfl.ch/job/Lausanne-Post-doc-on-formal-verification-and-algorithm-discovery-for-numerical-analysis/1165456955/

Funding details

Postdoctoral position funded by the Swiss National Science Foundation project FLASh. Competitive salary, excellent working conditions, and a 1+1 year contract are offered.

What's required

PhD in mathematics, computational mechanics, engineering, or a related field, or nearing completion. Strong background in topology optimization is preferred, ideally with density-based methods (SIMP), level set approaches, or related design-for-manufacturing frameworks. Experience with numerical methods for PDEs such as finite element methods, immersed/unfitted methods, homogenization, or isogeometric analysis is relevant. Proficiency in Python is required; FEniCS experience is a plus and C++ is an additional asset. Strong computational skills, including simulation and optimization pipelines and possibly HPC/large-scale scientific computing, are preferred. A publication record in leading journals, excellent English communication, independence, creativity, and teamwork are expected.

How to apply

Apply only through the online platform. Submit a brief cover letter (up to 2 pages), a CV with publication list, and contact details for 2 referees. For questions, contact [email protected].

More information can be found here

Ask ApplyKite AI

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?