Research Scientist, Informatik und Computergestützte Physik

Rollenbezeichnung: Research Scientist - Informatik & Berechnungsphysik

Rollenart: Auftragnehmer (flexibel, Teilzeit oder Vollzeit)

Standort: Remote

micro1 engagiert Research Scientists in den Bereichen Informatik & Berechnungsphysik, um ein wirkungsvolles Forschungsprojekt eines Kunden voranzutreiben. In dieser Rolle wenden Sie Ihre Fachexpertise an, um KI-Systeme der nächsten Generation zu trainieren. Ihre Arbeit prägt durch hochwertige, reale Eingaben, wie Modelle lernen, schlussfolgern und arbeiten. Es ist keine Vorerfahrung im Bereich KI erforderlich; Ihr Fachwissen ist das, was zählt.

Aufgabenbereich

• Identifizieren und vorschlagen offener Probleme, neuer Grenzen oder lösbarer Forschungsherausforderungen in Ihrem Teilgebiet für eine gründliche Untersuchung.
• Durchführen strukturierter Forschung unter Verwendung von Frontier-KI-Modellen und -Agenten, um zu versuchen, Beweise zu erbringen, Algorithmen zu entwickeln oder Rechensimulationen auszuführen.
• Systematisches Überprüfen von Forschungsergebnissen durch Kontrollieren von Beweisen, Reproduzieren numerischer Ergebnisse oder Einsetzen formaler Werkzeuge.
• Bewerten von Erkenntnissen hinsichtlich Neuheit und Korrektheit im direkten Vergleich mit aktueller Literatur und veröffentlichten Ergebnissen.
• Dokumentieren von Methodiken, Teilergebnissen und aufgetretenen Herausforderungen durch klare und sorgfältige schriftliche Berichte.
• Hervorheben vielversprechender neuer Richtungen und Entdeckungen für eine tiefere Untersuchung durch erfahrene Forschungsexperten.

Bevorzugte Qualifikationen

• Fortgeschrittener Forschungsstatus: Promovierende in der Endphase, Postdoktoranden oder Nachwuchswissenschaftler (0, 5 Jahre nach der Promotion) in der Informatik oder der mathematischen/Berechnungsphysik.
• Von der Fachgemeinschaft für herausragende Forschungsleistungen anerkannt, beispielsweise durch Best-Paper- oder Dissertationspreise bei führenden Konferenzen (z. B. STOC, FOCS, SODA, PLDI, SC).
• Starke Publikationsbilanz in den letzten drei Jahren, einschließlich mehrerer Veröffentlichungen auf Top-Konferenzen und aktueller Ergebnisse, die benannte offene Probleme adressieren oder neuartige Konzepte einführen.
• Praktische Expertise in Berechnungsmethoden, einschließlich Simulation, numerischer Analyse und algorithmischer Implementierung.
• Erfahrung im Review-Prozess oder Sub-Reviewing für namhafte Konferenzen in Ihrem Spezialgebiet ist von Vorteil.
• Hintergrund in der Nutzung von Frontier-Modellen, Agenten oder formalen Rechenwerkzeugen (z. B. Lean, SAT/SMT-Solvern) in wissenschaftlichen Arbeiten.
• Öffentlich zugängliche Forschungserklärung oder Homepage, die spezifische offene Probleme umreißt, die derzeit untersucht werden.