Wir verwenden technische Cookies und Besuchsstatistik: Yandex Metrica und das anonymisierte Besuchsprotokoll von Zorky. Wir verkaufen niemals Daten. Mehr zu Cookies und Statistik.
Zorky läuft im Testmodus — alles ist kostenlos. Diese Website ist nur eine Demo: Firmennamen, Links und Ihre persönliche Stellenauswahl werden nach der Registrierung freigeschaltet. Registrieren →
← Alle Stellen
Software Engineer (Engineer III to Principal) - Formal Methods
principal14.375 USD · Zeitraum nicht angegebenNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote, US →vor 21 Wo.
Stack
Details
- Methoden
- CI/CD
Unternehmen und Link anzeigen
Kostenlos, nach der Anmeldung.
Bewerben
Laden Sie Ihren Lebenslauf hoch — Arbeitgeber und Recruiter aus verschiedenen Ländern, die Ihr Profil suchen, können Sie direkt kontaktieren.
Lebenslauf senden →Beschreibung
You will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs. You will implement and improve algorithms such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will build translators from input languages to intermediate representations, optimize models for automated analysis, run automated tests, and work across the full software lifecycle from design through deployment and support.
You will collaborate with peers to set technical direction and iterate on tooling based on feedback and measured results.
Unternehmen und Bewerbungslink — nach der Anmeldung. Anmelden
Kontaktdaten des Arbeitgebers (E-Mail/Telefon/Telegram) sind in der öffentlichen Vorschau ausgeblendet. Senden Sie Ihren Lebenslauf — dann können Arbeitgeber Sie direkt kontaktieren.
Dringende Frage? Schreiben Sie @termdocs